The Logically Simplest Form of the Infinity Axiom

DOI10.2307/2047565zbMath0681.03032OpenAlexW4255884887MaRDI QIDQ4729777

Alberto Policriti, Franco Parlamento

Publication date: 1988

Full work available at URL: https://doi.org/10.2307/2047565

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Related Items (5)

The Bernays-Schönfinkel-Ramsey class for set theory: decidability ⋮ Witnessing differences without redundancies ⋮ Set-syllogistics meet combinatorics ⋮ Formative processes with applications to the decision problem in set theory. II. Powerset and singleton operators, finiteness predicate ⋮ The automation of syllogistic. II: Optimization and complexity issues

Cites Work

• Unnamed Item
• Unnamed Item
• Decision procedures for elementary sublanguages of set theory. II. Formulas involving restricted quantifiers, together with ordinal, integer, map, and domain notions

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