Several order-theoretic properties of the real axis, of the monads and of the infinites in nonstandard models of Analysis are considered. Pseudometrizability and topological completeness of related uniformities are studied.
We introduce the sum of observables in fuzzy quantum spaces which generalize the Kolmogorov probability space using the ideas of fuzzy set theory.
Hölzl et al. showed that it was possible to build “a generic theory of limits based on filters” in Isabelle/HOL [22], [7]. In this paper we present our formalization of this theory in Mizar [6]. First, we compare the notions of the limit of a family indexed by a directed set, or a sequence, in a metric space [30], a real normed linear space [29] and a linear topological space [14] with the concept of the limit of an image filter [16]. Then, following Bourbaki [9], [10] (TG.III, §5.1 Familles sommables...
It is shown that for every Darboux function F there is a non-constant continuous function f such that F + f is still Darboux. It is shown to be consistent - the model used is iterated Sacks forcing - that for every Darboux function F there is a nowhere constant continuous function f such that F + f is still Darboux. This answers questions raised in [5] where it is shown that in various models of set theory there are universally bad Darboux functions, Darboux functions whose sum with any nowhere...
A super real closed ring is a commutative ring equipped with the operation of all continuous functions ℝⁿ → ℝ. Examples are rings of continuous functions and super real fields attached to z-prime ideals in the sense of Dales and Woodin. We prove that super real closed rings which are fields are an elementary class of real closed fields which carry all o-minimal expansions of the real field in a natural way. The main part of the paper develops the commutative algebra of super real closed rings, by...
Let κ < λ be regular cardinals. We say that an embedding j: V → M with critical point κ is λ-tall if λ < j(κ) and M is closed under κ-sequences in V. Silver showed that GCH can fail at a measurable cardinal κ, starting with κ being κ⁺⁺-supercompact. Later, Woodin improved this result, starting from the optimal hypothesis of a κ⁺⁺-tall measurable cardinal κ. Now more generally, suppose that κ ≤ λ are regular and one wishes the GCH to fail at λ with κ being λ-supercompact. Silver’s methods show...
We force and construct a model containing supercompact cardinals in which, for any measurable cardinal δ and any ordinal α below the least beth fixed point above δ, if is regular, δ is strongly compact iff δ is δ + α + 1 strong, except possibly if δ is a limit of cardinals γ which are strongly compact. The choice of the least beth fixed point above δ as our bound on α is arbitrary, and other bounds are possible.
A De Morgan quasilattice is an algebra satisfying hyperidentities of the variety of De Morgan algebras (lattices). In this paper we give a functional representation of the free n-generated De Morgan quasilattice with two binary and one unary operations. Namely, we define the concept of super-De Morgan function and prove that the free De Morgan quasilattice with two binary and one unary operations on nfree generators is isomorphic to the De Morgan quasilattice of super-De Morgan functions of nvariables....
We continue the study of finitary abstract elementary classes beyond ℵ₀-stability. We suggest a possible notion of superstability for simple finitary AECs, and derive from this notion several good properties for independence. We also study constructible models and the behaviour of Galois types and weak Lascar strong types in this context. We show that superstability is implied by a-categoricity in a suitable cardinal. As an application we prove the following theorem: Assume that is a simple, tame,...
Sela a annoncé une solution complète d’un problème de Tarski, qui demanda vers 1945 quels sont les groupes de type fini qui ont la même théorie élémentaire qu’un groupe libre. Nous discuterons des travaux de Remeslennikov, Kharlampovich-Myasnikov, Sela, Champetier-Guirardel et autres sur la structure des groupes limites (les groupes de type fini qui sont “limites”de groupes libres, ou encore, qui ont la même théorie universelle qu’un groupe libre). Nous indiquerons quelques outils utilisés par Sela...