EuDML | Browse

Let X be a Polish space, and let C₀ and C₁ be disjoint coanalytic subsets of X. The pair (C₀,C₁) is said to be complete if for every pair (D₀,D₁) of disjoint coanalytic subsets of $ω^{ω}$ there exists a continuous function $f : ω^{ω} \to X$ such that $f^{- 1} (C ₀) = D ₀$ and $f^{- 1} (C ₁) = D ₁$ . We give several explicit examples of complete pairs of coanalytic sets.

Complete permutability of partitions in a set. I

Jitka Ševečková, František Šik (1989)

Archivum Mathematicum

Complete sequences of coanalytic sets

Riccardo Camerlo (2014)

Fundamenta Mathematicae

The notion of a complete sequence of pairwise disjoint coanalytic sets is investigated. Several examples are given and such sequences are characterised under analytic determinacy. The ideas are based on earlier results of Saint Raymond, and generalise them.

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 nonmeasurable unions

Robert Rałowski, Szymon Żeberski (2010)

Open Mathematics

Assume that no cardinal κ < 2ω is quasi-measurable (κ is quasi-measurable if there exists a κ-additive ideal of subsets of κ such that the Boolean algebra P(κ)/ satisfies c.c.c.). We show that for a metrizable separable space X and a proper c.c.c. σ-ideal II of subsets of X that has a Borel base, each point-finite cover ⊆ $𝕀$ of X contains uncountably many pairwise disjoint subfamilies , with $𝕀$ -Bernstein unions ∪ (a subset A ⊆ X is $𝕀$ -Bernstein if A and X A meet each Borel $𝕀$ -positive subset...

Currently displaying 201 – 220 of 407

Previous Page 11 Next

Displaying 201 – 220 of 407

Complements of congruences in an $Ω$ -group

Complete and model-complete theories of monadic algebras

Complete description for $m$ -equivalence types of superatomic $I$ -algebras.

Complete description of substitutions in cylindric algebras and other algebraic logics

Complete generators and maximal completions of $M V$ -algebras

Complete hypergroups, 1-hypergroups and fuzzy sets.

Complete index sets of recursively enumerable families

Complete pairs of coanalytic sets

Complete permutability of partitions in a set. I

Complete sequences of coanalytic sets

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

Completely nonmeasurable unions

Completeness, functional completeness and relative completeness.

Completeness of a cut-free calculus with equality and function constants.

Completeness of cut-free type theories.

Completeness properties of classical theories of finite type and the normal form theorem [Book]

Completeness Theorem for a First Order Linear-time Logic

Completeness Theorem for a Monadic Logic with Both First-order and Probability Quantifiers

Completeness theorem for probability models with finitely many valued measure in logic with integrals

Completeness theorem for the Evans logic of identities.

Currently displaying 201 – 220 of 407