scientific article; zbMATH DE number 845472

MaRDI QIDQ4865517zbMATH OpenFDO

Authors Michail R. Tetruashvili

Publication date 26 February 1996

Full work available at URL https://eudml.org/doc/47540, http://www.emis.de/journals/GMJ/vol3/contents.htm

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

complexitydecidabilityquantifier-free set theory

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15)

Recommendations

• scientific article; zbMATH DE number 4152340
• scientific article; zbMATH DE number 23190
• scientific article; zbMATH DE number 679898
• Publication:3489978
• scientific article; zbMATH DE number 3845566
• Undecidability results for restricted universally quantified formulae of set theory
• scientific article; zbMATH DE number 4012568
• Union-freeness, deterministic union-freeness and union-complexity
• Publication:4731166
• scientific article; zbMATH DE number 4116512

Cites work

• Decision procedures for elementary sublanguages of set theory. I. Multi-level syllogistic and some extensions
• Decision procedures for elementary sublanguages of set theory. III: Restricted classes of formulas involving the power set operator and the general set union operator
• scientific article; zbMATH DE number 4012568 (Why is no real title available?)

Cited in

(12)

• Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator
• Union-freeness, deterministic union-freeness and union-complexity
• Complexity assessments for decidable fragments of Set Theory. III: Testers for crucial, polynomial-maximal decidable Boolean languages
• On the complexity of identifying head-elementary-set-free programs
• scientific article; zbMATH DE number 4152340 (Why is no real title available?)
• scientific article; zbMATH DE number 4012568 (Why is no real title available?)
• scientific article; zbMATH DE number 4108742 (Why is no real title available?)
• scientific article; zbMATH DE number 23190 (Why is no real title available?)
• Undecidability results for restricted universally quantified formulae of set theory
• scientific article; zbMATH DE number 679898 (Why is no real title available?)
• scientific article; zbMATH DE number 892081 (Why is no real title available?)
• Decision procedures for elementary sublanguages of set theory. III: Restricted classes of formulas involving the power set operator and the general set union operator

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 Q4865517)