Zum Eliminationsproblem der mathematischen Logik

DOI10.1007/BF01472201MaRDI QIDQ1840347zbMATH OpenFDO

Authors Wilhelm Ackermann

Publication date 1935

Published in Mathematische Annalen (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/159757

zbMATH Keywords

logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• Untersuchungen über das Eliminationsproblem der mathematischen Logik

Cited in

(4)

• Second-order quantifier elimination on relational monadic formulas -- a basic method and some less expected applications
• Bases for first-order theories and subtheories
• A NOTE ON CHOICE PRINCIPLES IN SECOND-ORDER LOGIC
• Symbol elimination and applications to parametric entailment problems

This page was built for publication: Zum Eliminationsproblem der mathematischen Logik

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