Alfred Tarski and decidable theories
From MaRDI portal
Publication:3791109
DOI10.2307/2274425zbMath0647.03001OpenAlexW4236098198MaRDI QIDQ3791109
Publication date: 1988
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274425
History of mathematics in the 20th century (01A60) Decidability of theories and sets of sentences (03B25) History of mathematical logic and foundations (03-03) Quantifier elimination, model completeness, and related topics (03C10) Categoricity and completeness of theories (03C35)
Related Items
Synthetic undecidability and incompleteness of first-order axiom systems in Coq. Extended version ⋮ Unnamed Item ⋮ Invariants, Boolean algebras and ACA₀⁺ ⋮ Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski
