On the ‘definability of definable’ problem of Alfred Tarski, Part II

DOI10.1090/tran/8710OpenAlexW4300817397MaRDI QIDQ5045614

Kanovei, Vladimir, Vassily Lyubetsky

Publication date: 7 November 2022

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/tran/8710

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Other notions of set-theoretic definability (03E47) Type theory (03B38)

Related Items (1)

On Russell typicality in set theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraicity and implicit definability in set theory
• Cardinal characteristics, projective wellorders and large continuum
• Tarski's theory of definability: Common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic
• Undefinability of truth and nonstandard models
• Surrealist landscape with figures (a survey of recent results in set theory)
• Homogeneous iteration and measure one covering relative to HOD
• Descriptive set theory
• Fine structure and class forcing
• Ordinal definable subsets of singular cardinals
• Ehrenfeucht's lemma in set theory
• Definability, decidability, complexity
• Typicality à la Russell in set theory
• Definable \(\mathsf{E}_0\) classes at arbitrary projective levels
• The full basis theorem does not imply analytic wellordering
• Undefinability of truth. the problem of priority:tarski vs gödel
• Constructibility and Class Forcing
• Arithmetical Predicates and Function Quantifiers
• Recursive Functionals and Quantifiers of Finite Types I
• Hyperclass Forcing in Morse-Kelley Class Theory
• Computability and Logic
• Δ31 reals
• One hundred and two problems in mathematical logic
• The Bristol model: An abyss called a Cohen real
• Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes
• The Hyperuniverse Project and Maximality
• DEFINABLE MINIMAL COLLAPSE FUNCTIONS AT ARBITRARY PROJECTIVE LEVELS
• A new construction of non-constructible ${Δ^1}_3$ subset of ω
• Set Theory
• Ordinal definability and combinatorics of equivalence relations
• CANONICAL MODELS FOR FRAGMENTS OF THE AXIOM OF CHOICE
• Projective Measure Without Projective Baire
• Models of set theory in which the separation theorem fails
• A Groszek‐Laver pair of undistinguishable ‐classes
• An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited
• A model of second-order arithmetic satisfying AC but not DC
• Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy
• A problem concerning the notion of definability

This page was built for publication: On the ‘definability of definable’ problem of Alfred Tarski, Part II