Abstract
We show that, under , a coherent Suslin tree forces that every two Aronszajn trees are club-isomorphic.
Citation
Teruyuki Yorioka. "Club-Isomorphisms of Aronszajn Trees in the Extension with a Suslin Tree." Notre Dame J. Formal Logic 58 (3) 381 - 396, 2017. https://doi.org/10.1215/00294527-3882335
Information
Received: 17 December 2013; Accepted: 29 October 2014; Published: 2017
First available in Project Euclid: 19 April 2017
zbMATH: 06761614
MathSciNet: MR3681100
Digital Object Identifier: 10.1215/00294527-3882335
Subjects:
Primary:
03E35
Secondary:
03E50
,
03E57
Keywords:
$\mathsf{PFA}(S)$
,
Aronszajn tree
,
club-isomorphism
,
coherent Suslin tree
Rights: Copyright © 2017 University of Notre Dame
