Results 31 to 40 of about 26,374 (144)
, 2011 Following the previous works on the A. Pr\'astaro's formulation of algebraic topology of quantum (super) PDE's, it is proved that a canonical Heyting algebra ({\em integral Heyting algebra}) can be associated to any quantum PDE.
Prástaro, Agostino
core +1 more source
A note on countably generated complete Boolean algebras [PDF]
Proceedings of the American Mathematical Society, 1976 In this note, we construct (assuming the G.C.H.) a countably generated cardinal preserving complete Boolean algebra of cardinality ℵ ω + 2 {\aleph _{\omega + 2}} .
openaire +2 more sources
A system of relational syllogistic incorporating full Boolean reasoning
, 2013 We present a system of relational syllogistic, based on classical propositional logic, having primitives of the following form: Some A are R-related to some B; Some A are R-related to all B; All A are R-related to some B; All A are R-related to ...
A. Ferro +27 more
core +1 more source
Minimally generated Boolean algebras and the Nikodym property
Topology and its Applications, 2023 A Boolean algebra $\mathcal A$ has the Nikodym property if every pointwise bounded sequence of bounded finitely additive measures on $\mathcal A$ is uniformly bounded. Assuming the Diamond Principle $\Diamond$, we will construct an example of a minimally generated Boolean algebra $\mathcal A$ with the Nikodym property.
Sobota, Damian, Zdomskyy, Lyubomyr
openaire +2 more sources
Isols and generalized Boolean algebras
Rocky Mountain Journal of Mathematics, 1990 This paper proves the following result of the Stone Representation Theorem sort: Let C be a relatively complemented distributive lattice with zero whose elements form an isolated (immune or finite) set of natural numbers. Further, assume that one can effectively compute the lattice operations (meet, join, relative complement) and that one can ...
openaire +2 more sources
A topos perspective on the Kochen-Specker theorem: II. Conceptual Aspects, and Classical Analogues: [PDF]
, 1998 In a previous paper, we have proposed assigning as the value of a physical quantity in quantum theory, a certain kind of set (a sieve) of quantities that are functions of the given quantity.
Butterfield, J., Isham, C. J.
core +1 more source
Boolean Algebras Whose Ideals Are Disjointly Generated
Demonstratio Mathematica, 1985 By a paracompact (Lindelöf) algebra the author means a Boolean algebra such that each ideal of it has a countable set of generators (a set of pairwise disjoint generators). The connections between these algebras and their Stone spaces are studied in some detail; the starting point is that a Boolean algebra is paracompact (a Lindelöf algebra) if and ...
openaire +1 more source
On generalized circulants over a Boolean algebra
Linear Algebra and its Applications, 1984 The authors generalize a result of \textit{K.-H. Kim Butler} and \textit{Š. Schwarz} [Czech. Math. J. 26(101), 632--635 (1976; Zbl 0347.20037)] to classify all idempotent Boolean matrices which are \(r\)-circulants, i.e. \(a_{ij}=a_{i-1,j-r},\) subscripts taken mod \(n\).
Chao, Chong-Yun, Zhang, Mou-Cheng
openaire +2 more sources
A survey of recent results on congruence lattices of lattices [PDF]
, 2005 We review recent results on congruence lattices of (infinite) lattices. We discuss results obtained with box products, as well as categorical, ring-theoretical, and topological ...
Tuma, Jiri, Wehrung, Friedrich
core
Measures on minimally generated Boolean algebras
Topology and its Applications, 2007 The article deepens our knowledge about minimally generated Boolean algebras (in the sense of \textit{S. Koppelberg} [Order 5, No. 4, 393--406 (1989; Zbl 0676.06019)]. She proved that all such algebras are small in the sense that they do not contain an uncountable independent sequence. The author here shows that measures admitted by minimally generated
openaire +2 more sources