On the ‘Definability of Definable’ Problem of Alfred Tarski (original) (raw)

Definable Sets in Generic Structures and their Cardinalities

Petros Stefaneas

Siberian Advances in Mathematics, 2018

View PDFchevron_right

2 Pointwise Definable Models of Set Theory

Jonas Reitz

2016

View PDFchevron_right

RELATIVE DEFINABILITY (Reflection principles and set theory of large cardinals)

David Asperó

数理解析研究所講究録, 2014

View PDFchevron_right

Undefinable classes and definable elements in models of set theory and arithmetic

Ali Enayat

Proceedings of The American Mathematical Society, 1988

View PDFchevron_right

Pointwise definable models of set theory

Jonas Reitz

The Journal of Symbolic Logic, 2013

View PDFchevron_right

A definable nonstandard model of the reals

Vladimir Kanovei

Journal of Symbolic Logic, 2004

View PDFchevron_right

Definability, automorphisms, and infinitary languages

David Kueker

Lecture Notes in Mathematics, 1968

View PDFchevron_right

Expressibility in the elementary theory of recursively enumerable sets with realizability logic

Rein Prank

Algebra and Logic, 1981

View PDFchevron_right

Universes in Type Theory Part I

Toni Setzer

2005

View PDFchevron_right

L O ] 3 S ep 2 01 8 A countable definable set of reals containing no definable elements ∗

Vassily Lyubetsky

2018

View PDFchevron_right

Submodels and definable points in models of Peano arithmetic

Zarko Mijajlovic

Notre Dame Journal of Formal Logic, 1983

View PDFchevron_right

A long and winding road to definable sets

Zofia Denkowska

Journal of Singularities, 2015

View PDFchevron_right

Provability in Elementary Type Theory

Peter Andrews

Mathematical Logic Quarterly - MLQ, 1974

View PDFchevron_right

On the Structure of Classical Realizability Models of ZF

Jean-Louis Krivine

2014

View PDFchevron_right

Definability in Rationals with Real Order in the Background

Alexander Rabinovich

Journal of Logic and Computation, 2002

View PDFchevron_right

Universes in type theory part I—Inaccessibles and Mahlo

Anton Setzer

Logic Colloquium 2004, 2007

View PDFchevron_right

Decidable Fragments of the Simple Theory of Types with Infinity and NF

Thomas Forster

Notre Dame Journal of Formal Logic, 2017

View PDFchevron_right

Relative Definability

David Asperó

2014

View PDFchevron_right

Two definability results in the equational context

Michel Hebert

Proceedings of the American Mathematical Society, 1989

View PDFchevron_right

Elementary Equivalence and Constructible Models of Zermelo-Fraenkel Set Theory

Robert Cowen

Zeitschrift für Mathematische Logik und Grundlagen der Mathematik

View PDFchevron_right

1 Definability in classes of finite structures

Charles Steinhorn

2011

View PDFchevron_right

Definable sets in ordered structures. III

Charles Steinhorn

Transactions of the American Mathematical Society, 1988

View PDFchevron_right

Models of set theory with definable ordinals

Ali Enayat

Archive for Mathematical Logic, 2005

View PDFchevron_right

A definability theorem for first order logic

Carsten Butz

1997

View PDFchevron_right

Chapter XVII: Set-Theoretic Definability of Logics

Jouko Väänänen

1985

View PDFchevron_right

Definability and undefinability with real order at the background

Alexander Rabinovich

The Journal of Symbolic Logic, 2000

View PDFchevron_right

Existentially Closed Models in the Framework of Arithmetic

Zofia Adamowicz

Journal of Symbolic Logic, 2016

View PDFchevron_right

Definable Sets in Ordered Structures. II

Charles Steinhorn

Transactions of the American Mathematical Society, 1986

View PDFchevron_right

Definable Operations on Sets and Elimination of Imaginaries

Jan Holly

2013

View PDFchevron_right

DefinableE0classes at arbitrary projective levels

Vassily Lyubetsky

Annals of Pure and Applied Logic, 2018

View PDFchevron_right

An Isomorphism Between Monoids of External Embeddings: About Definability in Arithmetic

Mihai Prunescu

Journal of Symbolic Logic, 2002

View PDFchevron_right

Definable Sets in Ordered Structures. I

Anand Pillai

Transactions of The American Mathematical Society, 1986

View PDFchevron_right

Realizability in classical logic

Jean-Louis Krivine

2007

View PDFchevron_right

Forcing and generalized quantifiers

Jean-Louis Krivine

Annals of Mathematical Logic, 1973

View PDFchevron_right

Some Model Theoretic Properties of Non-AC Generic Structures

Ali VALIZADEH

arXiv: Logic, 2016

View PDFchevron_right