About: Beta-model

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

In model theory, a mathematical discipline, a β-model (from the French "bon ordre", well-ordering) is a model which is correct about statements of the form "X is well-ordered". The term was introduced by Mostowski (1959) as a strengthening of the notion of ω-model. In contrast to the notation for set-theoretic properties named by ordinals, such as -indescribability, the letter β here is only denotational.

Property Value
dbo:abstract
  • In model theory, a mathematical discipline, a β-model (from the French "bon ordre", well-ordering) is a model which is correct about statements of the form "X is well-ordered". The term was introduced by Mostowski (1959) as a strengthening of the notion of ω-model. In contrast to the notation for set-theoretic properties named by ordinals, such as -indescribability, the letter β here is only denotational. (en)
dbo:wikiPageID
  • 72003155 (xsd:integer)
dbo:wikiPageLength
  • 2996 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1122710162 (xsd:integer)
dbo:wikiPageWikiLink
dbp:b
  • 1 (xsd:integer)
dbp:p
  • 1 (xsd:integer)
dbp:wikiPageUsesTemplate
dcterms:subject
rdfs:comment
  • In model theory, a mathematical discipline, a β-model (from the French "bon ordre", well-ordering) is a model which is correct about statements of the form "X is well-ordered". The term was introduced by Mostowski (1959) as a strengthening of the notion of ω-model. In contrast to the notation for set-theoretic properties named by ordinals, such as -indescribability, the letter β here is only denotational. (en)
rdfs:label
  • Beta-model (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License