On interpretability between some weak essentially undecidable theories
From MaRDI portal
Publication:2106592
DOI10.1007/978-3-030-51466-2_6OpenAlexW3037622231MaRDI QIDQ2106592FDOQ2106592
Authors: Lars Kristiansen, Juvenal Murwanashyaka 
Publication date: 16 December 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-51466-2_6
Cites Work
- Undecidable theories
- Growing commas. A study of sequentiality and concatenation
- Title not available (Why is that?)
- Variants of Robinson's essentially undecidable theoryR
- An interpretation of Robinson arithmetic in its Grzegorczyk's weaker variant
- Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\)
- Title not available (Why is that?)
- First-order concatenation theory with bounded quantifiers
- FINDING THE LIMIT OF INCOMPLETENESS I
- Recursive functions and existentially closed structures
- MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY
Cited In (9)
- Weak essentially undecidable theories of concatenation
- BI-INTERPRETATION IN WEAK SET THEORIES
- Interpretability degrees of finitely axiomatized sequential theories
- Weak sequential theories of finite full binary trees
- A weak theory of building blocks
- TREE THEORY: INTERPRETABILITY BETWEEN WEAK FIRST-ORDER THEORIES OF TREES
- MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES
- Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\)
- Title not available (Why is that?)
This page was built for publication: On interpretability between some weak essentially undecidable theories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2106592)
