scientific article; zbMATH DE number 1765710

zbMATH Open0988.68591MaRDI QIDQ4539652FDOQ4539652

Jörg Lücke

Publication date: 10 July 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2083/20830690

Title of this publication is not available (Why is that?)

Recommendations

• Decision procedures for elementary sublanguages of set theory: XI. Multilevel syllogistic extended by some elementary map constructs
• scientific article; zbMATH DE number 1641581
• Decision procedures for elementary sublanguages of set theory: X. Multilevel syllogistic extended by the singleton and powerset operators
• Decision procedures for elementary sublanguages of set theory. XV: Multilevel syllogistic extended by the predicate Finite and the operators singleton and \(pred_ <\)
• scientific article; zbMATH DE number 3983142

zbMATH Keywords

first-order logicdecision proceduresset theory

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Set theory (03E99)

Cited In (1)

• Hilberticus

This page was built for publication:

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