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

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

Cited in

(6)

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

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)