Experimental logics and Π30 theories

DOI10.2307/2271872zbMATH Open0428.03043OpenAlexW1541247771MaRDI QIDQ3864508FDOQ3864508

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

• Title not available (Why is that?)
• Experimental logics and \(\Delta^0_2\)-theories

Cited In (6)

• Epistemic entrenchment and arithmetical hierarchy
• Trial and error mathematics. I: Dialectical and quasidialectical 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
• Logic and probabilistic systems
• 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)