The separation axioms
J. Guia (1986)
Matematički Vesnik
Similarity:
J. Guia (1986)
Matematički Vesnik
Similarity:
M. Jelić (1989)
Matematički Vesnik
Similarity:
Richard Gostanian, Karel Hrbacek
Similarity:
CONTENTS0. Preliminaries....................................................................... 71. Adding propositional connectives to ............... 82. The propositional part of (S)............................. 103. The operation S and the Boolean algebra ............... 114. General model-theoretic properties of (S)...... 175. Hanf number computations...................................................... 226. Negative results for (S)...........................................
Maysam Maysami Sadr, Danial Bouzarjomehri Amnieh (2024)
Archivum Mathematicum
Similarity:
Albeverio, Kondratiev, and Röckner have introduced a type of differential geometry, which we call lifted geometry, for the configuration space of any manifold . The name comes from the fact that various elements of the geometry of are constructed via lifting of the corresponding elements of the geometry of . In this note, we construct a general algebraic framework for lifted geometry which can be applied to various “infinite dimensional spaces” associated to . In order to define...
J. Guia (1984)
Matematički Vesnik
Similarity:
Kyriakos Keremedis, Evangelos Felouzis, Eleftherios Tachtsis (2007)
Bulletin of the Polish Academy of Sciences. Mathematics
Similarity:
In the framework of ZF (Zermelo-Fraenkel set theory without the Axiom of Choice) we provide topological and Boolean-algebraic characterizations of the statements " is countably compact" and " is compact"
James H. Schmerl (2003)
Fundamenta Mathematicae
Similarity:
The plane can be covered by n + 2 clouds iff .
Rogério Augusto dos Santos Fajardo (2010)
Bulletin of the Polish Academy of Sciences. Mathematics
Similarity:
We construct, under Axiom ♢, a family of indecomposable Banach spaces with few operators such that every operator from into is weakly compact, for all ξ ≠ η. In particular, these spaces are pairwise essentially incomparable. Assuming no additional set-theoretic axiom, we obtain this result with size instead of .
G. Ervynck (1991)
Matematički Vesnik
Similarity:
Eleftherios Tachtsis (2010)
Bulletin of the Polish Academy of Sciences. Mathematics
Similarity:
We work in ZF set theory (i.e., Zermelo-Fraenkel set theory minus the Axiom of Choice AC) and show the following: 1. The Axiom of Choice for well-ordered families of non-empty sets () does not imply “the Tychonoff product , where 2 is the discrete space 0,1, is countably compact” in ZF. This answers in the negative the following question from Keremedis, Felouzis, and Tachtsis [Bull. Polish Acad. Sci. Math. 55 (2007)]: Does the Countable Axiom of Choice for families of non-empty sets...
Horst Herrlich, Eleftherios Tachtsis (2017)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
We investigate the question whether a system of homogeneous linear equations over is non-trivially solvable in provided that each subsystem with is non-trivially solvable in where is a fixed cardinal number such that . Among other results, we establish the following. (a) The answer is ‘No’ in the finite case (i.e., being finite). (b) The answer is ‘No’ in the denumerable case (i.e., and a natural number). (c) The answer in case that is uncountable and is ‘No...
Jan Starý (2015)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
We introduce the notion of a coherent -ultrafilter on a complete ccc Boolean algebra, strengthening the notion of a -point on , and show that these ultrafilters exist generically under . This improves the known existence result of Ketonen [On the existence of -points in the Stone-Čech compactification of integers, Fund. Math. 92 (1976), 91–94]. Similarly, the existence theorem of Canjar [On the generic existence of special ultrafilters, Proc. Amer. Math. Soc. 110 (1990), no. 1,...
Krzysztof Ciesielski, Janusz Pawlikowski (2003)
Fundamenta Mathematicae
Similarity:
We formulate a Covering Property Axiom , which holds in the iterated perfect set model, and show that it implies easily the following facts. (a) For every S ⊂ ℝ of cardinality continuum there exists a uniformly continuous function g: ℝ → ℝ with g[S] = [0,1]. (b) If S ⊂ ℝ is either perfectly meager or universally null then S has cardinality less than . (c) cof() = ω₁ < , i.e., the cofinality of the measure ideal is ω₁. (d) For every uniformly bounded sequence of Borel functions...
Zygmunt Ratajczyk
Similarity:
CONTENTS0. Introduction.......................................................................... 51. Preliminaries............................................................................... 72. Basic facts to be used in the sequel....................................... 113. Predicates OD(.,.) and CL(.,.).................................................... 174. Predicate Sels............................................................................. 185. Strong -collection...........................................................
Horst Herrlich, Paul Howard, Kyriakos Keremedis (2016)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
We show that given infinite sets and a function which is onto and -to-one for some , the preimage of any ultrafilter of under extends to an ultrafilter. We prove that the latter result is, in some sense, the best possible by constructing a permutation model with a set of atoms and a finite-to-one onto function such that for each free ultrafilter of its preimage under does not extend to an ultrafilter. In addition, we show that in there exists an ultrafilter compact...
Richard J. Gardner, Daniel Hug, Wolfgang Weil (2013)
Journal of the European Mathematical Society
Similarity:
An investigation is launched into the fundamental characteristics of operations on and between sets, with a focus on compact convex sets and star sets (compact sets star-shaped with respect to the origin) in -dimensional Euclidean space . It is proved that if , with three trivial exceptions, an operation between origin-symmetric compact convex sets is continuous in the Hausdorff metric, covariant, and associative if and only if it is addition for some . It is also demonstrated...
István Juhász, Lajos Soukup, William Weiss (2006)
Fundamenta Mathematicae
Similarity:
Let (α) denote the class of all cardinal sequences of length α associated with compact scattered spaces (or equivalently, superatomic Boolean algebras). Also put . We show that f ∈ (α) iff for some natural number n there are infinite cardinals and ordinals such that and where each . Under GCH we prove that if α < ω₂ then (i) ; (ii) if λ > cf(λ) = ω, ; (iii) if cf(λ) = ω₁, ; (iv) if cf(λ) > ω₁, . This yields a complete characterization of the classes (α) for all...
Jean-Claude Sikorav (2001)
Bulletin de la Société Mathématique de France
Similarity:
For an exact differential form on a Riemannian manifold to have a primitive bounded by a given function , by Stokes it has to satisfy some weighted isoperimetric inequality. We show the converse up to some constants if has bounded geometry. For a volume form, it suffices to have the inequality ( for every compact domain ). This implies in particular the “well-known” result that if is the universal covering of a compact Riemannian manifold with non-amenable fundamental group, then...
Dušan Pokorný, Luděk Zajíček (2022)
Czechoslovak Mathematical Journal
Similarity:
We give a complete characterization of closed sets whose distance function is DC (i.e., is the difference of two convex functions on ). Using this characterization, a number of properties of such sets is proved.
Nathan Keller (2012)
Journal of the European Mathematical Society
Similarity:
The well-known Impossibility Theorem of Arrow asserts that any generalized social welfare function (GSWF) with at least three alternatives, which satisfies Independence of Irrelevant Alternatives (IIA) and Unanimity and is not a dictatorship, is necessarily non-transitive. In 2002, Kalai asked whether one can obtain the following quantitative version of the theorem: For any , there exists such that if a GSWF on three alternatives satisfies the IIA condition and its probability of...