A note on the \(\omega\)-incompleteness formalization

DOI10.1007/BF01057935zbMath0813.03039MaRDI QIDQ1337603

Sergio Galvan

Publication date: 10 November 1994

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

formal theory containing primitive recursive arithmeticomega-consistencyomega-incompleteness

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Cites Work

• Unnamed Item