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

DOI10.2307/2047726MaRDI QIDQ3469099zbMATH OpenOpenAlexWikidataFDO

Authors 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)

Cited in

(3)

• The Logically Simplest Form of the Infinity Axiom
• The decidability of the ^* class and the axiom of foundation
• Deciding simple infinity axiom sets with one binary relation by means of superpostulates

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

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