language:
Find link is a tool written by Edward Betts.Longer titles found: Finite model theory (view), Type (model theory) (view), Interpretation (model theory) (view), Inner model theory (view), Computable model theory (view), Actor model theory (view), Pregeometry (model theory) (view), Institutional model theory (view), Mental model theory of reasoning (view)
searching for Model theory 80 found (877 total)
alternate case: model theory
Model
(1,698 words)
[view diff]
no match in snippet
view article
find links to article
A model is an informative representation of an object, person, or system. The term originally denoted the plans of a building in late 16th-century EnglishGeometric modeling (551 words) [view diff] no match in snippet view article find links to article
Geometric modeling is a branch of applied mathematics and computational geometry that studies methods and algorithms for the mathematical description ofData model (5,059 words) [view diff] exact match in snippet view article find links to article
data model theory, i.e. a formal description of how data may be structured and accessed. A data model instance, i.e. applying a data model theory to createImprinted brain hypothesis (4,236 words) [view diff] no match in snippet view article find links to article
The imprinted brain hypothesis is an unsubstantiated hypothesis in evolutionary psychology regarding the causes of autism spectrum and schizophrenia spectrumL(R) (340 words) [view diff] no match in snippet view article
In set theory, L(R) (pronounced L of R) is the smallest transitive inner model of ZF containing all the ordinals and all the reals. L(R) can be constructedRGB color model (5,184 words) [view diff] no match in snippet view article find links to article
The RGB color model is an additive color model in which the red, green, and blue primary colors of light are added together in various ways to reproduceL(R) (340 words) [view diff] no match in snippet view article
In set theory, L(R) (pronounced L of R) is the smallest transitive inner model of ZF containing all the ordinals and all the reals. L(R) can be constructedSelf model (833 words) [view diff] exact match in snippet view article find links to article
is the central concept in the theory of consciousness called the self-model theory of subjectivity (SMT). This concept comprises experiences of ownershipCore model (1,080 words) [view diff] exact match in snippet view article find links to article
core model". arXiv:math/9702206v1. G. Sargsyan, "An invitation to inner model theory". Talk slides, Young Set Theory Meeting, 2011. W. Hugh Woodin (June/JulyGadadhar Misra (335 words) [view diff] exact match in snippet view article find links to article
quasi-free Hilbert modules to generalize parts of the Sz-Nagy-Foias model theory in the context of multi-variate operator theory. He obtained a classificationProject Cybersyn (3,658 words) [view diff] exact match in snippet view article find links to article
one mainframe computer. Project Cybersyn was based on viable system model theory approach to organizational design and featured innovative technologyCyclic order (6,392 words) [view diff] case mismatch in snippet view article find links to article
(PDF), in Berwanger, Dietmar; Grädel, Erich (eds.), Problems in Finite Model Theory, p. 12, archived from the original (PDF) on 27 May 2011, retrieved 15Parity game (1,905 words) [view diff] exact match in snippet view article find links to article
Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein (2007). Finite model theory and its applications. Springer. ISBN 978-3-540-00428-8.{{cite book}}:Lindström quantifier (1,192 words) [view diff] no match in snippet view article find links to article
In mathematical logic, a Lindström quantifier is a generalized polyadic quantifier. Lindström quantifiers generalize first-order quantifiers, such as thePlural quantification (2,283 words) [view diff] exact match in snippet view article find links to article
be equi-interpretable with monadic second-order logic. Plural logic's model theory/semantics is where the logic's lack of sets is cashed out. A model isFree parameter (114 words) [view diff] no match in snippet view article find links to article
and must be estimated experimentally or theoretically. A mathematical model, theory, or conjecture is more likely to be right and less likely to be theMetamerism (biology) (1,294 words) [view diff] exact match in snippet view article
length, but constructs based on other divisions are possible. The pipe model theory conceives of the plant (especially trees) as made up of unit pipes ('metamers')Thomas Metzinger (1,020 words) [view diff] case mismatch in snippet view article find links to article
mentis, Paderborn, ISBN 3-89785-081-8 (2003) Being No One. The Self-Model Theory of Subjectivity. MIT Press, Cambridge, Massachusetts., ISBN 0-262-13417-9Jack Silver (489 words) [view diff] exact match in snippet view article find links to article
measurable cardinal exists. Silver, Jack H. (1971). "Some applications of model theory in set theory". Annals of Mathematical Logic 3(1), pp. 45–110. SilverPaul Rosenstein-Rodan (495 words) [view diff] no match in snippet view article find links to article
Industrialisation of Eastern and South-Eastern Europe" – origin of the "Big Push Model" theory – in which he argued for planned large-scale investment programmes inFalsifiability (19,517 words) [view diff] exact match in snippet view article find links to article
mathematical structures, each of which is considered a model within model theory. The relation, usually denoted A ⊨ ϕ {\displaystyle {\mathfrak {A}}\modelsPfaffian function (1,462 words) [view diff] no match in snippet view article find links to article
In mathematics, Pfaffian functions are a certain class of functions whose derivative can be written in terms of the original function. They were originallyStrongly compact cardinal (392 words) [view diff] exact match in snippet view article find links to article
supercompact cardinal. However, a proof is unlikely until a canonical inner model theory for supercompact cardinals is developed. Jech obtained a variant of theCode (set theory) (425 words) [view diff] no match in snippet view article
In set theory, a code for a hereditarily countable set x ∈ H ℵ 1 {\displaystyle x\in H_{\aleph _{1}}\,} is a set E ⊂ ω × ω {\displaystyle E\subset \omegaGödel Lecture (596 words) [view diff] case mismatch in snippet view article find links to article
logic. 2007 Ehud Hrushovski — a lecture on his work titled Algebraic Model Theory was given by Thomas W. Scanlon [de] in his absence. 2008 W. Hugh WoodinUniversal logic (708 words) [view diff] exact match in snippet view article find links to article
abstract model theory system axiomatized by Jon Barwise, a topological/categorical approach based on sketches (sometimes called categorical model theory), aFrançois Loeser (256 words) [view diff] exact match in snippet view article find links to article
Society "for contributions to algebraic and arithmetic geometry and to model theory". He was elected member of Academia Europaea in 2019. He is a specialistDissemination (732 words) [view diff] exact match in snippet view article find links to article
telephone line. With dissemination, only half of this communication model theory is applied. The information is sent out and received, but no reply isPolly Matzinger (2,271 words) [view diff] exact match in snippet view article find links to article
July 21, 1947) is a French-born immunologist who proposed the danger model theory of how the immune system works. Polly Matzinger was born on July 21,Gerald Sacks (321 words) [view diff] case mismatch in snippet view article find links to article
Degrees of unsolvability, Princeton University Press 1963, 1966 Saturated Model Theory, Benjamin 1972; 2nd edition, World Scientific 2010 Higher Recursion theoryOrigin hypotheses of the Croats (9,488 words) [view diff] no match in snippet view article find links to article
The Croats trace their origins to a southwards migration of some of the Early Slavs in the 6th- and 7th-centuries CE, a tradition supported by anthropologicalChang's model (185 words) [view diff] no match in snippet view article find links to article
In mathematical set theory, Chang's model is the smallest inner model of set theory closed under countable sequences. It was introduced by Chang (1971)Internal model (motor control) (1,173 words) [view diff] exact match in snippet view article
the classical controller may contain an implicit model). The internal model theory of motor control argues that the motor system is controlled by the constantUnified theory of acceptance and use of technology (1,933 words) [view diff] no match in snippet view article find links to article
(theory of reasoned action, technology acceptance model, motivational model, theory of planned behavior, a combined theory of planned behavior/technologyKate Vitasek (1,170 words) [view diff] exact match in snippet view article find links to article
focuses on the Vested outsourcing business model, sourcing business model theory, the relational contract, and collaborative win-win business relationshipsHindsight bias (8,065 words) [view diff] exact match in snippet view article find links to article
(reconstruction after feedback with take the best), and CMT (causal model theory). SARA and RAFT focus on distortions or changes in a memory process,Real closed field (2,984 words) [view diff] case mismatch in snippet view article find links to article
ISBN 3-211-82794-3 Chen Chung Chang and Howard Jerome Keisler (1989) Model Theory. North-Holland. Dales, H. G., and W. Hugh Woodin (1996) Super-Real FieldsDavid Park (computer scientist) (176 words) [view diff] case mismatch in snippet view article
Cambridge University of Warwick Thesis Set-Theoretic Constructions in Model Theory (1964) Doctoral advisor Hartley Rogers Jr. Doctoral students Mike PatersonOutline of communication (587 words) [view diff] case mismatch in snippet view article find links to article
silence Structuralism Symbolic interactionism Technology acceptance model Theory of cognitive dissonance Theory of Planned Behavior Theory of ReasonedAlmost surely (1,425 words) [view diff] case mismatch in snippet view article find links to article
Joel; Vardi, Moshe Y.; Venema, Yde; Weinstein, Scott (2007). Finite Model Theory and Its Applications. Springer. p. 232. ISBN 978-3-540-00428-8. JacodSMART criteria (1,765 words) [view diff] no match in snippet view article find links to article
ISBN 978-0-9783704-5-9. Brown, Quisha (2021). Racial Equity Lens Logic Model & Theory of Change: A Step-by-Step Guide to Help Organizations Become More ConfidentCass (308 words) [view diff] no match in snippet view article find links to article
of beer from the South Korean company Oriental Brewery Cass identity model, theory of gay and lesbian identity development Cass (painting), a 1936 paintingSkolem arithmetic (1,957 words) [view diff] case mismatch in snippet view article find links to article
in Berline, Chantal; McAloon, Kenneth; Ressayre, Jean-Pierre (eds.), Model Theory and Arithmetic, Berlin: Springer, pp. 44–89. Ferrante, Jeanne; RackoffNoga Alon (1,336 words) [view diff] exact match in snippet view article find links to article
Hrushovski, "for their remarkable contributions to discrete mathematics and model theory with interaction notably with algebraic geometry, topology and computerJames Bruce French (491 words) [view diff] exact match in snippet view article find links to article
incorporated the methods of group theory and second quantization into shell-model theory. ... Through these methods, he derived sum rules and particle–hole relationsCharles Roy Henderson (2,396 words) [view diff] exact match in snippet view article find links to article
livestock industry throughout the world and are a cornerstone of linear model theory. Henderson obtained his B.Sc., M.Sc.(nutrition) and Ph.D.(breeding) degreesNola Pender (537 words) [view diff] exact match in snippet view article find links to article
president of the academy from 1991 to 1993. Pender's health promotion model theory was first published in 1982 and later revised in 1996 and 2002. It isKodaira dimension (2,406 words) [view diff] exact match in snippet view article find links to article
has Kodaira dimension −∞. Conversely, the main conjectures of minimal model theory (notably the abundance conjecture) would imply that every variety ofModule (mathematics) (3,091 words) [view diff] exact match in snippet view article
of modules.[citation needed] Group ring Algebra (ring theory) Module (model theory) Module spectrum Annihilator Hungerford (1974) Algebra, Springer, p 169:Lyman series (968 words) [view diff] exact match in snippet view article find links to article
series are all ultraviolet: In 1914, when Niels Bohr produced his Bohr model theory, the reason why hydrogen spectral lines fit Rydberg's formula was explainedWason selection task (1,988 words) [view diff] exact match in snippet view article find links to article
1–37. doi:10.1007/BF00851985. S2CID 83429932. Beller, S. (2001). "A model theory of deontic reasoning about social norms". In Moore, J. D.; Stenning,Paradigm (4,585 words) [view diff] exact match in snippet view article find links to article
experiments, depending on the degree of deviation from the accepted standard model theory the experiment would test for. To illustrate the point, an experimentComplex number (12,021 words) [view diff] exact match in snippet view article find links to article
David (1996). "Introduction to the Model Theory of Fields". In Marker, D.; Messmer, M.; Pillay, A. (eds.). Model theory of fields. Lecture Notes in LogicMorley's theorem (61 words) [view diff] exact match in snippet view article find links to article
discovered by Frank Morley Morley's categoricity theorem, a theorem in model theory, discovered by Michael D. Morley This disambiguation page lists mathematicsTerry Millar (249 words) [view diff] exact match in snippet view article find links to article
considered to be one of the world's foremost researchers in computable model theory. He earned a bachelor’s degree in mathematics from Cornell UniversityNIP (213 words) [view diff] exact match in snippet view article find links to article
Diliman Ninjas in Pyjamas, a professional esports organization NIP (model theory), a property of theories in mathematical logic Northern IndependenceBehavior change (public health) (1,987 words) [view diff] no match in snippet view article
model of behavior change", "theory of reasoned action", "health belief model", "theory of planned behavior", diffusion of innovation", and the health actionUbiquitous computing (1,981 words) [view diff] case mismatch in snippet view article find links to article
Software engineering Software maintenance Programming team Open-source model Theory of computation Model of computation Stochastic Formal language AutomataSAAM II (1,278 words) [view diff] exact match in snippet view article find links to article
research. It is grounded in the principles of multi-compartment model theory, which is a widely-used approach for modeling complex biological systemsBlum–Shub–Smale machine (654 words) [view diff] case mismatch in snippet view article find links to article
Zbl 0948.68082. Grädel, E. (2007). "Finite Model Theory and Descriptive Complexity". Finite Model Theory and Its Applications (PDF). Springer-VerlagRonald Jensen (625 words) [view diff] exact match in snippet view article find links to article
Springer, Berlin 1967. as editor with Alexander Pestel: Set theory and model theory: proceedings of an informal symposium held at Bonn, June 1–3, 1979. Berlin;Order (mathematics) (499 words) [view diff] exact match in snippet view article
graph: see haven (graph theory) and bramble (graph theory) In logic, model theory and type theory: Zeroth-order logic First-order logic Second-order logicMichael Shub (878 words) [view diff] case mismatch in snippet view article find links to article
ISBN 978-1584885085. Grädel, Erich (2007). "Algorithmic Model Theory". Finite Model Theory and Its Applications (PDF). New York City: Springer-VerlagGaussian network model (4,574 words) [view diff] no match in snippet view article find links to article
The Gaussian network model (GNM) is a representation of a biological macromolecule as an elastic mass-and-spring network to study, understand, and characterizePrinceton University School of Architecture (1,517 words) [view diff] exact match in snippet view article find links to article
plastic, metal, and concrete that enable students to learn general model theory, build and test models of actual buildings, and study current buildingCognitive psychology (5,560 words) [view diff] exact match in snippet view article find links to article
siding with their favorite theory. For example, advocates of mental model theory have attempted to find evidence that deductive reasoning is based onDiscounted cash flow (2,903 words) [view diff] no match in snippet view article find links to article
Fama, Eugene F.; French, Kenneth R. (2003). "The Capital Asset Pricing Model: Theory and Evidence". SSRN Working Paper Series. doi:10.2139/ssrn.440920. ISSN 1556-5068Discounted cash flow (2,903 words) [view diff] no match in snippet view article find links to article
Fama, Eugene F.; French, Kenneth R. (2003). "The Capital Asset Pricing Model: Theory and Evidence". SSRN Working Paper Series. doi:10.2139/ssrn.440920. ISSN 1556-5068Joel David Hamkins (1,791 words) [view diff] exact match in snippet view article find links to article
generalization of that result. Hamkins mounted a general account of modal model theory in joint work with his Oxford DPhil student Wojciech Aleksander WołoszynAlmost all (2,577 words) [view diff] case mismatch in snippet view article find links to article
Vardi, Moshe Y.; Venema, Yde; Weinstein, Scott (11 June 2007). Finite Model Theory and Its Applications. Texts in Theoretical Computer Science (An EATCSLynn Steen (1,317 words) [view diff] case mismatch in snippet view article find links to article
Problems," Science (18 July 1975) 209–210. "The Metamathematical World of Model Theory," Science News 107 (15 Feb. 1975) 108–111. "Highlights in the HistoryPrefrontal cortex (5,429 words) [view diff] exact match in snippet view article find links to article
view Lateral view Medial perspective Lobotomy Interference theory Self-model theory of subjectivity Dorsomedial prefrontal cortex Ventromedial prefrontalA. H. Lightstone (1,339 words) [view diff] case mismatch in snippet view article find links to article
chapters on asymptotic expansions. Mathematical Logic: An Introduction to Model Theory (Mathematical Concepts and Methods in Science and Engineering, vol. 9Categorical set theory (272 words) [view diff] case mismatch in snippet view article find links to article
Springer. ISBN 0-387-95543-7. Poizat, B. (2012) [2000]. A Course in Model Theory: An Introduction to Contemporary Mathematical Logic. Translated by KleinMany-valued logic (3,346 words) [view diff] case mismatch in snippet view article find links to article
Synthese, 19, 325–373. Chang C.C. and Keisler H. J. 1966. Continuous Model Theory, Princeton, Princeton University Press. Gerla G. 2001, Fuzzy logic: MathematicalDifferential algebra (7,852 words) [view diff] exact match in snippet view article find links to article
Marker, David (2000). "Model theory of differential fields". In Haskell, Deirdre; Pillay, Anand; Steinhorn, Charles (eds.). Model theory, algebra, and geometryPanic attack (7,098 words) [view diff] no match in snippet view article find links to article
attacks while others don't. The current theories include the fear network model, theory of acid-base disturbances in the brain, and irregular activity of theStock valuation (3,387 words) [view diff] exact match in snippet view article find links to article
at risk Mosaic theory Fundamental analysis Performance indicator Fed model theory of equity valuation Undervalued stock John Burr Williams: Theory RelativeLauri Honko (423 words) [view diff] exact match in snippet view article find links to article
spirits in Ingrian peasant society by developing a genre-analytic and role-model theory. In Geisterglaube in Ingermanland he classified rituals into three mainCapital asset pricing model (4,615 words) [view diff] no match in snippet view article find links to article
Eugene F; French, Kenneth R (Summer 2004). "The Capital Asset Pricing Model: Theory and Evidence". Journal of Economic Perspectives. 18 (3): 25–46. doi:10