Note on "The Logically Simplest Form of the Infinity Axiom"

DOI10.2307/2047726zbMath0694.03031OpenAlexW2068930233WikidataQ114589829 ScholiaQ114589829MaRDI QIDQ3469099

Alberto Policriti, Franco Parlamento

Publication date: 1990

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/61ebb42857e53196449b8a32ac9128f9a1c9f7f5

zbMATH Keywords

expressing the existence of infinite sets in the first order set theoretic language

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Axiomatics of classical set theory and its fragments (03E30)

Related Items (1)

The decidability of the \(\forall ^*\exists\) class and the axiom of foundation

This page was built for publication: Note on "The Logically Simplest Form of the Infinity Axiom"