| dbo:abstract
|
- Der Satz von Ryll-Nardzewski ist ein Satz aus der Modelltheorie, einem mathematischen Teilgebiet der Logik. Er charakterisiert -kategorische Theorien. Benannt ist er nach dem polnischen Mathematiker Czesław Ryll-Nardzewski. (de)
- In mathematical logic, an omega-categorical theory is a theory that has exactly one countably infinite model up to isomorphism. Omega-categoricity is the special case κ = = ω of κ-categoricity, and omega-categorical theories are also referred to as ω-categorical. The notion is most important for countable first-order theories. (en)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 4862 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Der Satz von Ryll-Nardzewski ist ein Satz aus der Modelltheorie, einem mathematischen Teilgebiet der Logik. Er charakterisiert -kategorische Theorien. Benannt ist er nach dem polnischen Mathematiker Czesław Ryll-Nardzewski. (de)
- In mathematical logic, an omega-categorical theory is a theory that has exactly one countably infinite model up to isomorphism. Omega-categoricity is the special case κ = = ω of κ-categoricity, and omega-categorical theories are also referred to as ω-categorical. The notion is most important for countable first-order theories. (en)
|
| rdfs:label
|
- Satz von Ryll-Nardzewski (de)
- Omega-categorical theory (en)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
