Phase-Coherent Pair Transfer

2021 ◽  
pp. 189-269
Keyword(s):  
2021 ◽  
pp. 113-142
Author(s):  
Lino G. Garza ◽  
F. Marcellán ◽  
A. Sri Ranga
Keyword(s):  

1988 ◽  
Vol 209 (2-3) ◽  
pp. 168-172 ◽  
Author(s):  
M. Bernath ◽  
O. Dragún ◽  
J.E. Testoni ◽  
H. Massmann

1992 ◽  
Vol 46 (6) ◽  
pp. 2360-2363 ◽  
Author(s):  
A. M. Borges ◽  
C. P. da Silva ◽  
D. Pereira ◽  
L. C. Chamon ◽  
E. S. Rossi ◽  
...  
Keyword(s):  

2001 ◽  
Vol 121 (1-3) ◽  
pp. 1139-1140
Author(s):  
S. Suzuki ◽  
S. Okada ◽  
K. Nakao

2018 ◽  
Vol 780 ◽  
pp. 414-417 ◽  
Author(s):  
P. Van Isacker ◽  
A.O. Macchiavelli

1987 ◽  
Vol 36 (1) ◽  
pp. 316-326 ◽  
Author(s):  
J. L. Egido ◽  
J. O. Rasmussen

2007 ◽  
Vol 72 (1) ◽  
pp. 285-304 ◽  
Author(s):  
Athanassios Tzouvaras

AbstractWe give a necessary and sufficient condition in order that a type-shifting automorphism be constructed on a model of the Theory of Simple Types (TST) by forcing. Namely it is proved that, if for every n ≥ 1 there is a model of TST in the ground model M of ZFC that contains an n-extendible coherent pair, then there is a generic extension M[G] of M that contains a model of TST with a type-shifting automorphism, and hence M[G] contains a model of NF. The converse holds trivially. It is also proved that there exist models of TST containing 1-extendible coherent pairs.


2007 ◽  
Vol 150 (1) ◽  
pp. 107-108
Author(s):  
L. Fortunato ◽  
R. M. Clark ◽  
A. O. Macchiavelli ◽  
R. Krücken

1987 ◽  
Vol 192 (1-2) ◽  
pp. 4-8 ◽  
Author(s):  
L.F. Canto ◽  
R. Donangelo ◽  
R.S. Nikam ◽  
P. Ring

1989 ◽  
Vol 63 (17) ◽  
pp. 1796-1799 ◽  
Author(s):  
Pisin Chen ◽  
Valery I. Telnov

Sign in / Sign up

Export Citation Format

Share Document