Informacja

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

Wyszukujesz frazę "Boolean algebra" wg kryterium: Temat


Wyświetlanie 1-4 z 4
Tytuł:
The sequential topology on complete Boolean algebras
Autorzy:
Główczyński, Wiesław
Balcar, Bohuslav
Jech, Thomas
Powiązania:
https://bibliotekanauki.pl/articles/1205404.pdf
Data publikacji:
1998
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
complete Boolean algebra
sequential topology
Maharam submeasure
sequential cardinal
Opis:
We investigate the sequential topology $τ_{s}$ on a complete Boolean algebra B determined by algebraically convergent sequences in B. We show the role of weak distributivity of B in separation axioms for the sequential topology. The main result is that a necessary and sufficient condition for B to carry a strictly positive Maharam submeasure is that B is ccc and that the space $(B,τ_{s})$ is Hausdorff. We also characterize sequential cardinals.
Źródło:
Fundamenta Mathematicae; 1998, 155, 1; 59-78
0016-2736
Pojawia się w:
Fundamenta Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Quantum logics with classically determined states
Autorzy:
de Lucia, Paolo
Pták, Pavel
Powiązania:
https://bibliotekanauki.pl/articles/965853.pdf
Data publikacji:
1999
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
quantum logic (= orthomodular poset)
Boolean algebra
state (= probability measure)
Źródło:
Colloquium Mathematicum; 1999, 80, 1; 147-154
0010-1354
Pojawia się w:
Colloquium Mathematicum
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Subdirect decompositions of algebras from 2-clone extensions of varieties
Autorzy:
Płonka, J.
Powiązania:
https://bibliotekanauki.pl/articles/966077.pdf
Data publikacji:
1998
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
lattice
varieties
subdirectly irreducible algebra
Boolean algebra
clone extension of a variety
subdirect product
Opis:
Let τ:F → ℕ be a type of algebras, where F is a set of fundamental operation symbols and ℕ is the set of nonnegative integers. We assume that |F|≥2 and 0 ∉ (F). For a term φ of type τ we denote by F(φ) the set of fundamental operation symbols from F occurring in φ. An identity φ ≉ ψ of type τ is called clone compatible if φ and ψ are the same variable or F(φ)=F(ψ)≠$\emptyset$. For a variety V of type τ we denote by $V^{c,2}$ the variety of type τ defined by all identities φ ≉ ψ from Id(V) which are either clone compatible or |F(φ)|, |F(ψ)|≥2. Under some assumption on terms (condition (0.iii)) we show that an algebra ${\gt A}$ belongs to $V^{c,2}$ iff it is isomorphic to a subdirect product of an algebra from V and of some other algebras of very simple structure. This result is applied to finding subdirectly irreducible algebras in $V^{c,2}$ where V is the variety of distributive lattices or the variety of Boolean algebras.
Źródło:
Colloquium Mathematicum; 1998, 77, 2; 189-199
0010-1354
Pojawia się w:
Colloquium Mathematicum
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ł
    Wyświetlanie 1-4 z 4

    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