Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski

DOI10.2307/421074zbMath0959.01001OpenAlexW2788782666MaRDI QIDQ4953233

Hourya Benis Sinaceur

Publication date: 6 May 2001

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

Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0601-toc.htm

zbMATH Keywords

decision problemsA. Tarski

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Related Items

Undecidable iterative propositional calculus ⋮ Two Unpublished Contributions by Alfred Tarski ⋮ Tarski's theory of definability: Common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic ⋮ What languages have Tarski truth definitions? ⋮ The undecidability of propositional adaptive logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A portrait of Alfred Tarski
• The decision problem for exponential diophantine equations
• Descriptive set theory
• Iterated Cohen extensions and Souslin's problem
• The logic of quantum mechanics
• Solvable cases of the decision problem
• On the Word Problem for Orthocomplemented Modular Lattices
• What are logical notions?
• Alfred Tarski and decidable theories
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
• Transfinite recursive progressions of axiomatic theories
• An Unsolvable Problem of Elementary Number Theory
• A note on the Entscheidungsproblem
• Extensions of some theorems of Gödel and Church
• Definability and decision problems in arithmetic
• A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology