TREE THEORY: Interpretability Between Weak First-Order Theories of Trees

Bulletin of Symbolic Logic:1-80 (forthcoming)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/bsl.2023.5

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,164

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

First-order theories of bounded trees.Ruaan Kellerman - 2021 - Archive for Mathematical Logic 61 (1):263-297.
A generalized notion of weak interpretability and the corresponding modal logic.Giorgie Dzhaparidze - 1993 - Annals of Pure and Applied Logic 61 (1-2):113-160.
Mutual Interpretability of Weak Essentially Undecidable Theories.Zlatan Damnjanovic - 2022 - Journal of Symbolic Logic 87 (4):1374-1395.
Classes and theories of trees associated with a class of linear orders.Valentin Goranko & Ruaan Kellerman - 2011 - Logic Journal of the IGPL 19 (1):217-232.
Complexity of the interpretability logics ILW and ILP.Luka Mikec - 2023 - Logic Journal of the IGPL 31 (1):194-213.
Minimal truth and interpretability.Martin Fischer - 2009 - Review of Symbolic Logic 2 (4):799-815.
On the existence of indiscernible trees.Kota Takeuchi & Akito Tsuboi - 2012 - Annals of Pure and Applied Logic 163 (12):1891-1902.
Approximating trees as coloured linear orders and complete axiomatisations of some classes of trees.Ruaan Kellerman & Valentin Goranko - 2021 - Journal of Symbolic Logic 86 (3):1035-1065.
Essential Kurepa trees versus essential Jech–Kunen trees.Renling Jin & Saharon Shelah - 1994 - Annals of Pure and Applied Logic 69 (1):107-131.
Sheaf recursion and a separation theorem.Nathanael Leedom Ackerman - 2014 - Journal of Symbolic Logic 79 (3):882-907.
The Future of Systematics: Tree Thinking without the Tree.Joel D. Velasco - 2012 - Philosophy of Science 79 (5):624-636.
On wide Aronszajn trees in the presence of ma.Mirna Džamonja & Saharon Shelah - 2021 - Journal of Symbolic Logic 86 (1):210-223.
A first-order axiomatization of the theory of finite trees.Rolf Backofen, James Rogers & K. Vijay-Shanker - 1995 - Journal of Logic, Language and Information 4 (1):5-39.
Mutual interpretability of Robinson arithmetic and adjunctive set theory with extensionality.Zlatan Damnjanovic - 2017 - Bulletin of Symbolic Logic 23 (4):381-404.
Extension and Interpretability.Albert Visser - 2021 - In Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour (eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir. Springer. pp. 53-92.

Analytics

Added to PP
2023-02-12

Downloads
15 (#889,556)

6 months
8 (#283,518)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Zlatan Damnjanovic
University of Southern California

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references