Showing 1–6 of 6 results for author: Yoshinobu, Y

More on setwise climbability properties

Authors: Bernhard König, Yasuo Yoshinobu

Abstract: We introduce two types of variations of setwise climbability properties, which have been introduced by the second author as fragments of Jensen's square principles. We show that variations of the first type are equivalent to known principles and that they are consistent with the Proper Forcing Axiom(PFA). On the other hand, those of the second type can be characterized as Martin-type axioms for so… ▽ More We introduce two types of variations of setwise climbability properties, which have been introduced by the second author as fragments of Jensen's square principles. We show that variations of the first type are equivalent to known principles and that they are consistent with the Proper Forcing Axiom(PFA). On the other hand, those of the second type can be characterized as Martin-type axioms for some classes of posets defined in terms of a new variation of generalized Banach-Mazur games, and they are no longer consistent with PFA. We also study how large fragments of PFA are consistent with these principles. △ Less

Submitted 26 March, 2025; originally announced March 2025.

Comments: 27 pages

Properness under closed forcing

Authors: Yasuo Yoshinobu

Abstract: For every uncountable regular $κ$, we give two examples of proper posets which turn improper in some $κ$-closed forcing extension. For every uncountable regular $κ$, we give two examples of proper posets which turn improper in some $κ$-closed forcing extension. △ Less

Submitted 2 August, 2019; v1 submitted 25 April, 2019; originally announced April 2019.

Comments: 7 pages, LaTeX, minor revision

MSC Class: 03E40 (Primary); 03E57 (Secondary)

The *-variation of the Banach-Mazur game and forcing axioms

Authors: Yasuo Yoshinobu

Abstract: We introduce a property of posets which strengthens (ω_1+1)-strategic closedness. This property is defined using a variation of the Banach-Mazur game on posets, where the first player chooses a countable set of conditions instead of a single condition at each turn. We prove PFA is preserved under any forcing over a poset with this property. As an application we reproduce a proof of Magidor's theor… ▽ More We introduce a property of posets which strengthens (ω_1+1)-strategic closedness. This property is defined using a variation of the Banach-Mazur game on posets, where the first player chooses a countable set of conditions instead of a single condition at each turn. We prove PFA is preserved under any forcing over a poset with this property. As an application we reproduce a proof of Magidor's theorem about the consistency of PFA with some weak variations of the square principles. We also argue how different this property is from (ω_1+1)-operational closedness, which we introduced in our previous work, by observing which portions of MA^+(ω_1-closed) are preserved or destroyed under forcing over posets with either property. △ Less

Submitted 4 January, 2017; v1 submitted 23 March, 2015; originally announced March 2015.

Comments: 34 pages, minor revision, results unchanged

MSC Class: 03E57 (primary); 03E35 (secondary)

Kurepa-trees and Namba-forcing

Authors: Bernhard Koenig, Yasuo Yoshinobu

Abstract: We show that compact cardinals and {\rm MM} are sensitive to $λ$-closed forcings for arbitrarily large $λ$. This is done by adding 'regressive' $λ$-Kurepa-trees in either case. We argue that the destruction of regressive Kurepa-trees with {\rm MM} requires the use of Namba forcing. We show that compact cardinals and {\rm MM} are sensitive to $λ$-closed forcings for arbitrarily large $λ$. This is done by adding 'regressive' $λ$-Kurepa-trees in either case. We argue that the destruction of regressive Kurepa-trees with {\rm MM} requires the use of Namba forcing. △ Less

Submitted 4 May, 2006; originally announced May 2006.

How many miles to beta-X? -- d miles, or just one foot

Authors: Masaru Kada, Kazuo Tomoyasu, Yasuo Yoshinobu

Abstract: It is known that the Stone-Cech compactification of a metrizable space X is approximated by the collection of Smirnov compactifications of X for all compatible metrics on X. If we confine ourselves to locally compact separable metrizable spaces, the corresponding statement holds for Higson compactifications. We investigate the smallest cardinality of a set D of compatible metrics on X such that… ▽ More It is known that the Stone-Cech compactification of a metrizable space X is approximated by the collection of Smirnov compactifications of X for all compatible metrics on X. If we confine ourselves to locally compact separable metrizable spaces, the corresponding statement holds for Higson compactifications. We investigate the smallest cardinality of a set D of compatible metrics on X such that the Stone-Cech compactification of X is approximated by Smirnov or Higson compactifications for all metrics in D. We prove that it is either the dominating number or 1 for a locally compact separable metrizable space. △ Less

Submitted 25 February, 2006; v1 submitted 30 December, 2004; originally announced December 2004.

Comments: V2: minor linguistic corrections

MSC Class: 54D35; 03E17

How many miles to $βω$? -- Approximating $βω$ by metric-dependent compactifications

Authors: Masaru Kada, Kazuo Tomoyasu, Yasuo Yoshinobu

Abstract: It is known that the Stone-Čech compactification of a non-compact metrizable space $X$ is approximated by the collection of Smirnov compactifications of $X$ for all compatible metrics on $X$. We investigate the smallest cardinality of a set $D$ of compatible metrics on the countable discrete space $ω$ such that, the Stone-Čech compactification of $ω$ is approximated by Smirnov compactifications… ▽ More It is known that the Stone-Čech compactification of a non-compact metrizable space $X$ is approximated by the collection of Smirnov compactifications of $X$ for all compatible metrics on $X$. We investigate the smallest cardinality of a set $D$ of compatible metrics on the countable discrete space $ω$ such that, the Stone-Čech compactification of $ω$ is approximated by Smirnov compactifications for all metrics in $D$, but any finite subset of $D$ does not suffice. We also study the corresponding cardinality for Higson compactifications. △ Less

Submitted 21 July, 2004; v1 submitted 16 May, 2004; originally announced May 2004.

Comments: v3: Unified old sections 1 and 2 into new section 1, and deleted some basic lemmata to shorten the article

MSC Class: 03E17; 03E35; 54D35; 54H05