Elimination problems in logic: a brief history

DOI10.1007/S11229-008-9352-4zbMath1169.03002OpenAlexW2061497937MaRDI 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 logicBoolean equationsBooleatomless and atomic Boolean algebraselimination of variables and quantifiersSchröderSkolem

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Classical first-order logic (03B10) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55) Logical aspects of Boolean algebras (03G05) Interpolation, preservation, definability (03C40) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (1)

Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications

Cites Work

• Unnamed Item
• Unnamed Item
• Untersuchungen über das Eliminationsproblem der mathematischen Logik
• Bases for first-order theories and subtheories
• Grundlagen der Mathematik I
• Completeness in the theory of types

This page was built for publication: Elimination problems in logic: a brief history