Statements of ill-founded infinity in set theory

MaRDI QIDQ3172128zbMATH OpenFDO

Authors Alberto Policriti, Alexandru I. Tomescu, Eugenio Omodeo

Publication date 5 October 2011

zbMATH Keywords

computable set theorydecision algorithmsinfinity axiomnon-well-founded setssatisfiability

Mathematics Subject Classification ID

Other set-theoretic hypotheses and axioms (03E65)

Recommendations

• Infinity, in short
• Stating infinity in set/hyperset theory
• Solvable set/hyperset contexts: I. Some decision procedures for the pure, finite case
• THE DECISION PROBLEM FOR RESTRICTED UNIVERSAL QUANTIFICATION IN SET THEORY AND THE AXIOM OF FOUNDATION
• Undecidability results for restricted universally quantified formulae of set theory

Cited in

(4)

• Set-syllogistics meet combinatorics
• Stating infinity in set/hyperset theory
• Expressing infinity without foundation
• Infinity, in short

This page was built for publication: Statements of ill-founded infinity in set theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3172128)