Witnessing differences without redundancies
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3957109 (Why is no real title available?)
- scientific article; zbMATH DE number 50150 (Why is no real title available?)
- Induced subsets
- THE DECISION PROBLEM FOR RESTRICTED UNIVERSAL QUANTIFICATION IN SET THEORY AND THE AXIOM OF FOUNDATION
- The Logically Simplest Form of the Infinity Axiom
Cited in
(8)- Witness sets for families of binary vectors
- Decidability of ∀*∀‐Sentences in Membership Theories
- The decidability of the \(\forall ^*\exists\) class and the axiom of foundation
- Decidability and completeness for open formulas of membership theories
- Automata theory on sliding windows
- Witness Sets
- Truth In V for ∃*∀∀-Sentences is Decidable
- The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability
This page was built for publication: Witnessing differences without redundancies
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4332986)