On the ‘Definability of Definable’ Problem of Alfred Tarski (original) (raw)
Related papers
Definable Sets in Generic Structures and their Cardinalities
Siberian Advances in Mathematics, 2018
2 Pointwise Definable Models of Set Theory
2016
RELATIVE DEFINABILITY (Reflection principles and set theory of large cardinals)
数理解析研究所講究録, 2014
Undefinable classes and definable elements in models of set theory and arithmetic
Proceedings of The American Mathematical Society, 1988
Pointwise definable models of set theory
The Journal of Symbolic Logic, 2013
A definable nonstandard model of the reals
Journal of Symbolic Logic, 2004
Definability, automorphisms, and infinitary languages
Lecture Notes in Mathematics, 1968
Expressibility in the elementary theory of recursively enumerable sets with realizability logic
Algebra and Logic, 1981
Universes in Type Theory Part I
2005
L O ] 3 S ep 2 01 8 A countable definable set of reals containing no definable elements ∗
2018
Submodels and definable points in models of Peano arithmetic
Notre Dame Journal of Formal Logic, 1983
A long and winding road to definable sets
Journal of Singularities, 2015
Provability in Elementary Type Theory
Mathematical Logic Quarterly - MLQ, 1974
On the Structure of Classical Realizability Models of ZF
2014
Definability in Rationals with Real Order in the Background
Journal of Logic and Computation, 2002
Universes in type theory part I—Inaccessibles and Mahlo
Logic Colloquium 2004, 2007
Decidable Fragments of the Simple Theory of Types with Infinity and NF
Notre Dame Journal of Formal Logic, 2017
2014
Two definability results in the equational context
Proceedings of the American Mathematical Society, 1989
Elementary Equivalence and Constructible Models of Zermelo-Fraenkel Set Theory
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
1 Definability in classes of finite structures
2011
Definable sets in ordered structures. III
Transactions of the American Mathematical Society, 1988
Models of set theory with definable ordinals
Archive for Mathematical Logic, 2005
A definability theorem for first order logic
1997
Chapter XVII: Set-Theoretic Definability of Logics
1985
Definability and undefinability with real order at the background
The Journal of Symbolic Logic, 2000
Existentially Closed Models in the Framework of Arithmetic
Journal of Symbolic Logic, 2016
Definable Sets in Ordered Structures. II
Transactions of the American Mathematical Society, 1986
Definable Operations on Sets and Elimination of Imaginaries
2013
DefinableE0classes at arbitrary projective levels
Annals of Pure and Applied Logic, 2018
An Isomorphism Between Monoids of External Embeddings: About Definability in Arithmetic
Journal of Symbolic Logic, 2002
Definable Sets in Ordered Structures. I
Transactions of The American Mathematical Society, 1986
Realizability in classical logic
2007
Forcing and generalized quantifiers
Annals of Mathematical Logic, 1973
Some Model Theoretic Properties of Non-AC Generic Structures
arXiv: Logic, 2016