Interpretability in Robinson's Q

DOI10.2178/bsl.1903010zbMath1325.03072OpenAlexW2034897560MaRDI QIDQ2870105

Gilda Ferreira, Fernando Ferreira

Publication date: 17 January 2014

Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10400.2/10486

zbMATH Keywords

exponentiation in arithmeticinterpretability of theoriesphilosophy of logic and foundationsRobison's arithmetic Qtheory of analysistheory of arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25)

Related Items (8)

MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES ⋮ The enhanced indispensability argument, the circularity problem, and the interpretability strategy ⋮ Bounded theories for polyspace computability ⋮ MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY ⋮ CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS ⋮ The implicit commitment of arithmetical theories and its semantic core ⋮ FINDING THE LIMIT OF INCOMPLETENESS I ⋮ The finitistic consistency of Heck's predicative Fregean system

This page was built for publication: Interpretability in Robinson's Q