Witnessing differences without redundancies

DOI10.1090/S0002-9939-97-03630-7MaRDI QIDQ4332986zbMATH OpenOpenAlexFDO

Authors Alberto Policriti, K. P. S. Bhaskara Rao, Franco Parlamento

Publication date 19 February 1997

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/s0002-9939-97-03630-7

zbMATH Keywords

witnessing differences of pairwise distinct sets

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Axiom of choice and related propositions (03E25)

Recommendations

• Witness Sets
• Witness sets for families of binary vectors
• scientific article; zbMATH DE number 874214
• Finite families with few symmetric differences
• Bounding one-way differences

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)