TREE THEORY: INTERPRETABILITY BETWEEN WEAK FIRST-ORDER THEORIES OF TREES
From MaRDI portal
Publication:6199173
DOI10.1017/bsl.2023.5MaRDI QIDQ6199173
Publication date: 23 February 2024
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) First-order arithmetic and fragments (03F30) Relative consistency and interpretations (03F25)
Cites Work
This page was built for publication: TREE THEORY: INTERPRETABILITY BETWEEN WEAK FIRST-ORDER THEORIES OF TREES