There are two common ways to specify theories: List or describe a set of sentences in the language Lσ, called the axioms of the theory. Give a set of σ-structures, and define a theory to be the set of sentences in Lσ holding in all these models. For example, the "theory of finite fields" consists of all sentences in the language of fields that are true in all finite fields.

PropertyValue
dbpprop:abstract
  • There are two common ways to specify theories: List or describe a set of sentences in the language Lσ, called the axioms of the theory. Give a set of σ-structures, and define a theory to be the set of sentences in Lσ holding in all these models. For example, the "theory of finite fields" consists of all sentences in the language of fields that are true in all finite fields. A Lσ theory may: be consistent: no proof of contradiction exists; be satisfiable: there exists a σ-structure for which the sentences of the theory are all true (by the completeness theorem, satisfiability is equivalent to consistency); be complete: for any statement, either it or its negation is provable; have quantifier elimination; eliminate imaginaries; be finitely axiomatizable; be Decidable: There is an algorithm to decide which statements are provable; be recursively axiomatizable; be Model complete or sub-model complete; be κ-categorical: All models of cardinality κ are isomorphic; be Stable or unstable. be ω-stable (same as totally transcendental for countable theories). be superstable have an atomic model have a prime model have a saturated model
dbpprop:harvtxtProperty
  • Ax
  • Kochen
  • 1965 (xsd:integer)
dbpprop:hasPhotoCollection
dbpprop:wikiPageUsesTemplate
rdfs:comment
  • There are two common ways to specify theories: List or describe a set of sentences in the language Lσ, called the axioms of the theory. Give a set of σ-structures, and define a theory to be the set of sentences in Lσ holding in all these models. For example, the "theory of finite fields" consists of all sentences in the language of fields that are true in all finite fields.
rdfs:label
  • List of first-order theories
skos:subject
foaf:page
is dbpprop:redirect of