Cover Image

Tarskian truth theories over set theory

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Enayat, Ali
Format:	Preprint
Published:	2026
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Incompleteness of boundedly axiomatizable theories
by: Enayat, Ali, et al.
Published: (2023)

Tarskian Theories of Krivine's Classical Realisability
by: Hayashi, Daichi, et al.
Published: (2025)

Corrigendum & Addendum to: Variations on a Visserian theme
by: Enayat, Ali
Published: (2026)

Modal definability in Kripke's theory of truth
by: Walsh, James
Published: (2024)

Adequate conditionals and Kripke's theory of truth
by: Stern, Johannes
Published: (2024)

Axiomatic theories of supervaluational truth: completing the picture
by: Dopico, Pablo, et al.
Published: (2024)

Models of Set Theory: Extensions and Dead-ends
by: Enayat, Ali
Published: (2024)

The Mostowski Bridge
by: Enayat, Ali
Published: (2025)

Corrigendum & Addendum to "Categoricity-like Properties in the First Order Realm"
by: Enayat, Ali, et al.
Published: (2026)

Global choice is not conservative over local choice for Zermelo set theory
by: Glazer, Elliot
Published: (2023)

Gradualist descriptionalist set theory
by: Simmons, David
Published: (2026)

Satisfaction classes with approximate disjunctive correctness
by: Enayat, Ali
Published: (2023)

Implicative models of set theory
by: Maschio, Samuele, et al.
Published: (2023)

Fodor space in generalized descriptive set theory
by: Feldman, Ido, et al.
Published: (2026)

Choice and independence of premise rules in intuitionistic set theory
by: Frittaion, Emanuele, et al.
Published: (2024)

Class choice and the surprising weakness of Kelley-Morse set theory
by: Gitman, Victoria, et al.
Published: (2026)

Randomness via infinite computation and effective descriptive set theory
by: Carl, Merlin, et al.
Published: (2016)

Extensional realizability and choice for dependent types in intuitionistic set theory
by: Frittaion, Emanuele
Published: (2024)

An axiomatization of truth and paradoxicality
by: Castaldo, Luca
Published: (2025)

Smullyan's truth and provability
by: Kurahashi, Taishi, et al.
Published: (2024)

Very large set axioms over constructive set theories
by: Jeon, Hanul, et al.
Published: (2022)

Characterizing fragments of collection principle in set theory with model theoretic properties
by: Chen, Junhong
Published: (2025)

Descriptive set theory of separable Fréchet spaces
by: Braga, Bruno de Mendonça, et al.
Published: (2025)

Supervaluations, truth, and intuitionistic logic
by: Dopico, Pablo
Published: (2025)

Very basic set theory
by: Homan, Doeko
Published: (2023)

Definable coordinate geometries over fields, part 1: theory
by: Madarász, Judit, et al.
Published: (2025)

Some aspects of topological dynamics of Polish groups (with an introduction to descriptive set theory)
by: Melleray, Julien
Published: (2026)

Quantum set theory: quantum conditionals and order of observable
by: Ozawa, Masanao
Published: (2024)

Stable first order theories as simplicial profinite sets
by: Gavrilovich, Misha
Published: (2025)

n-dependent continuous theories and hyperdefinable sets
by: Fernández, Adrián Portillo
Published: (2024)

Every countable model of arithmetic or set theory has a pointwise-definable end extension
by: Hamkins, Joel David
Published: (2022)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
by: de Jong, Tom, et al.
Published: (2026)

Labelled growth rates of $ω$-categorical structures and applications in choiceless set theory
by: Bodor, Bertalan, et al.
Published: (2025)

Bringing closure to theory combination properties
by: Toledo, Guilherme V., et al.
Published: (2026)

Undecidability of theories of semirings with fixed points
by: Das, Anupam, et al.
Published: (2025)

Skands and coskands (The non-founded set theory with individuals and its model in the Field of all Conway numbers)
by: Lisica, Ju. T.
Published: (2025)

Asymptotic truth-value laws in many-valued logics
by: Badia, Guillermo, et al.
Published: (2023)

Completions of Restricted Complexity I, Weak Arithmetical Theories
by: Enayat, Ali, et al.
Published: (2025)

Strong negation in the theory of computable functionals TCF
by: Köpp, Nils, et al.
Published: (2022)

On proving consistency of equational theories in Bounded Arithmetic
by: Beckmann, Arnold, et al.
Published: (2022)