Model Theory

GPTKB entity

Statements (78)
Predicate Object
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