Displaying similar documents to “A partial order where all monotone maps are definable”

Countable Toronto spaces

Gary Gruenhage, J. Moore (2000)

Fundamenta Mathematicae

Similarity:

A space X is called an α-Toronto space if X is scattered of Cantor-Bendixson rank α and is homeomorphic to each of its subspaces of the same rank. We answer a question of Steprāns by constructing a countable α-Toronto space for each α ≤ ω. We also construct consistent examples of countable α-Toronto spaces for each α < ω 1 .

Construction of non-subadditive measures and discretization of Borel measures

Johan Aarnes (1995)

Fundamenta Mathematicae

Similarity:

The main result of the paper provides a method for construction of regular non-subadditive measures in compact Hausdorff spaces. This result is followed by several examples. In the last section it is shown that “discretization” of ordinary measures is possible in the following sense. Given a positive regular Borel measure λ, one may construct a sequence of non-subadditive measures μ n , each of which only takes a finite set of values, and such that μ n converges to λ in the w*-topology. ...

The Σ* approach to the fine structure of L

Sy Friedman (1997)

Fundamenta Mathematicae

Similarity:

We present a reformulation of the fine structure theory from Jensen [72] based on his Σ* theory for K and introduce the Fine Structure Principle, which captures its essential content. We use this theory to prove the Square and Fine Scale Principles, and to construct Morasses.

The universal functorial Lefschetz invariant

Wolfgang Lück (1999)

Fundamenta Mathematicae

Similarity:

We introduce the universal functorial Lefschetz invariant for endomorphisms of finite CW-complexes in terms of Grothendieck groups of endomorphisms of finitely generated free modules. It encompasses invariants like Lefschetz number, its generalization to the Lefschetz invariant, Nielsen number and L 2 -torsion of mapping tori. We examine its behaviour under fibrations.

Linear orders and MA + ¬wKH

Zoran Spasojević (1995)

Fundamenta Mathematicae

Similarity:

I prove that the statement that “every linear order of size 2 ω can be embedded in ( ω ω , ≪ ) ” is consistent with MA + ¬ wKH.

Categoricity of theories in Lκω , when κ is a measurable cardinal. Part 1

Saharon Shelah, Oren Kolman (1996)

Fundamenta Mathematicae

Similarity:

We assume a theory T in the logic L κ ω is categorical in a cardinal λ κ, and κ is a measurable cardinal. We prove that the class of models of T of cardinality < λ (but ≥ |T|+κ) has the amalgamation property; this is a step toward understanding the character of such classes of models.

A theory of non-absolutely convergent integrals in Rn with singularities on a regular boundary

W. Jurkat, D. Nonnenmacher (1994)

Fundamenta Mathematicae

Similarity:

Specializing a recently developed axiomatic theory of non-absolutely convergent integrals in ℝ n , we are led to an integration process over quite general sets A ⊆ q ℝ n with a regular boundary. The integral enjoys all the usual properties and yields the divergence theorem for vector-valued functions with singularities in a most general form.

Computing Reidemeister classes

Davide Ferrario (1998)

Fundamenta Mathematicae

Similarity:

In order to compute the Nielsen number N(f) of a self-map f: X → X, some Reidemeister classes in the fundamental group π 1 ( X ) need to be distinguished. In this paper some algebraic results are given which allow distinguishing Reidemeister classes and hence computing the Reidemeister number of some maps. Examples of computations are presented.

An axiomatic theory of non-absolutely convergent integrals in Rn

W. Jurkat, D. Nonnenmacher (1994)

Fundamenta Mathematicae

Similarity:

We introduce an axiomatic approach to the theory of non-absolutely convergent integrals. The definition of our ν-integral will be descriptive and depends mainly on characteristic null conditions. By specializing our concepts we will later obtain concrete theories of integration with natural properties and very general versions of the divergence theorem.