Expressing infinity without foundation

DOI10.2307/2275470MaRDI QIDQ3984401zbMATH OpenOpenAlexFDO

Authors Alberto Policriti, Franco Parlamento

Publication date 27 June 1992

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275470

zbMATH Keywords

axiom of foundationaxiom of infinityrestricted universal quantifiers

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30)

Recommendations

• Stating infinity in set/hyperset theory
• Unifying some notions of infinity in ZC and ZF
• Infinity, in short
• Statements of ill-founded infinity in set theory
• A theory of sets with the negation of the axiom of infinity

Cited in

(11)

• The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability
• Infinity, in short
• Layered map reasoning: an experimental approach put to trial on sets
• Assumptions of infinity
• Unifying some notions of infinity in ZC and ZF
• Decidability and completeness for open formulas of membership theories
• Stating infinity in set/hyperset theory
• The decidability of the ^* class and the axiom of foundation
• Set-syllogistics meet combinatorics
• A derived algorithm for evaluating -expressions over abstract sets
• Goals and benchmarks for automated map reasoning

This page was built for publication: Expressing infinity without foundation

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