✦ LIBER ✦

Addendum to “countable algebra and set existence axioms”

✍ Scribed by Harvey M. Friedman; Stephen G. Simpson; Rick L. Smith

Publisher: Elsevier Science
Year: 1985
Tongue: English
Weight: 92 KB
Volume: 28
Category: Article
ISSN: 0168-0072
DOI: 10.1016/0168-0072(85)90020-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Set existence axioms for general (not ne

Set existence axioms for general (not necessarily countable) stability theory

✍ Victor Harnik 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 822 KB

On Axioms of Conditional Set Existence

✍ Hao Wang 📂 Article 📅 1967 🏛 John Wiley and Sons 🌐 English ⚖ 269 KB

ON AXIOMS OF CONDITIONAL SET EXISTENCE1) by HAO WANU in Cambridge, Mass. (U.S.A.) ## 1. Outline of arguments I n what follows, the (restricted) predicate calculus with equality is assumed throughout. Let ( U ! u ) H u be short for (w) ( u ) ((Hw A H u ) 13 w = u ) , ( E ! y ) H y be short for (Ey)

Addendum to “Quantum theory as a trace a

Addendum to “Quantum theory as a trace algebra”

✍ Per-Olov Löwdin 📂 Article 📅 1981 🏛 John Wiley and Sons 🌐 English ⚖ 92 KB

Addendum to “computably enumerable sets

Addendum to “computably enumerable sets and quasi-reducibility”

✍ R. Downey; G. LaForte; A. Nies 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 29 KB

Extending Independent Sets to Bases and

Extending Independent Sets to Bases and the Axiom of Choice

✍ Kyriakos Keremedis 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 363 KB 👁 1 views

## Abstract We show that the both assertions “in every vector space __B__ over a finite element field every subspace __V__ ⊆ __B__ has a complementary subspace __S__” and “for every family 𝒜 of disjoint odd sized sets there exists a subfamily ℱ={F~j~:j ϵω} with a choice function” together imply the

Addendum to: Existence and uniqueness of

Addendum to: Existence and uniqueness of solutions to nonlinear dissipative wave equations

✍ Alfonso Castro; Parviz Khajeh-Khalili 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 110 KB