Forcing With Propositional Lindenbaum Algebras
Publications de l'Institut Mathématique, _N_S_82 (2007) no. 96, p. 107
Cet article a éte moissonné depuis la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts
We prove equivalence between the forcing with propositional
Lindenbaum algebras and the Cohen forcing with finite partial functions.
@article{10_2298_PIM0796107P,
author = {Aleksandar Perovi\'c},
title = {Forcing {With} {Propositional} {Lindenbaum} {Algebras}},
journal = {Publications de l'Institut Math\'ematique},
pages = {107 },
year = {2007},
volume = {_N_S_82},
number = {96},
doi = {10.2298/PIM0796107P},
zbl = {1164.03013},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.2298/PIM0796107P/}
}
Aleksandar Perović. Forcing With Propositional Lindenbaum Algebras. Publications de l'Institut Mathématique, _N_S_82 (2007) no. 96, p. 107 . doi: 10.2298/PIM0796107P
Cité par Sources :