#
Model theory
Resource Information
The concept ** Model theory** represents the subject, aboutness, idea or notion of resources found in **University of Oklahoma Libraries**.

The Resource
Model theory
Resource Information

The concept

**Model theory**represents the subject, aboutness, idea or notion of resources found in**University of Oklahoma Libraries**.- Label
- Model theory

## Context

Context of Model theory#### Subject of

No resources found

No enriched resources found

- A course in model theory
- A course in model theory : an introduction to contemporary mathematical logic
- A model-theoretic realist interpretation of science
- Absolute logics
- Accessible categories : the foundations of categorical model theory
- Algebraic systems
- An introduction to stability theory
- An introduction to stability theory
- Applications of model theory to algebra, analysis, and probability,
- Around classification theory of models
- Aspects of constructibility
- Automorphisms of first-order structures
- Automorphisms of first-order structures
- Beginning model theory : the completeness theorem and some consequences
- Beginning model theory : the completeness theorem and some consequences
- Beyond first order model theory
- Boolean-valued models and independence proofs in set theory
- Bounded variable logics and counting : a study in finite models
- Building models by games
- Categoricity
- Classification theory and the number of non-isomorphic
- Compartmental models and their application
- Concepts for using modeling as a research tool
- Constructible sets with applications.
- Essential stability theory
- Finite model theory
- Finite structures with few types
- First order categorical logic : model-theoretical methods in the theory of topoi and related categories
- Forcing, arithmetic, division rings
- Generative complexity in algebra
- Geometric stability theory
- Groups of finite Morley rank
- Groups of finite Morley rank
- Henkin-Keisler models
- Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors
- Institution-independent model theory
- Introduction to multi-disciplinary model-building
- Intuitionistic logic, model theory and forcing
- Intuitionistic logic, model theory and forcing. --
- Large infinitary languages : model theory
- Lectures on algebraic model theory
- Lectures on model theory
- Logic and algebra
- Logic and algebra
- Logic without borders : essays on set theory, model theory, philosophical logic, and philosophy of mathematics
- Logica universalis : towards a general theory of logic
- Logica universalis : towards a general theory of logic
- Mathematical logic : an introduction to model theory
- Media theory : interdisciplinary applied mathematics
- Metamathematical investigation of intuitionistic arithmetic and analysis
- Model Theory
- Model Theory and Modules
- Model theory
- Model theory
- Model theory
- Model theory : an introduction
- Model theory : an introduction
- Model theory and algebra : a memorial tribute to Abraham Robinson
- Model theory and algebraic geometry : an introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture
- Model theory and algebraic geometry : an introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture
- Model theory and applications
- Model theory and arithmetic : comptes rendus d'une action thématique programmée du C.N.R.S. sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80
- Model theory and linear extreme points in the numerical radius unit ball
- Model theory and modules
- Model theory and modules
- Model theory and topoi : a collection of lectures by various authors
- Model theory for infinitary logic; : logic with countable conjunctions and finite quantifiers.
- Model theory for infinitary logic; : logic with countable conjunctions and finite quantifiers.
- Model theory for modal logic : Kripke models for modal predicate calculi
- Model theory in algebra, analysis and arithmetic : Cetraro, Italy 2012
- Model theory of fields
- Model theory of groups and automorphism groups : Blaubeuren, August 1995
- Model theory of groups and automorphism groups : Blaubeuren, August 1995
- Model theory of infinitary languages
- Model theory of stochastic processes
- Model theory with applications to algebra and analysis
- Model theory with applications to algebra and analysis, Volume 1
- Model theory with applications to algebra and analysis, Volume 2
- Model theory.
- Modelling metaphysics : the metaphysics of a model
- Models and games
- Models and ultraproducts : an introduction
- Models and ultraproducts: : an introduction.
- Models of Peano arithmetic
- Models of reality : shaping thought and action
- Models, modules and Abelian groups : in memory of A.L.S. Corner
- Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry, Volume 1.
- Motivic integration and its interactions with model theory and non-Archimedean geometry, Volume 1
- Motivic integration and its interactions with model theory and non-Archimedean geometry, Volume 2
- Music, science, philosophy : models in the universe of thought
- O-minimality and diophantine geometry
- Partiality, truth, and persistence
- Performatives and verifiability by the use of language : a study in the applied logic of indexicals and conditionals
- Saturated model theory
- Saturated model theory
- Sheaves, games, and model completions : a categorial[sic] approach to nonclassical propositional logics
- Simple groups of finite Morley rank
- Simple theories and hyperimaginaries
- Simplicity theory
- Some results on models for set theory
- Stability in model theory
- Stable Domination and Independence in Algebraically Closed Valued Fields
- Stable domination and independence in algebraically closed valued fields
- Stable groups
- Stable groups
- Studies in model theory
- Tame flows
- The birth of model theory : Löwenheim's theorem in the frame of the theory of relatives
- The classification of countable homogeneous directed graphs and countable homogeneous n-tournaments
- The family's construction of reality
- The metamathematics of algebraic systems, collected papers: 1936-1967
- The metamathematics of algebraic systems, collected papers: 1936-1967
- The monadic second order theory of all countable ordinals
- The pragmatics and semiotics of standard languages
- The reconstruction of trees from their automorphism groups
- Theory and application of a quasi-Eulerian fluid element for the STRAW code
- Topological model theory
- Uncountably categorical theories

## Embed

### Settings

Select options that apply then copy and paste the RDF/HTML data fragment to include in your application

Embed this data in a secure (HTTPS) page:

Layout options:

Include data citation:

<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.libraries.ou.edu/resource/7w-kGa812nI/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/resource/7w-kGa812nI/">Model theory</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>

Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements

### Preview

## Cite Data - Experimental

### Data Citation of the Concept Model theory

Copy and paste the following RDF/HTML data fragment to cite this resource

`<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.libraries.ou.edu/resource/7w-kGa812nI/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/resource/7w-kGa812nI/">Model theory</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>`