Experimental logics and Π30 theories

DOI10.2307/2271872zbMath0428.03043OpenAlexW1541247771MaRDI QIDQ3864508

Petr Hájek

Publication date: 1978

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2271872

zbMATH Keywords

experimental logicLindenbaum completion of Peano arithmetic

Mathematics Subject Classification ID

Computability and recursion theory (03D99) Proof theory and constructive mathematics (03F99)

Related Items

Logic and probabilistic systems ⋮ GENERALIZATIONS OF GÖDEL’S INCOMPLETENESS THEOREMS FOR ∑_n-DEFINABLE THEORIES OF ARITHMETIC ⋮ Epistemic entrenchment and arithmetical hierarchy ⋮ On partial disjunction properties of theories containing Peano arithmetic ⋮ TRIAL AND ERROR MATHEMATICS I: DIALECTICAL AND QUASIDIALECTICAL SYSTEMS ⋮ HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC

Cites Work

• Unnamed Item
• Experimental logics and \(\Delta^0_2\)-theories