English
Related papers

Related papers: A Connection between Hyperreals and Topological Fi…

200 papers

The top of the attractor $A$ of a hyperbolic iterated function system $\left\{ f_{i}:\mathbb{R}^{n}\rightarrow\mathbb{R}^{n}|i=1,2,\dots,M\right\} $ is defined and used to extend self-similar tilings to overlapping systems. The theory…

Dynamical Systems · Mathematics 2026-03-24 Michael F. Barnsley , Corey de Wit

We show the consistency of ZFC +''there is no NWD-ultrafilter on omega'', which means: for every non principle ultrafilter D on the set of natural numbers, there is a function f from the set of natural numbers to the reals, such that for…

Logic · Mathematics 2009-09-25 Saharon Shelah

We survey some connections between topological dynamics, semigroups of ultrafilters, and combinatorics. As an application, we give a proof, based on ideas of Bergelson and Hindman, of the Hales-Jewett partition theorem.

Logic · Mathematics 2009-09-25 Andreas Blass

Let $R$ be a commutative Noetherian ring, and let $N$ be a non-zero finitely generated $R$-module. The purpose of this paper is to show that $N$ is locally unmixed if and only if, for any $N$-proper ideal $I$ of $R$ generated by $\Ht_N I$…

Commutative Algebra · Mathematics 2017-03-03 Mona Bahadorian , Monireh Sedghi , Reza Naghipour

We prove that there exists a nonprincipal ultrafilter $\mathcal U$ on $\mathbb N$ such that for every countable (or separable) structure $B$ in a countable language the quotient map from the reduced product associated with the Fr\'echet…

Logic · Mathematics 2021-04-20 Ilijas Farah

For each $n$, we construct a separable metric space $\mathbb{U}_n$ that is universal in the coarse category of separable metric spaces with asymptotic dimension ($\mathop{asdim}$) at most $n$ and universal in the uniform category of…

Geometric Topology · Mathematics 2017-08-14 G. C. Bell , A. Nagórko

We begin the study of the consequences of the existence of certain infinite matrices. Our present application is to compactness of products of topological spaces.

Logic · Mathematics 2008-03-26 Paolo Lipparini

Treatises about General Topology that emphasize the notion of uniformity and uniform space find, of course, no difficulty in defining the notion of a complete uniform space and in constructing the completion of a metric space, via its…

General Topology · Mathematics 2013-10-22 Eliahu Levy

Let R be a commutative ring and let Spec(R) denote the collection of prime ideals of R. We define a topology on Spec(R) by using ultrafilters and demonstrate that this topology is identical to the well known patch or constructible topology.…

Commutative Algebra · Mathematics 2007-10-14 Marco Fontana , K. Alan Loper

We further investigate a divisibility relation on the set $\beta N$ of ultrafilters on the set of natural numbers. We single out prime ultrafilters (divisible only by 1 and themselves) and establish a hierarchy in which a position of every…

Logic · Mathematics 2017-03-20 Boris Šobot

A semigroup A is an abelian semigroup with identity 0. A set of positives in A is an ordered down-directed set P containing with every r an element r/2 with r/2 + r/2 = r. A continuity space is an abstract set X equipped with a map d : XxX…

General Topology · Mathematics 2008-11-18 Fleischer Isidore , Giroux Gaston

Without assuming the field structure on the additive group of real numbers $\mathbb{R}$ with the usual order $<,$ we explore the fact that every proper subgroup of $\mathbb{R}$ is either closed or dense. This property of subgroups of the…

Number Theory · Mathematics 2014-05-21 Jitender Singh

Based on the intuitive notion of convexity, we formulate a universal property defining interval objects in a category with finite products. Interval objects are structures corresponding to closed intervals of the real line, but their…

Category Theory · Mathematics 2025-05-01 Martin Escardo , Alex Simpson

We isolate a new class of ultrafilters on N, called "quasi-selective" because they are intermediate between selective ultrafilters and P-points. (Under the Continuum Hypothesis these three classes are distinct.) The existence of…

Logic · Mathematics 2017-12-19 Andreas Blass , Mauro Di Nasso , Marco Forti

It is proved that if $D$ is a $UFD$ and $R$ is a $D$-algebra, such that $U(R)\cap D\neq U(D)$, then $R$ has a maximal subring. In particular, if $R$ is a ring which either contains a unit $x$ which is not algebraic over the prime subring of…

Rings and Algebras · Mathematics 2012-08-28 A. Azarang

We study shallow and deep neural networks whose inputs range over a general topological space. The model is built from a prescribed family of continuous feature maps and reduces to multilayer feedforward networks in the Euclidean case. We…

General Topology · Mathematics 2026-03-24 Vugar Ismailov

Let $S$ be a convex hypersurface (the boundary of a closed convex set $V$ with nonempty interior) in $\mathbb{R}^n$. We prove that $S$ contains no lines if and only if for every open set $U\supset S$ there exists a real-analytic convex…

Metric Geometry · Mathematics 2022-04-18 Daniel Azagra , Dmitriy Stolyarov

Ultrafilters are a tool, originating in mathematical logic and general topology, that has steadily found more and more uses in multiple areas of mathematics, such as combinatorics, dynamics, and algebra, among others. The purpose of this…

Combinatorics · Mathematics 2022-03-01 David J. Fernández-Bretón

We use the ultrafilter-convergence axiomatics for topological spaces to motivate in detail a gentle categorical introduction, first to Barr's Set-based relational T-algebras, and then to Burroni's T-preorders internal to a category C, here…

General Topology · Mathematics 2022-02-22 Amir Homayoun Nejah , Walter Tholen

Let $USC^*_p(X)$ be the topological space of real upper semicontinuous bounded functions defined on $X$ with the subspace topology of the product topology on ${}^X\mathbb{R}$. $\tilde\Phi^{\uparrow},\tilde\Psi^{\uparrow}$ are the sets of…

General Topology · Mathematics 2019-07-02 Lev Bukovský , Alexander V. Osipov