Open AccessForcing with propositional Lindenbaum algebras
Author(s) -
Aleksandar Perović
Publication year - 2007
Publication title -
publications de l institut mathematique
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.246
H-Index - 17
eISSN - 1820-7405
pISSN - 0350-1302
DOI - 10.2298/pim0796107p
Subject(s) - forcing (mathematics) , propositional calculus , mathematics , discrete mathematics , mathematical analysis
We prove equivalence between the forcing with propositional Lin- denbaum algebras and the Cohen forcing with finite partial functions.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom