Club-guessing, good points and diamond
Shelah’s club-guessing and good points are used to show that the two-cardinal diamond principle holds for various values of and .
Cluster sets of arbitrary functions defined on plane sets
Co je „moderního‟ na moderní matematice?
Co je to elementární logika?
Co vlastně děláme, když děláme matematiku ?
Coalgebras for binary methods : properties of bisimulations and invariants
Coalgebras for endofunctors can be used to model classes of object-oriented languages. However, binary methods do not fit directly into this approach. This paper proposes an extension of the coalgebraic framework, namely the use of extended polynomial functors . This extension allows the incorporation of binary methods into coalgebraic class specifications. The paper also discusses how to define bisimulation and invariants for coalgebras of extended polynomial functors and proves many standard...
Coalgebras for Binary Methods: Properties of Bisimulations and Invariants
Coalgebras for endofunctors can be used to model classes of object-oriented languages. However, binary methods do not fit directly into this approach. This paper proposes an extension of the coalgebraic framework, namely the use of extended polynomial functors. This extension allows the incorporation of binary methods into coalgebraic class specifications. The paper also discusses how to define bisimulation and invariants for coalgebras of extended polynomial functors and proves many...
Coalitional fuzzy preferences
The paper deals with the concept of coalitional preferences in the group decision-making situations in which the agents and coalitions have only vague idea about the comparative acceptability of particular outcomes. The coalitional games with vague utilities (see, e. g., [6]) can serve for a good example when some types of the game solutions (e. g., the von Neumann– Morgenstern one) are to be extended to the fuzzy game case. In this paper, we consider the fuzzy analogies of coalitional preferences...
Coding in the existential theory of concatenation.
Coding that preserves Ramseyness
Cofinal families in certain function spaces
Cofinal types of topological directed orders
We investigate the structure of the Tukey ordering among directed orders arising naturally in topology and measure theory.
Cofinalities of complete Boolean algebras.
Cognitive (Semantic) Visualization of the Continuum Problem and Mirror Symmetric Proofs in the Transfinite Numbers Theory
Cohen real and disjoint refinement of perfect sets
We prove that if there exists a Cohen real over a model, then the family of perfect sets coded in the model has a disjoint refinement by perfect sets.
Coherence for pseudodistributive laws revisited.
Coherence of Proof-net Categories
Coherence of the double involution on -autonomous categories.
Coherent adequate sets and forcing square
We introduce the idea of a coherent adequate set of models, which can be used as side conditions in forcing. As an application we define a forcing poset which adds a square sequence on ω₂ using finite conditions.
Coherent randomness tests and computing the -trivial sets
We introduce Oberwolfach randomness, a notion within Demuth’s framework of statistical tests with moving components; here the components’ movement has to be coherent across levels. We show that a ML-random set computes all -trivial sets if and only if it is not Oberwolfach random, and indeed that there is a -trivial set which is not computable from any Oberwolfach random set. We show that Oberwolfach random sets satisfy effective versions of almost-everywhere theorems of analysis, such as the...