✦ LIBER ✦

On the Π11-separation principle

✍ Scribed by Antonio Montalbán

Book ID: 102486051
Publisher: John Wiley and Sons
Year: 2008
Tongue: English
Weight: 203 KB
Volume: 54
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.200710049

No coin nor oath required. For personal study only.

✦ Synopsis

We study the proof-theoretic strength of the Π 1 1 -separation axiom scheme, and we show that Π 1 1 -separation lies strictly in between the Δ 1 1 -comprehension and Σ 1 1 -choice axiom schemes over RCA0.

📜 SIMILAR VOLUMES

First principle α-π energy separation

✍ G. Geudtner; Z. Gómez-Sandoval; F. Janetzko; P. Calaminic 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 46 KB

First principleσ-πenergy separation

✍ G. Geudtner; Z. Gómez-Sandoval; F. Janetzko; P. Calaminici 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 160 KB

Unraveling Π11 sets

✍ Itay Neeman 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 463 KB

We construct coverings which unravel given 1 1 sets. This in turn is used to prove, from optimal large cardinal assumptions, the determinacy of games with A 1 1 payo and the determinacy of games with payo in the algebra generated by 1 1 sets.

On the separation principle with bounded

On the separation principle with bounded controls

✍ J. Ruzicka 📂 Article 📅 1976 🏛 Springer 🌐 English ⚖ 895 KB

On Σ -Π separability in the electronic t

On Σ -Π separability in the electronic transitions of conjugated molecules

✍ Tai-ichi Shibuya; Tadashi Funada 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 211 KB

The 2Σ+−2Π separation in KO

✍ Charles W. Bauschlicher Jr.; Harry Partridge; Kenneth G. Dyall 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 373 KB

The 'E+-\*II separation in KO is investigated using large basis sets and high levels of correlation treatment. Relativistic effects are included at the Dirac-Fock level and reduce the separation only slightly. The basis set superposition error is considered in detail. On the basis of these calculati