An infinitary logic is a logic that allows infinitely long statements and/or infinitely long proofs. Some infinitary logics may have different properties from those of standard first-order logic. In particular, infinitary logics may fail to be compact or complete. Notions of compactness and completeness that are equivalent in finitary logic sometimes are not so in infinitary logic. So for infinitary logics the notions of strong compactness and strong completeness are defined.

PropertyValue
dbpprop:abstract
  • An infinitary logic is a logic that allows infinitely long statements and/or infinitely long proofs. Some infinitary logics may have different properties from those of standard first-order logic. In particular, infinitary logics may fail to be compact or complete. Notions of compactness and completeness that are equivalent in finitary logic sometimes are not so in infinitary logic. So for infinitary logics the notions of strong compactness and strong completeness are defined. In this article we shall be concerned with Hilbert-type infinitary logics, as these have been extensively studied and constitute the most straightforward extensions of finitary logic. These are not, however, the only infinitary logics that have been formulated or studied. Considering whether a certain infinitary logic named Ω-logic is complete promises to throw light on the continuum hypothesis.
dbpprop:hasPhotoCollection
rdf:type
rdfs:comment
  • An infinitary logic is a logic that allows infinitely long statements and/or infinitely long proofs. Some infinitary logics may have different properties from those of standard first-order logic. In particular, infinitary logics may fail to be compact or complete. Notions of compactness and completeness that are equivalent in finitary logic sometimes are not so in infinitary logic. So for infinitary logics the notions of strong compactness and strong completeness are defined.
rdfs:label
  • Infinitary logic
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of
is owl:sameAs of