Approximations of -classes and -classes
Äquivalenz- und Ordnungsrelationen
Archimedean and geodetical biequivalences
Archimedean frames, revisited
This paper extends the notion of an archimedean frame to frames which are not necessarily algebraic. The new notion is called joinfitness and is Choice-free. Assuming the Axiom of Choice and for compact normal algebraic frames, the new and the old coincide. There is a subfunctor from the category of compact normal frames with skeletal maps with joinfit values, which is almost a coreflection. Conditions making it so are briefly discussed. The concept of an infinitesimal element arises naturally,...
Arhangel'skiĭ sheaf amalgamations in topological groups
We consider amalgamation properties of convergent sequences in topological groups and topological vector spaces. The main result of this paper is that, for arbitrary topological groups, Nyikos’s property is equivalent to Arhangel’skiĭ’s formally stronger property α₁. This result solves a problem of Shakhmatov (2002), and its proof uses a new perturbation argument. We also prove that there is a topological space X such that the space of continuous real-valued functions on X with the topology...
Arithmetic of cuts and cuts of classes
Aronszajn orderings.
Around cofin
We show the consistency of "there is a nice σ-ideal ℐ on the reals with add(ℐ) = ℵ₁ which cannot be represented as the union of a strictly increasing sequence of length ω₁ of σ-subideals". This answers [Borodulin-Nadzieja and Głąb, Math. Logic Quart. 57 (2011), 582-590, Problem 6.2(ii)].
Around splitting and reaping
We prove several results on some cardinal invariants of the continuum which are closely related to either the splitting number or its dual, the reaping number .
Assertion Q distinguishes topologically ω* and when regular and
Assignment problem with fuzzy estimates of effectiveness
Associative -dimensional copulas
The associativity of -dimensional copulas in the sense of Post is studied. These copulas are shown to be just -ary extensions of associative 2-dimensional copulas with special constraints, thus they solve an open problem of R. Mesiar posed during the International Conference FSTA 2010 in Liptovský Ján, Slovakia.
Asymmetric tie-points and almost clopen subsets of
A tie-point of compact space is analogous to a cut-point: the complement of the point falls apart into two relatively clopen non-compact subsets. We review some of the many consistency results that have depended on the construction of tie-points of . One especially important application, due to Veličković, was to the existence of nontrivial involutions on . A tie-point of has been called symmetric if it is the unique fixed point of an involution. We define the notion of an almost clopen set...
Autohomeomorphism groups of spaces with unique non-isolated point
Automata, Borel functions and real numbers in Pisot base
This note is about functions ƒ : Aω → Bω whose graph is recognized by a Büchi finite automaton on the product alphabet A x B. These functions are Baire class 2 in the Baire hierarchy of Borel functions and it is decidable whether such function are continuous or not. In 1920 W. Sierpinski showed that a function is Baire class 1 if and only if both the overgraph and the undergraph of f are Fσ. We show that such characterization is also true for functions on infinite words if we replace the real...
Automorphisms of
We study conditions on automorphisms of Boolean algebras of the form (where λ is an uncountable cardinal and is the ideal of sets of cardinality less than κ ) which allow one to conclude that a given automorphism is trivial. We show (among other things) that every automorphism of which is trivial on all sets of cardinality κ⁺ is trivial, and that implies both that every automorphism of (ℝ)/Fin is trivial on a cocountable set and that every automorphism of (ℝ)/Ctble is trivial.
Axial permutations of ω²
We prove that every permutation of ω² is a composition of a finite number of axial permutations, where each axial permutation moves only a finite number of elements on each axis.
Axiomatische Mengenlehre ohne Elemente von Mengen.
Axiomatizability in fuzzy logic
Axiomatizability of second order arithmetic with ω-rule