Forcing With Propositional Lindenbaum Algebras
Publications de l'Institut Mathématique, _N_S_82 (2007) no. 96, p. 107
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 :