Results 1  10
of
30
On what I do not understand (and have something to say), model theory
 Mathematica Japonica, submitted. [Sh:702]; math.LO/9910158
"... Abstract. This is a nonstandard paper, containing some problems in set theory I have in various degrees been interested in. Sometimes with a discussion on what I have to say; sometimes, of what makes them interesting to me, sometimes the problems are presented with a discussion of how I have tried ..."
Abstract

Cited by 23 (8 self)
 Add to MetaCart
Abstract. This is a nonstandard paper, containing some problems in set theory I have in various degrees been interested in. Sometimes with a discussion on what I have to say; sometimes, of what makes them interesting to me, sometimes the problems are presented with a discussion of how I have tried to solve them, and sometimes with failed tries, anecdote and opinion. So the discussion is quite personal, in other words, egocentric and somewhat accidental. As we discuss many problems, history and side references are erratic, usually kept at a minimum (“see... ” means: see the references there and possibly the paper itself). The base were lectures in Rutgers Fall ’97 and reflect my knowledge then. The other half, [122], concentrating on model theory, will subsequently appear. I thank Andreas Blass and Andrzej Ros̷lanowski for many helpful comments. (666) revision:20011112 modified:20031118
Forcing axioms and projective sets of reals
 Proceedings of Foundations of the Formal Sciences III, in: “Classical and new paradigms of computation and their complexity hierarchies” (Löwe
"... Abstract. This paper is an introduction to forcing axioms and large cardinals. Specifically, we shall discuss the large cardinal strength of forcing axioms in the presence of regularity properties for projective sets of reals. The new result shown in this paper says that ZFC + the bounded proper for ..."
Abstract

Cited by 8 (0 self)
 Add to MetaCart
Abstract. This paper is an introduction to forcing axioms and large cardinals. Specifically, we shall discuss the large cardinal strength of forcing axioms in the presence of regularity properties for projective sets of reals. The new result shown in this paper says that ZFC + the bounded proper forcing axiom (BPFA) + “every projective set of reals is Lebesgue measurable ” is equiconsistent with ZFC + “there is a Σ1 reflecting cardinal above a remarkable cardinal.” 1. Introduction. The current paper ∗ is in the tradition of the following result.
The Converse Ostrowski Theorem: aspects of compactness
, 2007
"... The Ostrowski theorem in question is that an additive function bounded (above, say) on a set T of positive measure is continuous. In the converse direction, recall that a topological space T is pseudocompact if every function continuous on T is bounded. Thus theorems of ‘converse Ostrowski’ type rel ..."
Abstract

Cited by 5 (5 self)
 Add to MetaCart
The Ostrowski theorem in question is that an additive function bounded (above, say) on a set T of positive measure is continuous. In the converse direction, recall that a topological space T is pseudocompact if every function continuous on T is bounded. Thus theorems of ‘converse Ostrowski’ type relate to ‘additive (pseudo)compactness’. We give a different characterization of such sets, in terms of the property of ‘generic subuniversality’, arising from the KestelmanBorweinDitor theorem and relate these to various new forms of compactness.
On Shelah's amalgamation
, 1998
"... The aim of this paper is to present a detailed explanation of three models of Shelah. We show the rule of the amalgamation in the construction of models in which all definable sets of reals have Baire property or are Lebesgue measurable. Next we construct a model in which every projective set of rea ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
The aim of this paper is to present a detailed explanation of three models of Shelah. We show the rule of the amalgamation in the construction of models in which all definable sets of reals have Baire property or are Lebesgue measurable. Next we construct a model in which every projective set of reals has Baire property, a model with the Uniformization Property and a model of ZF + DC in which all subsets of the real line are Lebesgue measurable but there is a set without Baire property.
Independence Structures In Set Theory
, 1996
"... This article, based on an invited lecture at the Logic Colloquium '93 in Keele, is a sequel to van Lambalgen [1992]. Apart from presenting new results, it differs from its predecessor in the following respects: (i) the presentation of the axioms is simplified, following some suggestions of Wojciec ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
This article, based on an invited lecture at the Logic Colloquium '93 in Keele, is a sequel to van Lambalgen [1992]. Apart from presenting new results, it differs from its predecessor in the following respects: (i) the presentation of the axioms is simplified, following some suggestions of Wojciech Buszkowski, (ii) the axioms have been strengthened, and (iii) the philosophical discussion has (hopefully) been improved. The article has appeared in W. Hodges et al (eds.), Logic: from Foundations to Applications (European Logic Colloquium), Oxford University Press 1996
Projective absoluteness under Sacks forcing
"... Abstract. We show that Σ 1 3absoluteness under Sacks forcing is equivalent to the Sacks measurability of every ∆ 1 2 set of reals. We also show that Sacks forcing is the weakest forcing notion among all of the preorders which always add a new real with respect to Σ 1 3 forcing absoluteness. 1. ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
Abstract. We show that Σ 1 3absoluteness under Sacks forcing is equivalent to the Sacks measurability of every ∆ 1 2 set of reals. We also show that Sacks forcing is the weakest forcing notion among all of the preorders which always add a new real with respect to Σ 1 3 forcing absoluteness. 1.
Why sets?
 PILLARS OF COMPUTER SCIENCE: ESSAYS DEDICATED TO BORIS (BOAZ) TRAKHTENBROT ON THE OCCASION OF HIS 85TH BIRTHDAY, VOLUME 4800 OF LECTURE NOTES IN COMPUTER SCIENCE
, 2008
"... Sets play a key role in foundations of mathematics. Why? To what extent is it an accident of history? Imagine that you have a chance to talk to mathematicians from a faraway planet. Would their mathematics be setbased? What are the alternatives to the settheoretic foundation of mathematics? Besi ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
Sets play a key role in foundations of mathematics. Why? To what extent is it an accident of history? Imagine that you have a chance to talk to mathematicians from a faraway planet. Would their mathematics be setbased? What are the alternatives to the settheoretic foundation of mathematics? Besides, set theory seems to play a significant role in computer science; is there a good justification for that? We discuss these and some related issues.
HOW MUCH SWEETNESS IS THERE IN THE UNIVERSE?
"... Abstract. 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 ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Abstract. 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. 856 revision:20051027 modified:20051027 One of the main ingredients of the construction of the model for all projective sets of reals have the Baire property presented in Shelah [7, §7] was a strong ccc property of forcing notions called sweetness. This property is preserved in amalgamations and also in compositions with the Hechler forcing notion D and the Universal Meager