Shelah's classification theory

GPTKB entity

Statements (23)
Predicate Object
gptkbp:instanceOf gptkb:logic
gptkbp:creator gptkb:Saharon_Shelah
gptkbp:field model theory
gptkbp:focusesOn classification of first-order theories
gptkbp:hasConcept gptkb:Morley_rank
independence
stability
forking
stable theories
Shelah's stability spectrum theorem
spectrum function
superstable theories
totally transcendental theories
unstable theories
https://www.w3.org/2000/01/rdf-schema#label Shelah's classification theory
gptkbp:influenced modern model theory
gptkbp:introducedIn 1970s
gptkbp:publishedIn gptkb:Classification_Theory_and_the_Number_of_Nonisomorphic_Models
gptkbp:relatedTo gptkb:logic
gptkb:first-order_logic
abstract elementary classes
gptkbp:bfsParent gptkb:Model_Theory
gptkbp:bfsLayer 7