Classification Theory

GPTKB entity

Statements (35)
Predicate Object
gptkbp:instanceOf gptkb:academic
gptkbp:alsoKnownAs stability theory
gptkbp:developedBy gptkb:Saharon_Shelah
gptkbp:fieldOfStudy gptkb:logic
gptkb:mathematics
model theory
gptkbp:focusesOn classification of first-order theories
gptkbp:hasApplication gptkb:algebra
gptkb:geometry
gptkb:set_theory
gptkbp:hasConcept gptkb:Morley_rank
independence
forking
saturated model
stable theory
superstable theory
totally transcendental theory
unstable theory
https://www.w3.org/2000/01/rdf-schema#label Classification Theory
gptkbp:introducedIn 1970s
gptkbp:keyFigure gptkb:Saharon_Shelah
gptkbp:notableWork gptkb:Classification_Theory_and_the_Number_of_Nonisomorphic_Models
gptkbp:relatedTo gptkb:logic
model theory
abstract elementary classes
o-minimality
NIP theories
simple theories
stability spectrum
gptkbp:studies stability
simplicity
categoricity
spectrum of models
gptkbp:bfsParent gptkb:Saharon_Shelah
gptkbp:bfsLayer 4