Logic Journal of IGPL Advance Access published online on October 17, 2007
Logic Journal of IGPL, doi:10.1093/jigpal/jzm043
| ||||||||||||||||||||||||||||||||||||||||||||||||||||
On extensions of elementary submodels by forcing*
Universidade de São Paulo, São Paulo, Brazil. E-mail: lucia{at}ime.usp.br
Miami University, Oxford, Ohio, USA. E-mail: larsonpb{at}muohio.edu
Universidade de São Paulo, São Paulo, Brazil. E-mail: md_passos{at}yahoo.com
| Abstract |
|---|
We study when a partial order
preserves certain properties of an elementary submodel (of a structure of the form H
), including countable closure and
-covering. In particular, we discuss the existence of
-covering elementary submodels of different sizes.
Key Words: forcing elementary submodels
-covering