Trial and error mathematics: Dialectical systems and completions of theories
From MaRDI portal
Publication:3120211
DOI10.1093/logcom/exy033zbMath1444.03142arXiv1810.07103OpenAlexW2897530935WikidataQ128816092 ScholiaQ128816092MaRDI QIDQ3120211
Andrea Sorbi, Duccio Pianigiani, Jacopo Amidei, Uri Andrews, Luca San Mauro
Publication date: 1 March 2019
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1810.07103
Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Applications of computability and recursion theory (03D80) Logic in the philosophy of science (03A10) Hierarchies of computability and definability (03D55)