model-theoreticaladj.

Brit.

/ˌmɒdlθɪəˈrɛtɪkl/, U.S.

/ˈˌmɑd(ə)lˌθiəˈrɛdɪk(ə)l/

Origin: Formed within English, by compounding. Etymons: model n., theoretical adj.

Etymology: < model n. + theoretical adj., after model theory n. (compare sense 1c). Compare slightly earlier model-theoretic adj.

Chiefly Mathematics and Logic.

= model-theoretic adj.

ΘΚΠ

the mind > mental capacity > philosophy > mathematical philosophy > [adjective] > of other theories or systems

finitist1904

incomplete1932

proof-theoretic1940

model-theoretic1956

model-theoretical1958

1958 Notices Amer. Math. Soc. 5 673 (heading) Some model-theoretical results concerning weak second-order logic.

1976 Jrnl. Symbolic Logic 41 59 Our proofs are stated in the more usual language of model theoretical forcing.

1995 Ann. Pure & Appl. Logic 73 53 This paper is part of a more general model theoretical study of strong normalization in type systems with a reduction relation.

2012 P. May & K. Ponto More Conc. Algebraic Topology xiv. 280 In the examples, it turns out that the classical notion of homotopy suffices to describe the model theoretical notion.

Derivatives

ˌmodel-theoˈretically adv.

ΘΚΠ

the mind > mental capacity > philosophy > mathematical philosophy > [adverb]

proof-theoretically1952

model-theoretically1960

1960 Jrnl. Symbolic Logic 25 139 Model-theoretically, this implies that C(σ*(X)) = σ*(C(X)).

1973 J. J. Zeman Modal Logic p. vi The systems are studied model-theoretically.

2012 T. Williamson Modal Logic as Metaphysics vii. 307 Thus the two theories are model—theoretically equivalent.

This entry has been updated (OED Third Edition, September 2002; most recently modified version published online March 2022).

单词	model-theoretical
释义	model-theoreticaladj. Brit. /ˌmɒdlθɪəˈrɛtɪkl/, U.S. /ˈˌmɑd(ə)lˌθiəˈrɛdɪk(ə)l/ Origin: Formed within English, by compounding. Etymons: model n., theoretical adj. Etymology: < model n. + theoretical adj., after model theory n. (compare sense 1c). Compare slightly earlier model-theoretic adj. Chiefly Mathematics and Logic. = model-theoretic adj. ΘΚΠ the mind > mental capacity > philosophy > mathematical philosophy > [adjective] > of other theories or systems finitist1904 incomplete1932 proof-theoretic1940 model-theoretic1956 model-theoretical1958 1958 Notices Amer. Math. Soc. 5 673 (heading) Some model-theoretical results concerning weak second-order logic. 1976 Jrnl. Symbolic Logic 41 59 Our proofs are stated in the more usual language of model theoretical forcing. 1995 Ann. Pure & Appl. Logic 73 53 This paper is part of a more general model theoretical study of strong normalization in type systems with a reduction relation. 2012 P. May & K. Ponto More Conc. Algebraic Topology xiv. 280 In the examples, it turns out that the classical notion of homotopy suffices to describe the model theoretical notion. Derivatives ˌmodel-theoˈretically adv. ΘΚΠ the mind > mental capacity > philosophy > mathematical philosophy > [adverb] proof-theoretically1952 model-theoretically1960 1960 Jrnl. Symbolic Logic 25 139 Model-theoretically, this implies that C(σ(X)) = σ(C(X)). 1973 J. J. Zeman Modal Logic p. vi The systems are studied model-theoretically. 2012 T. Williamson Modal Logic as Metaphysics vii. 307 Thus the two theories are model—theoretically equivalent. This entry has been updated (OED Third Edition, September 2002; most recently modified version published online March 2022). < adj.1958
随便看	steering rod steering sail steering scull steering sub-committee steering subcommittee steering wheel steering-apparatus steering-bridge steering-chain steering-fan steering-fork steering-gear steering-handle steering-light steering-oar steeringapparatus steeringbridge steeringchain steeringfan steeringfork steeringgear steeringhandle steeringlight steeringoar steerings