Elimination problems in logic: a brief history

DOI10.1007/S11229-008-9352-4MaRDI QIDQ1024114zbMATH OpenOpenAlexFDO

Authors 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

Boolemonadic second-order logicBoolean equationsatomless and atomic Boolean algebraselimination of variables and quantifiers[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=Schr%EF%BF%BD%EF%BF%BDder&go=Go Schr��der]Skolem

Mathematics Subject Classification ID

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

Recommendations

• Publication:4946227
• Second-order quantifier elimination. Foundations, computational aspects and applications
• Second-order quantifier elimination on relational monadic formulas -- a basic method and some less expected applications
• Non-effective quantifier elimination
• scientific article; zbMATH DE number 3918343
• Logical equations in monadic logic
• Quantifier elimination in the elementary theory of real closed fields: remarkable history, actual present.
• Towards incorporating background theories into quantifier elimination
• Relational Methods in Computer Science
• Very intuitionistic theories and quantifier elimination

Cites work

• scientific article; zbMATH DE number 5838699 (Why is no real title available?)
• scientific article; zbMATH DE number 3122413 (Why is no real title available?)
• Bases for first-order theories and subtheories
• Completeness in the theory of types
• Grundlagen der Mathematik I
• Untersuchungen über das Eliminationsproblem der mathematischen Logik

Cited in

(4)

• Elimination Theorems of Uniqueness Conditions
• scientific article; zbMATH DE number 1421198 (Why is no real title available?)
• scientific article; zbMATH DE number 3296224 (Why is no real title available?)
• Second-order quantifier elimination on relational monadic formulas -- a basic method and some less expected applications

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1024114)