Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Semantic Completeness of First-Order Theories in Constructive Reverse Mathematics
Stockholms universitet, Naturvetenskapliga fakulteten, Matematiska institutionen.
2016 (Engelska)Ingår i: Notre Dame Journal of Formal Logic, ISSN 0029-4527, E-ISSN 1939-0726, Vol. 57, nr 2, s. 281-286Artikel i tidskrift (Refereegranskat) Published
Abstract [en]

We introduce a general notion of semantic structure for first-order theories, covering a variety of constructions such as Tarski and Kripke semantics, and prove that, over Zermelo–Fraenkel set theory (ZF), the completeness of such semantics is equivalent to the Boolean prime ideal theorem (BPI). Using a result of McCarty (2008), we conclude that the completeness of Kripke semantics is equivalent, over intuitionistic Zermelo–Fraenkel set theory (IZF), to the Law of Excluded Middle plus BPI. Along the way, we also prove the equivalence, over ZF, between BPI and the completeness theorem for Kripke semantics for both first-order and propositional theories.

Ort, förlag, år, upplaga, sidor
2016. Vol. 57, nr 2, s. 281-286
Nyckelord [en]
completeness, constructive reverse mathematics, Kripke semantics, algebraic semantics
Nationell ämneskategori
Algebra och logik
Forskningsämne
matematisk logik
Identifikatorer
URN: urn:nbn:se:su:diva-130536DOI: 10.1215/00294527-3470433ISI: 000378164700008OAI: oai:DiVA.org:su-130536DiVA, id: diva2:930784
Tillgänglig från: 2016-05-25 Skapad: 2016-05-25 Senast uppdaterad: 2017-11-30Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltext

Sök vidare i DiVA

Av författaren/redaktören
Espíndola, Christian
Av organisationen
Matematiska institutionen
I samma tidskrift
Notre Dame Journal of Formal Logic
Algebra och logik

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 70 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf