On the equiponderate equation and a representation of weight quadruplets.
On the equivalence between CH and the existence of certain -Luzin subsets of .
On the Ershov upper semilattice .
On the Euler characteristic of the links of a set determined by smooth definable functions
The purpose of this paper is to carry over to the o-minimal settings some results about the Euler characteristic of algebraic and analytic sets. Consider a polynomially bounded o-minimal structure on the field ℝ of reals. A () smooth definable function φ: U → ℝ on an open set U in ℝⁿ determines two closed subsets W := u ∈ U: φ(u) ≤ 0, Z := u ∈ U: φ(u) = 0. We shall investigate the links of the sets W and Z at the points u ∈ U, which are well defined up to a definable homeomorphism. It is proven...
On the existence of a -closed dense subset
It is consistent with the axioms of set theory that there are two co-dense partial orders, one of them -closed and the other one without a -closed dense subset.
On the existence of factor sets by external equivalences in IST.
On the Existence of Free Ultrafilters on ω and on Russell-sets in ZF
In ZF (i.e. Zermelo-Fraenkel set theory without the Axiom of Choice AC), we investigate the relationship between UF(ω) (there exists a free ultrafilter on ω) and the statements "there exists a free ultrafilter on every Russell-set" and "there exists a Russell-set A and a free ultrafilter ℱ on A". We establish the following results: 1. UF(ω) implies that there exists a free ultrafilter on every Russell-set. The implication is not reversible in ZF. 2. The statement...
On the existence of group localizations under large-cardinal axioms.
Uno de los problemas abiertos más antiguos de la teoría de grupos categórica es si todo par ortogonal (formado por una clase de grupos y una clase de homomorfismos que se determinan mutuamente por ortogonalidad en el sentido de Freyd-Kelly), se halla asociado a un funtor de localización. Se sabe que esto es cierto si se acepta la validez de un cierto axioma de cardinales grandes (el principio de Vopenka), pero no se conoce ninguna demostración mediante los axiomas ordinarios (ZFC) de la teoría de...
On the existence of maps having graphs connected and dense
On the existence of measures on σ-algebras
On the existence of prime ideals in Boolean algebras
Rasiowa and Sikorski [5] showed that in any Boolean algebra there is an ultrafilter preserving countably many given infima. In [3] we proved an extension of this fact and gave some applications. Here, besides further remarks, we present some of these results in a more general setting.
On the existence of super-decomposable pure-injective modules over strongly simply connected algebras of non-polynomial growth
Assume that k is a field of characteristic different from 2. We show that if Γ is a strongly simply connected k-algebra of non-polynomial growth, then there exists a special family of pointed Γ-modules, called an independent pair of dense chains of pointed modules. Then it follows by a result of Ziegler that Γ admits a super-decomposable pure-injective module if k is a countable field.
On The Exponential Properties Of The Implication
On the exponential properties of the implication.
On the extensibility of closed filters in T spaces and the existence of well orderable filter bases
We show that the statement CCFC = “the character of a maximal free filter of closed sets in a space is not countable” is equivalent to the Countable Multiple Choice Axiom CMC and, the axiom of choice AC is equivalent to the statement CFE = “closed filters in a space extend to maximal closed filters”. We also show that AC is equivalent to each of the assertions: “every closed filter in a space extends to a maximal closed filter with a well orderable filter base”, “for every set ,...
On the extent of separable, locally compact, selectively (a)-spaces
The author has recently shown (2014) that separable, selectively (a)-spaces cannot include closed discrete subsets of size . It follows that, assuming CH, separable selectively (a)-spaces necessarily have countable extent. However, in the same paper it is shown that the weaker hypothesis "" is not enough to ensure the countability of all closed discrete subsets of such spaces. In this paper we show that if one adds the hypothesis of local compactness, a specific effective (i.e., Borel) parametrized...
On the failure of Birkhoff's theorem for locally small based equational categories of algebras
On the first homology of Peano continua
We show that the first homology group of a locally connected compact metric space is either uncountable or finitely generated. This is related to Shelah's well-known result (1988) which shows that the fundamental group of such a space satisfies a similar condition. We give an example of such a space whose fundamental group is uncountable but whose first homology is trivial, showing that our result does not follow from Shelah's. We clarify a claim made by Pawlikowski (1998) and offer a proof of the...
On the form of countable admissible ordinals
On the form of functions which preserve regressive isols