This paper considers ∃∗∀∗ prenex sentences of pure first-order predicate calculus with equality. This is the set of formulas which Ramsey's treated in a famous article of 1930. We demonstrate that the satisfiability problem and the problem of existence of arbitrarily large models for these formulas can be reduced to the satisfiability problem for ∃∗∀∗ prenex sentences of Set Theory (in the relators ∈, =). We present two satisfiability-preserving (in a broad sense) translations Φ → Φ and Φ → Φσ of ∃∗∀∗ sentences from pure logic to well-founded Set Theory, so that if is satisfiable (in the domain of Set Theory) then so is Φ, and if Φσ is satisfiable (again, in the domain of Set Theory) then Φ can be satisfied in arbitrarily large finite structures of pure logic. It turns out that |Φ | = O(|Φ|) and |Φσ| = O(|Φ|2). Our main result makes use of the fact that ∃∗∀∗ sentences, even though constituting a decidable fragment of Set Theory, offer ways to describe infinite sets. Such a possibility is exploited to glue together infinitely many models of increasing cardinalities of a given ∃∗∀∗ logical formula, within a single pair of infinite sets.
Set-syllogistics meet combinatorics
Omodeo E. G.
;
2017-01-01
Abstract
This paper considers ∃∗∀∗ prenex sentences of pure first-order predicate calculus with equality. This is the set of formulas which Ramsey's treated in a famous article of 1930. We demonstrate that the satisfiability problem and the problem of existence of arbitrarily large models for these formulas can be reduced to the satisfiability problem for ∃∗∀∗ prenex sentences of Set Theory (in the relators ∈, =). We present two satisfiability-preserving (in a broad sense) translations Φ → Φ and Φ → Φσ of ∃∗∀∗ sentences from pure logic to well-founded Set Theory, so that if is satisfiable (in the domain of Set Theory) then so is Φ, and if Φσ is satisfiable (again, in the domain of Set Theory) then Φ can be satisfied in arbitrarily large finite structures of pure logic. It turns out that |Φ | = O(|Φ|) and |Φσ| = O(|Φ|2). Our main result makes use of the fact that ∃∗∀∗ sentences, even though constituting a decidable fragment of Set Theory, offer ways to describe infinite sets. Such a possibility is exploited to glue together infinitely many models of increasing cardinalities of a given ∃∗∀∗ logical formula, within a single pair of infinite sets.File | Dimensione | Formato | |
---|---|---|---|
post print.pdf
accesso aperto
Tipologia:
Bozza finale post-referaggio (post-print)
Licenza:
Copyright Editore
Dimensione
532.25 kB
Formato
Adobe PDF
|
532.25 kB | Adobe PDF | Visualizza/Apri |
omodeo2015.pdf
Accesso chiuso
Tipologia:
Documento in Versione Editoriale
Licenza:
Copyright Editore
Dimensione
703.76 kB
Formato
Adobe PDF
|
703.76 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.