Experimental logics and Π30 theories

DOI10.2307/2271872MaRDI QIDQ3864508zbMATH OpenOpenAlexFDO

Authors 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)

Cites work

• Experimental logics and ^0_2-theories
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)

Cited in

(8)

• On partial disjunction properties of theories containing Peano arithmetic
• Logic and probabilistic systems
• Generalizations of Gödel's incompleteness theorems for \(\Sigma_n\)-definable theories of arithmetic
• Hierarchical incompleteness results for arithmetically definable extensions of fragments of arithmetic
• Trial and error mathematics. I: Dialectical and quasidialectical systems
• Epistemic entrenchment and arithmetical hierarchy
• Comparing dialectical systems: contradiction and counterexample in belief change
• Mathematical developments of the incompleteness theorems

This page was built for publication: Experimental logics and Π₃⁰ theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3864508)