About: Omega-logic

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

In mathematics, ω-logic can refer to: * ω-logic, an infinitary extension of first-order logic * Ω-logic, a deductive system in set theory developed by Hugh WoodinThis disambiguation page lists mathematics articles associated with the same title. If an internal link led you here, you may wish to change the link to point directly to the intended article.

Property Value
dbo:abstract
  • In mathematics, ω-logic can refer to: * ω-logic, an infinitary extension of first-order logic * Ω-logic, a deductive system in set theory developed by Hugh WoodinThis disambiguation page lists mathematics articles associated with the same title. If an internal link led you here, you may wish to change the link to point directly to the intended article. (en)
dbo:wikiPageID
  • 13772487 (xsd:integer)
dbo:wikiPageLength
  • 249 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 528922604 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
rdfs:comment
  • In mathematics, ω-logic can refer to: * ω-logic, an infinitary extension of first-order logic * Ω-logic, a deductive system in set theory developed by Hugh WoodinThis disambiguation page lists mathematics articles associated with the same title. If an internal link led you here, you may wish to change the link to point directly to the intended article. (en)
rdfs:label
  • Omega-logic (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
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