Witnessing differences without redundancies

DOI10.1090/S0002-9939-97-03630-7zbMath0857.03027OpenAlexW1538623678MaRDI QIDQ4332986

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)

Related Items (6)

Unnamed Item ⋮ Decidability and completeness for open formulas of membership theories ⋮ The decidability of the \(\forall ^*\exists\) class and the axiom of foundation ⋮ Decidability of ∀*∀‐Sentences in Membership Theories ⋮ The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability ⋮ Truth In V for ∃*∀∀-Sentences is Decidable

Cites Work

• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Witnessing differences without redundancies