Geodesic
Potential isomorphism and semi-proper trees
Alex Hellsten1 ; Tapani Hyttinen1 ; Saharon Shelah2
1 Department of Mathematics University of Helsinki 00014 Helsinki, Finland
2 Institute of Mathematics The Hebrew University 91904 Jerusalem, Israel and Department of Mathematics Rutgers University New Brunswick, NJ 08903, U.S.A.
Fundamenta Mathematicae, Tome 175 (2002) no. 2, pp. 127-142.

Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences

We study a notion of potential isomorphism, where two structures are said to be potentially isomorphic if they are isomorphic in some generic extension that preserves stationary sets and does not add new sets of cardinality less than the cardinality of the models. We introduce the notion of weakly semi-proper trees, and note that there is a strong connection between the existence of potentially isomorphic models for a given complete theory and the existence of weakly semi-proper trees. We show that the existence of weakly semi-proper trees is consistent relative to ${\rm ZFC}$ by proving the existence of weakly semi-proper trees under certain cardinal arithmetic assumptions. We also prove the consistency of the non-existence of weakly semi-proper trees assuming the consistency of some large cardinals.
DOI : 10.4064/fm175-2-3
Keywords: study notion potential isomorphism where structures said potentially isomorphic isomorphic generic extension preserves stationary sets does sets cardinality cardinality models introduce notion weakly semi proper trees note there strong connection between existence potentially isomorphic models given complete theory existence weakly semi proper trees existence weakly semi proper trees consistent relative zfc proving existence weakly semi proper trees under certain cardinal arithmetic assumptions prove consistency non existence weakly semi proper trees assuming consistency large cardinals

Alex Hellsten 1 ; Tapani Hyttinen 1 ; Saharon Shelah 2

1 Department of Mathematics University of Helsinki 00014 Helsinki, Finland
2 Institute of Mathematics The Hebrew University 91904 Jerusalem, Israel and Department of Mathematics Rutgers University New Brunswick, NJ 08903, U.S.A. 
@article{10_4064_fm175_2_3,
     author = {Alex Hellsten and Tapani Hyttinen and Saharon Shelah},
     title = {Potential isomorphism and semi-proper trees},
     journal = {Fundamenta Mathematicae},
     pages = {127--142},
     publisher = {mathdoc},
     volume = {175},
     number = {2},
     year = {2002},
     doi = {10.4064/fm175-2-3},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/fm175-2-3/}
}
TY  - JOUR
AU  - Alex Hellsten
AU  - Tapani Hyttinen
AU  - Saharon Shelah
TI  - Potential isomorphism and semi-proper trees
JO  - Fundamenta Mathematicae
PY  - 2002
SP  - 127
EP  - 142
VL  - 175
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/fm175-2-3/
DO  - 10.4064/fm175-2-3
LA  - en
ID  - 10_4064_fm175_2_3
ER  - 
%0 Journal Article
%A Alex Hellsten
%A Tapani Hyttinen
%A Saharon Shelah
%T Potential isomorphism and semi-proper trees
%J Fundamenta Mathematicae
%D 2002
%P 127-142
%V 175
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm175-2-3/
%R 10.4064/fm175-2-3
%G en
%F 10_4064_fm175_2_3
Alex Hellsten; Tapani Hyttinen; Saharon Shelah. Potential isomorphism and semi-proper trees. Fundamenta Mathematicae, Tome 175 (2002) no. 2, pp. 127-142. doi : 10.4064/fm175-2-3. http://geodesic.mathdoc.fr/articles/10.4064/fm175-2-3/

Cité par Sources :