Thank you very much, Ladies and Gentleman. I am very honored by the invitation to give a keynote address at this very informative, national meeting, before such a distinguished audience.If you made a list of the hundreds of different activities that go on during the day in a major medical center and tried to rank order them in terms of degree of difficulty, or judgment required, or risk of error, or damage that can result from an error of omission or (...) an error of commission, at the top of the list one might consider the teaching of a surgical resident at the operating table by a senior experienced surgeon, hours on end, often emotionally draining. (shrink)

Sefer ha-Roḳeaḥ -- Sefer Eldad ha-Dani -- Sibuv Rabi Petaḥyah -- Sefer Har Adonai.

The original work has been a favorite of both scholars and laypeople for its straightforward style, in contrast to other medieval writings on ethics that are largely theoretical and reflective.

In this work we give a complete answer as to the possible implications between some natural properties of Lebesgue measure and the Baire property. For this we prove general preservation theorems for forcing notions. Thus we answer a decade-old problem of J. Baumgartner and answer the last three open questions of the Kunen-Miller chart about measure and category. Explicitly, in \S1: (i) We prove that if we add a Laver real, then the old reals have outer measure one. (ii) We (...) prove a preservation theorem for countable-support forcing notions, and using this theorem we prove (iii) If we add ω 2 Laver reals, then the old reals have outer measure one. From this we obtain (iv) $\operatorname{Cons}(\mathrm{ZF}) \Rightarrow \operatorname{Cons}(\mathrm{ZFC} + \neg B(m) + \neg U(m) + U(c))$ . In \S2: (i) We prove a preservation theorem, for the finite support forcing notion, of the property " $F \subseteq ^\omega\omega$ is an unbounded family." (ii) We introduce a new forcing notion making the old reals a meager set but the old members of ω ω remain an unbounded family. Using this we prove (iii) $\operatorname{Cons}(\mathrm{ZF}) \Rightarrow \operatorname{Cons}(\mathrm{ZFC} + U(m) + \neg B(c) + \neg U(c) + C(c))$ . In \S3: (i) We prove a preservation theorem, for the finite support forcing notion, of a property which implies "the union of the old measure zero sets is not a measure zero set," and using this theorem we prove (ii) $\operatorname{Cons}(\mathrm{ZF}) \Rightarrow \operatorname{Cons}(\mathrm{ZFC} + \neg U(m) + C(m) + \neg C(c))$. (shrink)

The Kuzari by Judah HaLevi, the Sephardic philosopher and poet, is one of the most important statements of Jewish thought from the last thousand years. It was written as an introduction to Judaism in the form of a dialogue, primarily between the king of the Khazars and the rabbi who explains Judaism to him. The King was exploring the possibility of converting to a monotheistic religion, and the question was whether Judaism, Christianity or Islam would be his choice. The (...) King called representatives of each of the three religious traditions to explain their central beliefs and practices. (shrink)

We show the Borel Conjecture is consistent with the continuum large.

In this paper we study the question assuming MA+⌝CH does Sacks forcing or Laver forcing collapse cardinals? We show that this question is equivalent to the question of what is the additivity of Marczewski's ideals 0. We give a proof that it is consistent that Sacks forcing collapses cardinals. On the other hand we show that Laver forcing does not collapse cardinals.

kerekh 1. Haḳdamot. Peraḳim 1-2 -- kerekh 3. Pereḳ 3 -- kerekh 4. Pereḳ 4 -- kerekh 5. Pereḳ 5 -- kerekh 6. Pereḳ 6. Mafteaḥ meḳorot -- kerekh 7. Mafteaḥ ʻarakhim.

Assuming the consistency ofZF + “There is an inaccessible number of inaccessibles”, we prove that Kelley Morse theory plus types is not a conservative extension of Kelley-Morse theory.

We define the ideal with the property that a real omits all Borel sets in the ideal which are coded in a transitive model if and only if it is an amoeba real over this model. We investigate some other properties of this ideal. Strolling through the "amoeba forest" we gain as an application a modification of the proof of the inequality between the additivities of Lebesgue measure and Baire category.

We build models where all $\underset{\sim}{\triangle}^1_3$ -sets of reals are measurable and (or) have the property of Baire and (or) are Ramsey. We will show that there is no implication between any of these properties for $\underset{\sim}{\triangle}^1_3$ -sets of reals.

In this paper we will study four forcing notions, two of them giving a minimal degree of constructibility. These constructions give answers to questions in [Ih].

ḥeleḳ 1. Maʼamar rishon -- ḥeleḳ 2. Maʼamar sheni -- ḥeleḳ 3. Maʼamar shelishi -- ḥeleḳ 4. Maʼamar reviʻi-ḥamishi.

This is the first English translation of The Fathers According to Rabbi Nathan, one of the richest depositories of rabbinic reflections on the study of the Torah. It is the earliest commentary on Abot, the only tractate of the Mishnah that does not deal with legal matters but exclusively with "agada," an unlimited variety of religious, ethical, and edifying subjects.