A problem concerning the notion of definability

DOI10.2307/2267331zbMath0029.24205OpenAlexW2001897405MaRDI QIDQ5785176

Alfred Tarski

Publication date: 1948

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2267331

zbMATH Keywords

Philosophy and foundations of mathematics

Related Items

On the ‘definability of definable’ problem of Alfred Tarski, Part II, Tarski's theory of definability: Common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic, Tarski's 1944 polemical remarks and Naess' ``experimental philosophy, Proof Complexity of Non-classical Logics, Definability, decidability, complexity, Arithmetical Predicates and Function Quantifiers