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

The Resource
Model theory
Resource Information

The concept

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

#### 97 Items that share the Concept Model theory

## Context

Context of Model theory#### Subject of

- A course in model theory
- A guide to NIP theories
- A guide to classical and modern model theory
- A model-theoretic realist interpretation of science
- A shorter model theory
- Accessible categories : the foundations of categorical model theory
- Algebraic systems
- An introduction to stability theory
- Applications of model theory to algebra, analysis, and probability,
- Around classification theory
- Aspects of constructibility
- Automorphisms of first-order structures
- Basic model theory
- Beginning model theory : the completeness theorem and some consequences
- Boolean-valued models and independence proofs in set theory
- Categoricity
- Classification theory and the number of non-isomorphic models
- Continuous model theory,
- Definable additive categories : purity and model theory
- Die aristotelische Modaltheorie
- Effective mathematics of the uncountable
- Experimental design symbolization and model derivation : balanced complete experimental structures
- Factorization and model theory for contraction operators with unitary part
- Finite structures with few types
- First order categorical logic : model-theoretical methods in the theory of topoi and related categories
- Forcing, arithmetic, division rings
- Fundamentals of mathematical logic
- Fundamentals of stability theory
- Generative complexity in algebra
- Geometric stability theory
- Groups of finite Morley rank
- Henkin-Keisler models
- Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors
- Introduction to multi-disciplinary model-building
- Intuitionistic logic, model theory and forcing
- Large infinitary languages : model theory
- Lectures on algebraic model theory
- Logic and algebra
- Logica universalis : towards a general theory of logic
- Marcel Proust et la théorie du modèle
- Mathematical logic : an introduction to model theory
- Mathematical logic and model theory : a brief introduction
- Metamathematical investigation of intuitionistic arithmetic and analysis
- Model theoretic algebra : selected topics
- Model theory
- Model theory
- 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 applications
- Model theory and its applications
- Model theory and linear extreme points in the numerical radius unit ball
- Model theory and modules
- Model theory for infinitary logic; : logic with countable conjunctions and finite quantifiers.
- Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979
- Model theory of fields
- Model theory of stochastic processes
- Model theory, algebra, and geometry
- Model theory.
- Models and games
- Models and ultraproducts : an introduction
- Models of Peano arithmetic
- Models of reality : shaping thought and action
- Music, science, philosophy : models in the universe of thought
- Prospects and problems for a general modeling methodology
- Saturated model theory
- Sheaves, games, and model completions : a categorial approach to nonclassical propositional logics
- Simple groups of finite Morley rank
- Simple theories
- Simple theories and hyperimaginaries
- Some philosophical aspects of abstract model theory
- Sport, physical activity and T.V. role models
- Stable domination and independence in algebraically closed valued fields
- Stable groups
- Stable groups
- Studies in model theory
- 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 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
- Théorie des modèles en logique mathématique
- Topological model theory
- Uncountably categorical theories

## Embed (Experimental)

### 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.lib.byu.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.lib.byu.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.lib.byu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.lib.byu.edu/">Brigham Young University</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.lib.byu.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.lib.byu.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.lib.byu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.lib.byu.edu/">Brigham Young University</a></span></span></span></span></div>`