BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Andrzej Roslanowski contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
For a countable ordinal epsilon we construct a Sigma^0_2 subset of the Cantor space for which one may force aleph_epsilon translations with intersections of size 2i, but such that it has no perfect set of such translations in any ccc extension. These sets have uncountably many translations with intersections of size 2i in ZFC, so this answers Problem 3.4 of arxiv:1711.04058 .
This article continues Rosłanowski and Shelah math.LO/9906024, math.LO/0508272, math.LO/0210205, math.LO/0611131 and math.LO/0605067. We introduce here a new property of <lambda-strategically complete forcing notions which implies that their lambda-support iterations do not collapse lambda^+ (for a strongly inaccessible cardinal lambda).
We introduce several properties of forcing notions which imply that their lambda-support iterations are lambda-proper. Our methods and techniques refine those studied in math.LO/9906024, math.LO/0210205, math.LO/0508272 and math.LO/0605067, covering some new forcing notions (though the exact relation of the new properties to the old ones remains undecided).
We continue investigations of reasonable ultrafilters on uncountable cardinals defined in math.LO/0407498. We introduce stronger properties of ultrafilters and we show that those properties may be handled in lambda-support iterations of reasonably bounding forcing notions. We use this to show that consistently there are reasonable ultrafilters on an inaccessible cardinal lambda with generating system of size less than 2^lambda . We also show how reasonable ultrafilters can be killed by forcing notions which have enough reasonable completeness to be iterated with lambda-supports (and we show the appropriate preservation theorem).
We continue investigations of reasonable ultrafilters on uncountable cardinals defined in Shelah math.LO/0407498 and studied also in math.LO/0605067. We introduce a general scheme of generating a filter on lambda from filters on smaller sets and we investigate the combinatorics of objects obtained this way.
Answering a question of the first author stated in [math.LO/0507519, 0.2] we show that limits of CS iterations of n$-Silver forcing notion have the n-localization property.
Let n be an integer greater than 1. A tree T is an n-ary tree provided that every node in T has at most n immediate successors. A forcing notion P has the n-localization property if every function from omega to omega in an extension via P is an omega-branch in an n-ary tree from the ground model. In the present paper we are interested in getting the n-localization property for countable support iterations.
We introduce more properties of forcing notions which imply that their lambda-support iterations are lambda-proper, where lambda is an inaccessible cardinal. This paper is a direct continuation of section A.2 of math.LO/0210205. As an application of our iteration result we show that it is consistent that dominating numbers associated with two normal filters on lambda are distinct.
We continue investigations of forcing notions with strong ccc properties introducing new methods of building sweet forcing notions. We also show that quotients of topologically sweet forcing notions over Cohen reals are topologically sweet while the quotients over random reals do not have to be such.
The main result of this paper is a partial answer to [math.LO/9909115, Problem 5.5]: a finite iteration of Universal Meager forcing notions adds generic filters for many forcing notions determined by universality parameters. We also give some results concerning cardinal characteristics of the sigma-ideals determined by those universality parameters.
Using forcing with measured creatures we build a universe of set theory in which: (a) every sup-measurable function f:RxR-->R is measurable, and (b) every function f:R-->R is continuous on a non-measurable set. This answers a question of Balcerzak, Ciesielski and Kharazishvili and von Weizsacker's problem (see Fremlin's list of problems).
We look for a parallel to the notion of ``proper forcing'' among lambda-complete forcing notions not collapsing lambda^+ . We suggest such a definition and prove that it is preserved by suitable iterations.
The present paper has three themes. First, we continue the investigations started in Judah, Roslanowski and Shelah \math.LO/9310224 and Roslanowski and Shelah math.LO/9807172, math.LO/9703222, and we investigate the method of norms on possibilities in the context of ccc forcing notions, getting a number of constructions of nicely definable ccc forcings. The second theme of the paper is a part of the general program ``how special are random and Cohen forcing notions (or: the respective ideals)''. Shelah math.LO/9303208 shows that the two forcing notions may occupy special positions in the realm of nicely definable forcing notions. In this realm we may classify forcing notions using the methods of Shelah [Sh:630] (math.LO/9712283), [Sh:669] and, for example, declare that very Souslin (or generally omega-nw-nep) ccc forcing notions are really nice. Both the Cohen forcing notion and the random forcing notion and their FS iterations (and nice subforcings) are all ccc omega-nw-nep, and Problem 4.24 of math.LO/9906113 asked if we have more examples. It occurs that our method relatively easily results in very Souslin ccc forcing notions. The third theme is Sweet & Sour, and it is related to one of the most striking differences between the random and the Cohen forcing notions that appears when we consider the respective regularity properties of projective sets: the Lebesgue measurability of Sigma^1_3 sets implies aleph_1 is inaccessible in L, while one can construct (in ZFC) a forcing notion P which forces ``projective subsets of R have the Baire property'' (see Shelah [Sh:176]).
The present paper addresses the problem of attainment of the supremums in various equivalent definitions of hereditary density hd and hereditary Lindelof degree hL of Boolean algebras. We partially answer two problems of J. Donald Monk (Problems 50 and 54 in his book "Cardinal Invariants on Boolean Algebras), showing consistency of different attainment behaviour and proving that (for the considered variants) this is the best result we can expect.
We show that, consistently, for some regular cardinals theta<lambda, there exists a Boolean algebra B such that B=lambda^+ and for every subalgebra B' of B of size lambda^+ we have Depth(B')=theta.
We show that it is consistent with MA + the negation of CH, that the Forcing Axiom fails for all forcing notions in the class of omega^omega-bounding forcing notions with norms of "Norms on possibilities I: forcing with trees and creatures"(by Roslanowski and Shelah - math.LO/9807172).
We address several questions of Donald Monk related to irredundance and spread of Boolean algebras, gaining both some ZFC knowledge and consistency results. We show in ZFC that irr(B_0 times B_1)= max(irr(B_0),irr(B_1)). We prove consistency of the statement ``there is a Boolean algebra B such that irr(B)<s(B otimes B)'' and we force a superatomic Boolean algebra B_* such that s(B_*)=inc(B_*)=kappa, irr(B_*)=Id(B_*)=kappa^+ and Sub(B_*)=2^(kappa^+). Next we force a superatomic algebra B_0 such that irr(B_0)<inc(B_0) and a superatomic algebra B_1 such that t(B_1)>Aut(B_1). Finally we show that consistently there is a Boolean algebra B of size lambda such that there is no free sequence in B of length lambda, there is an ultrafilter of tightness lambda (so t(B)=lambda) and lambda notin Depth_(Hs)(B).
We present a systematic study of the method of "norms on possibilities" of building forcing notions with keeping their properties under full control. This technique allows us to answer several open problems, but on our way to get the solutions we develop various ideas interesting per se.These include a new iterable condition for ``not adding Cohen reals'' (which has a flavour of preserving special properties of p-points), new intriguing properties of ultrafilters (weaker than being Ramsey but stronger than p-point) and some new applications of variants of the PP--property.
We consider the following property: (*) For every function f from R^2 to R there are functions g_n,h_n from R to R (for n<omega) such that for all real numbers x and y, f(x,y) = sum_{n<omega} g_n(x)h_n(y). We show that, despite some expectation suggested by [Sh:675], (*) does not imply MA(sigma-centered). Next, we introduce cardinal characteristics of the continuum responsible for the failure of (*).
We construct, under the assumption that union of less than continuum many meager subsets of R is meager in R, an additive connectivity function f:R-->R with Cantor intermediate value property which is not almost continuous. This gives a partial answer to a question of D. Banaszewski. We also show that every extendable function g:R-->R with a dense graph satisfies the following stronger version of the SCIVP property: for every a<b and every perfect set K between g(a) and g(b) there is a perfect subset C of (a,b) such that g[C] subset K and g|C is continuous strictly increasing. This property is used to construct a ZFC example of an additive almost continuous function f:R-->R which has the strong Cantor intermediate value property but is not extendable. This answers a question of H. Rosen. This also generalizes Rosen's result that a similar (but not additive) function exists under the assumption of the continuum hypothesis.