Concerning basic notions of the measurement theory
Concerning my note on universal homogeneous models.
Concrete quantum logics with generalised compatibility
We present three results stating when a concrete (=set-representable) quantum logic with covering properties (generalization of compatibility) has to be a Boolean algebra. These results complete and generalize some previous results [3, 5] and answer partiallz a question posed in [2].
Condensation and large cardinals
We introduce two generalized condensation principles: Local Club Condensation and Stationary Condensation. We show that while Strong Condensation (a generalized condensation principle introduced by Hugh Woodin) is inconsistent with an ω₁-Erdős cardinal, Stationary Condensation and Local Club Condensation (which should be thought of as weakenings of Strong Condensation) are both consistent with ω-superstrong cardinals.
Conditional Probability in Nonstandard Analysis
Conditional probability in quantum axiomatics
Conditional programmed automata
Congruence preserving operations on the ring
We investigate the interval in the lattice of clones on the ring between the clone of polynomial operations and the clone of congruence preserving operations. All clones in this interval are known and described by means of generators. In this paper, we characterize each of these clones by the property of preserving a small set of relations. These relations turn out to be in a close connection to commutators.
Congruences and ideals in lattice effect algebras as basic algebras
Effect basic algebras (which correspond to lattice ordered effect algebras) are studied. Their ideals are characterized (in the language of basic algebras) and one-to-one correspondence between ideals and congruences is shown. Conditions under which the quotients are OMLs or MV-algebras are found.
Congruences parfaites et quasi-parfaites
Conjugacy equivalence relation on subgroups
If G is a countable group containing a copy of F₂ then the conjugacy equivalence relation on subgroups of G attains the maximal possible complexity.
Conjugacy in monoids.
Connectedness of the theory of non-surjective injections
Connections between cuts and maximum segments
Connections between different amoeba algebras
Connections between ideals of non-commutative generalizations of -algebras and ideals of their underlying lattices
Connectivity properties of sequential Boolean algebras
Consequences of compactness properties for abstract logics
Si determinano alcune restrizioni sulle possibili cardinalità dei modelli di teorie in logiche soddisfacenti alcune proprietà di compattezza. Si dà una caratterizzazione delle logiche -compatte generate da quantificatori di cardinalità. Si stabilisce che il primo cardinale tale che una logica è -compatta è debolmente inaccessibile e soddisfa la proprietà dell'albero. Dai risultati enunciati appare un raffronto assai particolareggiato fra i due concetti di -compattezza e -compattezza.
Conservación de convergencias en G(H) por un operador lineal.
Given a real separable Hilbert space H, we denote with S = {E(n) | n belongs to N} a sequence of closed linear subspaces of H.In previous papers, the strong, weak, a--> and b--> convergences are defined and characterized. Now, given a sequence S with strong, weak, a--> or b--> limit, and a linear operator of H, A, the sequence AS is studied.
Conservation Rules of Direct Sum Decomposition of Groups
In this article, conservation rules of the direct sum decomposition of groups are mainly discussed. In the first section, we prepare miscellaneous definitions and theorems for further formalization in Mizar [5]. In the next three sections, we formalized the fact that the property of direct sum decomposition is preserved against the substitutions of the subscript set, flattening of direct sum, and layering of direct sum, respectively. We referred to [14], [13] [6] and [11] in the formalization.