The Existence of Countable Totally Nonconstructive Extensions of the Countable Atomless Boolean Algebra
Madison, E. W.
J. Symbolic Logic, Tome 48 (1983) no. 1, p. 167-170 / Harvested from Project Euclid
Our results concern the existence of a countable extension $\mathscr{U}$ of the countable atomless Boolean algebra $\mathscr{B}$ such that $\mathscr{U}$ is a "nonconstructive" extension of $\mathscr{B}$. It is known that for any fixed admissible indexing $\varphi$ of $\mathscr{B}$ there is a countable nonconstructive extension $\mathscr{U}$ of $\mathscr{B}$ (relative to $\varphi$). The main theorem here shows that there exists an extension $\mathscr{U}$ of $\mathscr{B}$ such that for any admissible indexing $\varphi$ of $\mathscr{B}$, $\mathscr{U}$ is nonconstructive (relative to $\varphi$). Thus, in this sense $\mathscr{U}$ is a countable totally nonconstructive extension of $\mathscr{B}$.
Publié le : 1983-03-14
Classification: 
@article{1183741200,
     author = {Madison, E. W.},
     title = {The Existence of Countable Totally Nonconstructive Extensions of the Countable Atomless Boolean Algebra},
     journal = {J. Symbolic Logic},
     volume = {48},
     number = {1},
     year = {1983},
     pages = { 167-170},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183741200}
}
Madison, E. W. The Existence of Countable Totally Nonconstructive Extensions of the Countable Atomless Boolean Algebra. J. Symbolic Logic, Tome 48 (1983) no. 1, pp.  167-170. http://gdmltest.u-ga.fr/item/1183741200/