EuDML | Browse

The abstract model-theoretic concepts of compactness and Löwenheim-Skolem properties are investigated in the "softer" framework of pre-institutions [18]. Two compactness results are presented in this paper: a more informative reformulation of the compactness theorem for pre-institution transformations, and a theorem on natural equivalences with an abstract form of the first-order pre-institution. These results rely on notions of compact transformation, which are introduced as arrow-oriented generalizations...

Complete subobjects of fuzzy sets over $M V$ -algebras

Jiří Močkoř (2004)

Czechoslovak Mathematical Journal

A subobjects structure of the category $Ω$ - of $Ω$ -fuzzy sets over a complete $M V$ -algebra $Ω = (L, \land, \lor, \otimes, \to)$ is investigated, where an $Ω$ -fuzzy set is a pair $𝐀 = (A, δ)$ such that $A$ is a set and $δ A \times A \to Ω$ is a special map. Special subobjects (called complete) of an $Ω$ -fuzzy set $𝐀$ which can be identified with some characteristic morphisms $𝐀 \to Ω^{*} = (L \times L, μ)$ are then investigated. It is proved that some truth-valued morphisms $\neg_{Ω} Ω^{*} \to Ω^{*}, \cap_{Ω}$ , $\cup_{Ω} Ω^{*} \times Ω^{*} \to Ω^{*}$ are characteristic morphisms of complete subobjects.

Completely normal locales

Bohumil Šmarda (1990)

Acta Universitatis Carolinae. Mathematica et Physica

Completely regular spaces

H. L. Bentley, Eva Lowen-Colebunders (1991)

Commentationes Mathematicae Universitatis Carolinae

We conduct an investigation of the relationships which exist between various generalizations of complete regularity in the setting of merotopic spaces, with particular attention to filter spaces such as Cauchy spaces and convergence spaces. Our primary contribution consists in the presentation of several counterexamples establishing the divergence of various such generalizations of complete regularity. We give examples of: (1) a contigual zero space which is not weakly regular and is not a Cauchy...

The paper considers a generalization of the standard completion of a partially ordered set through the collection of all its lower sets.

Currently displaying 61 – 80 of 109

Previous Page 4 Next

Displaying 61 – 80 of 109

Cofinalities of complete Boolean algebras.

Cogeneration and minimal realization (Preliminary communication)

Coherence and Embedding of Algebras.

Coherent spaces constructively

Cohomology Theories In Synthetic Differential Geometry.

Colimits in free categories

Commutative monoids all of whose principal ideals are projective.

Commutative semigroup cohomology.

Compact topologies on locally presentable categories

Compactness and Löwenheim-Skolem properties in categories of pre-institutions

Complete subobjects of fuzzy sets over $M V$ -algebras

Completely normal locales

Completely regular spaces

Completion as reflection

Completion functors for Cauchy spaces.

Completion of partially ordered sets

Completions in biaffine sets.

Completions of small subcategories

Composition-representative subsets.

Concerning a non-realizability of connected compact semi-separated closure operations by set-systems

Currently displaying 61 – 80 of 109