Expressing infinity without foundation

DOI10.2307/2275470zbMATH Open0744.03051OpenAlexW2026387431MaRDI QIDQ3984401FDOQ3984401

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

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

zbMATH Keywords

axiom of foundationaxiom of infinityrestricted universal quantifiers

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)

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 \(\forall ^*\exists\) class and the axiom of foundation
• Set-syllogistics meet combinatorics
• A derived algorithm for evaluating \(\varepsilon\)-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)