Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "Shelah, Saharon" wg kryterium: Autor

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 29
Tytuł:
Borel sets with large squares
Autorzy:
Shelah, Saharon
Powiązania:
https://bibliotekanauki.pl/articles/1205277.pdf
Data publikacji:
1999
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Opis:
 For a cardinal μ we give a sufficient condition $⊕_μ$ (involving ranks measuring existence of independent sets) for:
$⊗_μ$ if a Borel set B ⊆ ℝ × ℝ contains a μ-square (i.e. a set of the form A × A with |A| =μ) then it contains a $2^{ℵ_0}$-square and even a perfect square,
and also for
$⊗'_μ$ if $ψ ∈ L_{ω_1, ω}$ has a model of cardinality μ then it has a model of cardinality continuum generated in a "nice", "absolute" way.
Assuming $MA + 2^{ℵ_0} > μ$ for transparency, those three conditions ($⊕_μ$, $⊗_μ$ and $⊗'_μ$) are
equivalent, and from this we deduce that e.g. $∧_{α < ω_1}[ 2^{ℵ_0}≥ ℵ_α ⇒ ￢ ⊗_{ℵ_α}]$, and also that
$min{μ: ⊗_μ}$, if $ < 2^{ℵ_0}$, has cofinality $ℵ_1$.
  We also deal with Borel rectangles and related model-theoretic problems.
Źródło:
Fundamenta Mathematicae; 1999, 159, 1; 1-50
0016-2736
Pojawia się w:
Fundamenta Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A polarized partition relation and failure of GCH at singular strong limit
Autorzy:
Shelah, Saharon
Powiązania:
https://bibliotekanauki.pl/articles/1205392.pdf
Data publikacji:
1998
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Opis:
The main result is that for λ strong limit singular failing the continuum hypothesis (i.e. $2^{λ} > λ^{+}$), a polarized partition theorem holds.
Źródło:
Fundamenta Mathematicae; 1998, 155, 2; 153-160
0016-2736
Pojawia się w:
Fundamenta Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
σ-Entangled linear orders and narrowness of products of Boolean algebras
Autorzy:
Shelah, Saharon
Powiązania:
https://bibliotekanauki.pl/articles/1205425.pdf
Data publikacji:
1997
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Opis:
We investigate σ-entangled linear orders and narrowness of Boolean algebras. We show existence of σ-entangled linear orders in many cardinals, and we build Boolean algebras with neither large chains nor large pies. We study the behavior of these notions in ultraproducts.
Źródło:
Fundamenta Mathematicae; 1997, 153, 3; 199-275
0016-2736
Pojawia się w:
Fundamenta Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On full Suslin trees
Autorzy:
Shelah, Saharon
Powiązania:
https://bibliotekanauki.pl/articles/965942.pdf
Data publikacji:
1999
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:
Colloquium Mathematicum; 1999, 79, 1; 1-7
0010-1354
Pojawia się w:
Colloquium Mathematicum
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Covering of the null ideal may have countable cofinality
Autorzy:
Shelah, Saharon
Powiązania:
https://bibliotekanauki.pl/articles/1204998.pdf
Data publikacji:
1999-06-17
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
null sets
cardinal invariants of the continuum
iterated forcing
ccc forcing
Opis:
We prove that it is consistent that the covering number of the ideal of measure zero sets has countable cofinality.
Źródło:
Fundamenta Mathematicae; 2000, 166, 1-2; 109-136
0016-2736
Pojawia się w:
Fundamenta Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Cellularity of free products of Boolean algebras (or topologies)
Autorzy:
Shelah, Saharon
Powiązania:
https://bibliotekanauki.pl/articles/1205001.pdf
Data publikacji:
2000
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
set theory
pcf
Boolean algebras
cellularity
product
colourings
Opis:
The aim this paper is to present an answer to Problem 1 of Monk [10], [11]. We do this by proving in particular that if μ is a strong limit singular cardinal, $θ = (2^{cf(μ)})^+$ and $2^μ = μ^+$ then there are Boolean algebras $\mathbb{B}_1,\mathbb{B}_2$ such that
$c(\mathbb{B}_1) = μ, c(\mathbb{B}_2) < θ but c(\mathbb{B}_1*\mathbb{B}_2)=μ^+$.
Further we improve this result, deal with the method and the necessity of the assumptions. In particular we prove that if $\mathbb{B}$ is a ccc Boolean algebra and $μ^{ℶ_ω} ≤ λ = cf(λ) ≤ 2^μ$ then $\mathbb{B}$ satisfies the λ-Knaster condition (using the "revised GCH theorem").
Źródło:
Fundamenta Mathematicae; 2000, 166, 1-2; 153-208
0016-2736
Pojawia się w:
Fundamenta Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On Monk’s questions
Autorzy:
Shelah, Saharon
Powiązania:
https://bibliotekanauki.pl/articles/731520.pdf
Data publikacji:
1996
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Opis:
We deal with Boolean algebras and their cardinal functions: π-weight π and π-character πχ. We investigate the spectrum of π-weights of subalgebras of a Boolean algebra B. Next we show that the π-character of an ultraproduct of Boolean algebras may be different from the ultraproduct of the π-characters of the factors.
Źródło:
Fundamenta Mathematicae; 1996, 151, 1; 1-19
0016-2736
Pojawia się w:
Fundamenta Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On what I do not understand (and have something to say): Part I
Autorzy:
Shelah, Saharon
Powiązania:
https://bibliotekanauki.pl/articles/1204995.pdf
Data publikacji:
2000
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
set theory
cardinal arithmetic
pcf theory
forcing
iterated forcing
large continuum
nep
nicely definable forcing
combinatorial set theory
Boolean algebras
set-theoretic algebra
partition calculus
Ramsey theory
Opis:
This is a non-standard 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, anecdotes and opinions. 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 to 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łanowski for many helpful comments.
Źródło:
Fundamenta Mathematicae; 2000, 166, 1-2; 1-82
0016-2736
Pojawia się w:
Fundamenta Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Embedding Cohen algebras using pcf theory
Autorzy:
Shelah, Saharon
Powiązania:
https://bibliotekanauki.pl/articles/1204996.pdf
Data publikacji:
2000
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
set theory
pcf
forcing
Opis:
Using a theorem from pcf theory, we show that for any singular cardinal ν, the product of the Cohen forcing notions on κ, κ < ν, adds a generic for the Cohen forcing notion on $ν^+$.
Źródło:
Fundamenta Mathematicae; 2000, 166, 1-2; 83-86
0016-2736
Pojawia się w:
Fundamenta Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Strong covering without squares
Autorzy:
Shelah, Saharon
Powiązania:
https://bibliotekanauki.pl/articles/1204997.pdf
Data publikacji:
2000
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
set theory
covering
strong covering lemma
pcf theory
Opis:
Let W be an inner model of ZFC. Let κ be a cardinal in V. We say that κ-covering holds between V and W iff for all X ∈ V with X ⊆ ON and V ⊨ |X| < κ, there exists Y ∈ W such that X ⊆ Y ⊆ ON and V ⊨ |Y| < κ. Strong κ-covering holds between V and W iff for every structure M ∈ V for some countable first-order language whose underlying set is some ordinal λ, and every X ∈ V with X ⊆ λ and V ⊨ |X| < κ, there is Y ∈ W such that X ⊆ Y ≺ M and V ⊨ |Y| < κ.
  We prove that if κ is V-regular, $κ^+_V = κ^+_W$, and we have both κ-covering and $κ^+$-covering between W and V, then strong κ-covering holds. Next we show that we can drop the assumption of $κ^+$-covering at the expense of assuming some more absoluteness of cardinals and cofinalities between W and V, and that we can drop the assumption that $κ^+_W = κ^+_V$ and weaken the $κ^+$-covering assumption at the expense of assuming some structural facts about W (the existence of certain square sequences).
Źródło:
Fundamenta Mathematicae; 2000, 166, 1-2; 87-107
0016-2736
Pojawia się w:
Fundamenta Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On a problem of Steve Kalikow
Autorzy:
Shelah, Saharon
Powiązania:
https://bibliotekanauki.pl/articles/1205000.pdf
Data publikacji:
2000
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
set theory
forcing
continuity
Kalikow
free subset
Opis:
The Kalikow problem for a pair (λ,κ) of cardinal numbers,λ > κ (in particular κ = 2) is whether we can map the family of ω-sequences from λ to the family of ω-sequences from κ in a very continuous manner. Namely, we demand that for η,ν ∈ ω we have: η, ν are almost equal if and only if their images are. We show consistency of the negative answer, e.g., for $ℵ_ω$ but we prove it for smaller cardinals. We indicate a close connection with the free subset property and its variants.
Źródło:
Fundamenta Mathematicae; 2000, 166, 1-2; 137-151
0016-2736
Pojawia się w:
Fundamenta Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Rigid $ℵ_ε$ -saturated models of superstable theories
Autorzy:
Shami, Ziv
Shelah, Saharon
Powiązania:
https://bibliotekanauki.pl/articles/1205186.pdf
Data publikacji:
1999
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Opis:
In a countable superstable NDOP theory, the existence of a rigid $ﬡ_ε$-saturated model implies the existence of $2^λ$ rigid $ﬡ_ε$-saturated models of power λ for every $λ > 2^{ﬡ_0}$.
Źródło:
Fundamenta Mathematicae; 1999, 162, 1; 37-46
0016-2736
Pojawia się w:
Fundamenta Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The distributivity numbers of finite products of P(ω)/fin
Autorzy:
Shelah, Saharon
Spinas, Otmar
Powiązania:
https://bibliotekanauki.pl/articles/1205305.pdf
Data publikacji:
1998
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Opis:
Generalizing [ShSp], for every n < ω we construct a ZFC-model where ℌ(n), the distributivity number of r.o.$(P(ω)/fin)^n$, is greater than ℌ(n+1). This answers an old problem of Balcar, Pelant and Simon (see [BaPeSi]). We also show that both Laver and Miller forcings collapse the continuum to ℌ(n) for every n < ω, hence by the first result, consistently they collapse it below ℌ(n).
Źródło:
Fundamenta Mathematicae; 1998, 158, 1; 81-93
0016-2736
Pojawia się w:
Fundamenta Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Cardinal invariants of ultraproducts of Boolean algebras
Autorzy:
Rosłanowski, Andrzej
Shelah, Saharon
Powiązania:
https://bibliotekanauki.pl/articles/1205389.pdf
Data publikacji:
1998
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Opis:
We deal with some problems posed by Monk [Mo 1], [Mo 3] and related to cardinal invariants of ultraproducts of Boolean algebras. We also introduce and investigate several new cardinal invariants.
Źródło:
Fundamenta Mathematicae; 1998, 155, 2; 101-151
0016-2736
Pojawia się w:
Fundamenta Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Categoricity of theories in Lκω, when κ is a measurable cardinal. Part 1
Autorzy:
Shelah, Saharon
Kolman, Oren
Powiązania:
https://bibliotekanauki.pl/articles/1205461.pdf
Data publikacji:
1996
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Opis:
We assume a theory T in the logic $L_{κω}$ is categorical in a cardinal λ \≥ κ, and κ is a measurable cardinal. We prove that the class of models of T of cardinality < λ (but ≥ |T|+κ) has the amalgamation property; this is a step toward understanding the character of such classes of models.
Źródło:
Fundamenta Mathematicae; 1996, 151, 3; 209-240
0016-2736
Pojawia się w:
Fundamenta Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 29

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies