Witnessing differences without redundancies

DOI10.1090/S0002-9939-97-03630-7zbMATH Open0857.03027OpenAlexW1538623678MaRDI QIDQ4332986FDOQ4332986

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)

Cites Work

• Induced subsets
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Logically Simplest Form of the Infinity Axiom
• THE DECISION PROBLEM FOR RESTRICTED UNIVERSAL QUANTIFICATION IN SET THEORY AND THE AXIOM OF FOUNDATION

Cited In (7)

• The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability
• Truth In V for ∃*∀∀-Sentences is Decidable
• Decidability of ∀*∀‐Sentences in Membership Theories
• Decidability and completeness for open formulas of membership theories
• Witness sets for families of binary vectors
• The decidability of the \(\forall ^*\exists\) class and the axiom of foundation
• Title not available (Why is that?)

   Recommendations

• Witness Sets 👍 👎
• Witness sets for families of binary vectors 👍 👎
• Title not available (Why is that?) 👍 👎
• Finite families with few symmetric differences 👍 👎
• Bounding one-way differences 👍 👎

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)