Bazsites.com Model Theory
Directory Topics
On the Web
- On the Model Theory of Knowledge - An essay by John McCarthy on the use of model theory, with a bias towards knowledge representation. Strong on Kripke models.
- Proof Theory as an Alternative to Model Theory - Short article by Dale Miller, arguing that logic programming languages should base their semantics on proof theory, not model theory.
- Critics of the Model Theory of Deduction - Which approach to formalism better matches our normal reasoning, proof theory or model theory? Resource page concerned with this controversy maintained by Ruth Byrne.
- Mathematical Structures Group - Research topics include mathematical models and theories in the empirical sciences, models and theories in mathematics, category theory, and the use of mathematical structures in theoretical computer science. Bibliographic data.
- University of Leeds - Mathematical Logic Group. Research areas: recursion theory, model theory, set theory and foundations, proof theory, and in applications to algebra, analysis and theoretical computer science. Members, events, seminars.
- Human Motor Control Research - Adaptive Model Theory - Human motor control, including details of the Adaptive Model Theory of human voluntary movement (AMT).
- Finite Model Theory Homepage - People, problems, bibliographies, events.
- Model Theory of Fields: Suggested Reading - Short list of online resources compiled by David Marker.
- Model Theory. Skolem's Paradox. Ramsey's Theorem. - Introductory essay by Karlis Podnieks, constituting appendices 1 and 2 of his book `Around Goedel's Theorems'.
- Introduction to Model Theory - Homepage of a lecture course by Natasha Alechina, with a particular emphasis on topics relevant to computer science, such as bisimulation.
Wikipedia Articles
- Finite model theory - Finite model theory is a subfield of model theory that focuses on properties of logical languages, such as first-order logic, over finite structures, such as finite groups, graphs, databases, and most abstract machines. It focuses in particular on connections between logical languages and computation, and is closely associated with ...
- 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. It was developed almost simultaneously by mathematicians in the West, primarily located in the United States and Australia, and Soviet Russia during the middle of the 20th century.
- Prime model - In mathematics, and in particular model theory, a prime model is a model which is as simple as possible. Specifically, a model P is prime if it admits an elementary embedding into any model M to which it is elementarily equivalent (that is, into any model M satisfying the same complete theory as P).
- Model theory - In mathematics, model theory is the study of mathematical structures via logical formulas. Model theory uses results about the logical properties of a language to get results about objects (structures, sets) that the language can describe.
- Institutional model theory - Institutional model theory generalizes a large portion of first-order model theory to an arbritary logical system. The notion of "logical system" here is formalized as an institution.