Closure properties of countable non-standard integers
Club-guessing and non-structure of trees
We study the possibilities of constructing, in ZFC without any additional assumptions, strongly equivalent non-isomorphic trees of regular power. For example, we show that there are non-isomorphic trees of power ω₂ and of height ω · ω such that for all α < ω₁· ω · ω, E has a winning strategy in the Ehrenfeucht-Fraïssé game of length α. The main tool is the notion of a club-guessing sequence.
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.