The Logically Simplest Form of the Infinity Axiom

DOI10.2307/2047565MaRDI QIDQ4729777zbMATH OpenOpenAlexFDO

Authors 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 setexpressing the existence of infinite sets in the first order set theoretic languagetheoretic language

Mathematics Subject Classification ID

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

Recommendations

• Note on "The Logically Simplest Form of the Infinity Axiom"
• The logic of infinity
• The axiom of infinity in Quine's New Foundations
• scientific article; zbMATH DE number 6274833
• L'axiome de l'infini dans NFU
• scientific article; zbMATH DE number 3952742
• Completeness of the infinitary polyadic axiomatization
• FINITIST AXIOMATIC TRUTH
• Nice infinitary logics
• scientific article; zbMATH DE number 3185949

Cites work

• Decision procedures for elementary sublanguages of set theory. II. Formulas involving restricted quantifiers, together with ordinal, integer, map, and domain notions
• scientific article; zbMATH DE number 3652325 (Why is no real title available?)
• scientific article; zbMATH DE number 3627183 (Why is no real title available?)

Cited in

(7)

• The automation of syllogistic. II: Optimization and complexity issues
• Deciding simple infinity axiom sets with one binary relation by means of superpostulates
• Formative processes with applications to the decision problem in set theory. II. Powerset and singleton operators, finiteness predicate
• The Bernays-Schönfinkel-Ramsey class for set theory: decidability
• Set-syllogistics meet combinatorics
• Witnessing differences without redundancies
• A practical decision procedure for quantifier-free, decidable languages extended with restricted quantifiers

This page was built for publication: 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 Q4729777)