Expressing infinity without foundation

DOI10.2307/2275470zbMath0744.03051OpenAlexW2026387431MaRDI QIDQ3984401

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 infinityaxiom of foundationrestricted universal quantifiers

Mathematics Subject Classification ID

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

Related Items (7)

Decidability and completeness for open formulas of membership theories ⋮ The decidability of the \(\forall ^*\exists\) class and the axiom of foundation ⋮ Set-syllogistics meet combinatorics ⋮ The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability ⋮ Goals and benchmarks for automated map reasoning ⋮ Layered map reasoning ⋮ A derived algorithm for evaluating \(\varepsilon\)-expressions over abstract sets

Cites Work

• Unnamed Item

This page was built for publication: Expressing infinity without foundation