Elimination problems in logic: a brief history

DOI10.1007/s11229-008-9352-4zbMath1169.03002MaRDI QIDQ1024114

J. Martínez

Publication date: 16 June 2009

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-008-9352-4

zbMATH Keywords

monadic second-order logic; Boolean equations; Boole; atomless and atomic Boolean algebras; elimination of variables and quantifiers; Schröder; Skolem

Mathematics Subject Classification ID

01A60: History of mathematics in the 20th century

03B10: Classical first-order logic

03-03: History of mathematical logic and foundations

01A55: History of mathematics in the 19th century

03G05: Logical aspects of Boolean algebras

03C40: Interpolation, preservation, definability

03C10: Quantifier elimination, model completeness, and related topics