DECIDABILITY, UNDECIDABILITY, AND GÖDEL'S INCOMPLETENESS IN RELATIVITY THEORIES
From MaRDI portal
Publication:2842652
DOI10.1142/S0129626412400117zbMath1288.03032MaRDI QIDQ2842652
Istvan Németi, Judit X. Madarász, Hajnalka Andréka
Publication date: 16 August 2013
Published in: Parallel Processing Letters (Search for Journal in Brave)
Methods of quantum field theory in general relativity and gravitational theory (83C47) Decidability of theories and sets of sentences (03B25) Consistency and independence results (03E35) Foundations of classical theories (including reverse mathematics) (03B30) Gödel numberings and issues of incompleteness (03F40)
Related Items
Cites Work