gptkbp:instanceOf
|
branch of mathematical logic
|
gptkbp:appliesTo
|
gptkb:algebra
gptkb:geometry
number theory
|
gptkbp:concerns
|
truth in mathematical structures
|
gptkbp:developedBy
|
gptkb:Abraham_Robinson
gptkb:Alfred_Tarski
gptkb:Thoralf_Skolem
|
gptkbp:field
|
gptkb:logic
gptkb:mathematics
gptkb:philosophy
|
gptkbp:hasApplication
|
gptkb:algebraic_geometry
gptkb:artificial_intelligence
gptkb:logic
computer science
group theory
real closed fields
database theory
differential fields
valued fields
|
gptkbp:hasSubfield
|
gptkb:finite_model_theory
stability theory
classical model theory
geometric model theory
abstract model theory
categorical model theory
|
https://www.w3.org/2000/01/rdf-schema#label
|
Model Theory
|
gptkbp:includes
|
gptkb:Löwenheim–Skolem_theorem
gptkb:Morley_rank
completeness theorem
quantifier elimination
types
compactness theorem
elementary substructures
ultraproducts
stability theory
model completeness
o-minimality
categoricity
elementary equivalence
definability
elementary embeddings
saturated models
|
gptkbp:notable_for
|
gptkb:Löwenheim–Skolem_theorem
gptkb:Tarski–Vaught_test
gptkb:Vaught's_conjecture
gptkb:Craig_interpolation_theorem
gptkb:Morley's_categoricity_theorem
gptkb:Beth_definability_theorem
gptkb:Omitting_types_theorem
gptkb:Robinson's_joint_consistency_theorem
gptkb:Shelah's_classification_theory
completeness theorem
compactness theorem
|
gptkbp:notablePerson
|
gptkb:Saharon_Shelah
gptkb:Abraham_Robinson
gptkb:Alfred_Tarski
gptkb:David_Marker
gptkb:C.C._Chang
gptkb:Wilfrid_Hodges
gptkb:Michael_Morley
gptkb:Anand_Pillay
gptkb:James_H._Schmerl
|
gptkbp:notablePublication
|
gptkb:A_Shorter_Model_Theory_by_Wilfrid_Hodges
gptkb:Classification_Theory_by_Saharon_Shelah
gptkb:Introduction_to_Model_Theory_by_Philipp_Rothmaler
gptkb:Model_Theory:_An_Introduction_by_David_Marker
gptkb:Model_Theory_and_Modules_by_Mike_Prest
gptkb:Model_Theory_by_C.C._Chang_and_H.J._Keisler
|
gptkbp:relatedTo
|
gptkb:logic
gptkb:set_theory
proof theory
recursion theory
|
gptkbp:studies
|
models of formal systems
relationships between formal languages and their interpretations
|
gptkbp:bfsParent
|
gptkb:Wilfrid_Hodges
gptkb:Studies_in_Logic_and_the_Foundations_of_Mathematics
|
gptkbp:bfsLayer
|
6
|