Find link

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), Abstract model theory (view), Pregeometry (model theory) (view), Mental model theory of reasoning (view), Institutional model theory (view), NIP (model theory) (view)

searching for Model theory 78 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 English

Geometric 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 of

Data 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 create

Data 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 create

Imprinted 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 spectrum

L(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 constructed

RGB 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 reproduce

Self 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 ownership

Core 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/July

Gadadhar 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 classification

Cyclic 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 15

Project Cybersyn (3,634 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 technology

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 the

Parity 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}}:

Covering lemma (716 words) [view diff] no match in snippet view article find links to article

In the foundations of mathematics, a covering lemma is used to prove that the non-existence of certain large cardinals leads to the existence of a canonical

Free 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 the

Metamerism (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')

Plural 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 is

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-9

Jack 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. Silver

Falsifiability (19,536 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}}\models

Pfaffian 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 originally

Code (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 \omega

Strongly 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 the

Gödel Lecture (594 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 T. M. Scanlon in his absence. 2008 W. Hugh Woodin, The Continuum

Franç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 specialist

Polly Matzinger (2,264 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 theory

Dissemination (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 is

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 constant

Chang'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)

Origin 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 anthropological

Unified 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/technology

Kate 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 relationships

Hindsight 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 Fields

David 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 Paterson

Outline 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 Reasoned

Nalini Ravishanker (301 words) [view diff] case mismatch in snippet view article find links to article

Dipak K. Dey, Ravishanker is the author of A First Course in Linear Model Theory (Chapman & Hall, 2001; 2nd ed., 2017). She is also one of the editors

Nola 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 is

Almost 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. Jacod

Nola 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 is

Skolem 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; Rackoff

SMART 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 Confident

James 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 relations

Noga 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 computer

Charles 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) degrees

Kodaira 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 of

Terry 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 University

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 explained

Morley'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 mathematics

Lionel Snell (830 words) [view diff] no match in snippet view article find links to article

the nature of reality. In this work, Snell outlines his “information model” theory of magic, which entertains the possibility that the universe could be

Module (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:

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 logic

Blum–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-Verlag

Complex number (11,795 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 Logic

SAAM 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 systems

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 experiment

Wason 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,

Ubiquitous computing (1,967 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 Automata

Behavior 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 action

Ronald 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;

Michael 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-Verlag

Gaussian 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 characterize

Princeton 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 building

Discounted cash flow (2,905 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-5068

Categorical 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 Klein

Joel 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łoszyn

Cognitive 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 on

Extended reality (626 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 Automata

Lynn 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 History

A. 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. 9

Almost 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 EATCS

Prefrontal 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 prefrontal

Lauri 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 main

Capital asset pricing model (4,613 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

Differential 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 geometry

Many-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: Mathematical