About: Model theory

Documentation

scienceplus.abes.fr version Bêta

scienceplus.abes.fr | explorer

À propos de : Model theory Goto Sponge NotDistinct Permalink

Attributs	Valeurs
type	Concept
skos:inScheme	MSC 2010
broader concept	Mathematical logic and foundations
narrower concept	Equational classes, universal algebra Basic properties of first-order languages and structures Quantifier elimination, model completeness and related topics Finite structures Denumerable structures Ultraproducts and related constructions Model-theoretic forcing Other model constructions Categoricity and completeness of theories Interpolation, preservation, definability Classification theory, stability and related concepts Abstract elementary classes and related topics Models with special properties (saturated, rigid, etc.) Properties of classes of models Set-theoretic model theory Effective and recursion-theoretic model theory Model-theoretic algebra Models of arithmetic and set theory Model theory of ordered structures; o-minimality Models of other mathematical theories Other classical first-order model theory Logic on admissible sets Other infinitary logic Logic with extra quantifiers and operators Second- and higher-order model theory Nonclassical models (Boolean-valued, sheaf, etc.) Abstract model theory Applications of model theory None of the above, but in MSC2010 section 03Cxx
skos:prefLabel	Model theory Teoria dei modelli Ð¢ÐµÐ¾ÑÐ¸Ñ Ð¼Ð¾Ð´ÐµÐ»ÐµÐ¹ 模型论
skos:exactMatch	http://msc2010.org/resources/MSC/1991/03Cxx http://msc2010.org/resources/MSC/2000/03Cxx
skos:notation	03Cxx
skos:relatedMatch	http://msc2010.org/resources/MSC/2010/fullDD21-511.3
is rdfs:seeAlso of	Axiomatic model classes Model theory Applications of logic to commutative algebra Applications of logic to commutative algebra Applications of logic
is broader concept of	Equational classes, universal algebra Basic properties of first-order languages and structures Quantifier elimination, model completeness and related topics Finite structures Denumerable structures Ultraproducts and related constructions Model-theoretic forcing Other model constructions Categoricity and completeness of theories Interpolation, preservation, definability Classification theory, stability and related concepts Abstract elementary classes and related topics Models with special properties (saturated, rigid, etc.) Properties of classes of models Set-theoretic model theory Effective and recursion-theoretic model theory Model-theoretic algebra Models of arithmetic and set theory Model theory of ordered structures; o-minimality Models of other mathematical theories Other classical first-order model theory Logic on admissible sets Other infinitary logic Logic with extra quantifiers and operators Second- and higher-order model theory Nonclassical models (Boolean-valued, sheaf, etc.) Abstract model theory Applications of model theory None of the above, but in MSC2010 section 03Cxx
is narrower concept of	Mathematical logic and foundations
is http://msc2010.org...0/msc2010#seeAlso of	Axiomatic model classes Model theory Applications of logic to commutative algebra Applications of logic to commutative algebra Applications of logic
is skos:semanticRelation of	Axiomatic model classes Model theory Applications of logic to commutative algebra Applications of logic to commutative algebra Applications of logic

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata