Elimination problems in logic: a brief history

DOI10.1007/S11229-008-9352-4zbMATH Open1169.03002OpenAlexW2061497937MaRDI QIDQ1024114FDOQ1024114

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Completeness in the theory of types
• Grundlagen der Mathematik I
• Untersuchungen über das Eliminationsproblem der mathematischen Logik
• Bases for first-order theories and subtheories

Cited In (4)

• Elimination Theorems of Uniqueness Conditions
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)