Expressing infinity without foundation
From MaRDI portal
Publication:3984401
DOI10.2307/2275470zbMath0744.03051MaRDI 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
03E30: Axiomatics of classical set theory and its fragments
Related Items
Layered map reasoning, Goals and benchmarks for automated map reasoning, A derived algorithm for evaluating \(\varepsilon\)-expressions over abstract sets, The decidability of the \(\forall ^*\exists\) class and the axiom of foundation, Decidability and completeness for open formulas of membership theories, Set-syllogistics meet combinatorics, The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability
Cites Work