Search for "Model theory" in article titles:

1. Model theory: The part of mathematical logic studying mathematical models (cf. Model (in logic)). (Mathematics) [100%] 2023-10-18
2. Model theory: Model theory is the study of the interpretation of any language, formal or natural, by means of set-theoretic structures. Its primary branch is a field of mathematics, sometimes referred to as first-order model theory. [100%] 2023-06-22
3. Model theory of valued fields: A branch of model theory concerned with the elementary theories of fields with valuations $v$ (cf. Elementary theory; Field; Valuation). (Mathematics) [63%] 2023-09-30
4. Model theory of the real exponential function: A branch of model theory studying the elementary theory of the ordered field of real numbers with the real exponential function (cf. Exponential function, real). (Mathematics) [53%] 2023-09-25
5. Model Theory: Model theory began with the study of formal languages and their interpretations, and of the kinds of classification that a particular formal language can make. Mainstream model theory is now a sophisticated branch of mathematics (see the entry on first ... (Philosophy) [100%] 2022-02-17
6. Model (theory): Model theory is a body of study which provides useful procedures in the fields of mathematics and computer science. (Theory) [100%] 2023-06-13
7. Actor model theory: In theoretical computer science, Actor model theory concerns theoretical issues for the Actor model. Actors are the primitives that form the basis of the Actor model of concurrent digital computation. [81%] 2023-11-09 [Denotational semantics] [Mathematics of computing]...
8. Age (model theory): In model theory, the age of a structure (or model) A is the class of all finitely generated structures that are embeddable in A (i.e. isomorphic to substructures of A). (Model theory) [81%] 2023-12-04 [Model theory]
9. NIP (model theory): In model theory, a branch of mathematical logic, a complete theory T is said to satisfy NIP ("not the independence property") if none of its formulae satisfy the independence property—that is, if none of its formulae can pick out ... (Model theory) [81%] 2023-12-19 [Model theory]
10. Inner model theory: In set theory, inner model theory is the study of certain models of ZFC or some fragment or strengthening thereof. Ordinarily these models are transitive subsets or subclasses of the von Neumann universe V, or sometimes of a generic extension ... [81%] 2023-12-28 [Inner model theory]
11. Inner model theory: In set theory, inner model theory is the study of certain models of ZFC or some fragment or strengthening thereof. Ordinarily these models are transitive subsets or subclasses of the von Neumann universe V, or sometimes of a generic extension ... [81%] 2023-11-10 [Inner model theory]
12. Recursive model theory: recursively presented model theory A branch of mathematics that is on the border-line between model theory, algebra and the theory of recursive functions (cf. Recursive function), and related to the study of questions of effectiveness in models and algebras. (Mathematics) [81%] 2023-10-17
13. NIP (model theory): In model theory, a branch of mathematical logic, a complete theory T is said to satisfy NIP ("not the independence property") if none of its formulae satisfy the independence property—that is, if none of its formulae can pick out ... (Model theory) [81%] 2023-12-22 [Model theory]
14. Computable model theory: Computable model theory is a branch of model theory which deals with questions of computability as they apply to model-theoretical structures. Computable model theory introduces the ideas of computable and decidable models and theories and one of the basic ... (Branch of model theory that deals with computation) [81%] 2024-08-31 [Constructivism (mathematics)] [Model theory]...
15. First-order Model Theory: First-order model theory, also known as classical model theory, is a branch of mathematics that deals with the relationships between descriptions in first-order languages and the structures that satisfy these descriptions. From one point of view, this is ... (Philosophy) [70%] 2021-12-24
16. Boolean model (probability theory): For statistics in probability theory, the Boolean-Poisson model or simply Boolean model for a random subset of the plane (or higher dimensions, analogously) is one of the simplest and most tractable models in stochastic geometry. Take a Poisson point ... (Probability theory) [70%] 2023-09-16 [Spatial processes]
17. Standard model (set theory): In set theory, a standard model for a theory \displaystyle{ T }[/math] is a model \displaystyle{ M }[/math] for \displaystyle{ T }[/math] where the membership relation \displaystyle{ \in_M }[/math] is the same as the membership relation \displaystyle{ \in }[/math] of ... (Set theory) [70%] 2024-04-11 [Set theory] [Model theory]...
18. Mental model theory of reasoning: The mental model theory of reasoning was developed by Philip Johnson-Laird and Ruth M.J. Byrne (Johnson-Laird and Byrne, 1991). (Philosophy) [63%] 2023-11-08 [Reasoning] [Theories of deduction]...