Cauchy completeness in elementary logic

1996 ◽  
Vol 61 (4) ◽  
pp. 1153-1157
Author(s):  
J. C. Cifuentes ◽  
A. M. Sette ◽  
D. Mundici
Keyword(s):  
Finite Type ◽  
Uniform Spaces ◽  
Induced Topology ◽  
Elementary Topology

AbstractThe inverse of the distance between two structures≢of finite typeτis naturally measured by the smallest integerqsuch that a sentence of quantifier rankq− 1 is satisfied bybut not by. In this way the space Strτof structures of typeτis equipped with a pseudometric. The induced topology coincides with the elementary topology of Strτ. Using the rudiments of the theory of uniform spaces, in this elementary note we prove the convergence of every Cauchy net of structures, for any typeτ.

ON THE QUANTIFICATION OF UNIFORM PROPERTIES.PART 2

2001 ◽  
Vol 37 (1-2) ◽  
pp. 169-184
Author(s):  
B. Windels
Keyword(s):  
Metric Spaces ◽  
Uniform Spaces ◽  
Complete Metric Spaces ◽  
The Subject

In 1930 Kuratowski introduced the measure of non-compactness for complete metric spaces in order to measure the discrepancy a set may have from being compact.Since then several variants and generalizations concerning quanti .cation of topological and uniform properties have been studied.The introduction of approach uniform spaces,establishes a unifying setting which allows for a canonical quanti .cation of uniform concepts,such as completeness,which is the subject of this article.

LIFTING THE FUNCTOR ITO THE CATEGORY OF UNIFORM SPACES

2020 ◽  
Vol 4 (1) ◽  
pp. 29-39
Author(s):  
Dilrabo Eshkobilova ◽  
Keyword(s):  
Compact Support ◽  
Probability Measures ◽  
Uniform Spaces ◽  
Continuous Maps ◽  
Uniformly Continuous

Uniform properties of the functor Iof idempotent probability measures with compact support are studied. It is proved that this functor can be lifted to the category Unif of uniform spaces and uniformly continuous maps

A NOTE ON COVERING L−LOCALLY UNIFORM SPACES

2020 ◽  
Vol 9 (9) ◽  
pp. 7137-7148
Author(s):  
J. Moshahary ◽  
D. Kr. Mitra
Keyword(s):  
Uniform Spaces

On ARU-Resolutions of Uniform Spaces

2003 ◽  
Vol 10 (2) ◽  
pp. 201-207
Author(s):  
V. Baladze
Keyword(s):  
Uniform Space ◽  
Uniform Spaces

Abstract In this paper theorems which give conditions for a uniform space to have an ARU-resolution are proved. In particular, a finitistic uniform space admits an ARU-resolution if and only if it has trivial uniform shape or it is an absolute uniform shape retract.

On Homology and Cohomology Groups of Remainders

2004 ◽  
Vol 11 (4) ◽  
pp. 613-633
Author(s):  
V. Baladze ◽  
L. Turmanidze
Keyword(s):  
Uniform Space ◽  
Cohomology Groups ◽  
Uniform Spaces ◽  
Intrinsic Characterization

Abstract Border homology and cohomology groups of pairs of uniform spaces are defined and studied. These groups give an intrinsic characterization of Čech type homology and cohomology groups of the remainder of a uniform space.

scholarly journals A study of uniformities on the space of uniformly continuous mappings

2020 ◽  
Vol 18 (1) ◽  
pp. 1478-1490
Author(s):  
Ankit Gupta ◽  
Abdulkareem Saleh Hamarsheh ◽  
Ratna Dev Sarma ◽  
Reny George
Keyword(s):  
Uniform Space ◽  
Uniform Spaces ◽  
Continuous Mappings ◽  
Uniformly Continuous

Abstract New families of uniformities are introduced on UC(X,Y) , the class of uniformly continuous mappings between X and Y, where (X,{\mathcal{U}}) and (Y,{\mathcal{V}}) are uniform spaces. Admissibility and splittingness are introduced and investigated for such uniformities. Net theory is developed to provide characterizations of admissibility and splittingness of these spaces. It is shown that the point-entourage uniform space is splitting while the entourage-entourage uniform space is admissible.

Shifts of Finite Type

2021 ◽  
pp. 28-63
Keyword(s):  
Finite Type

Supporting the application of Situated Cellular Agents in non-uniform spaces

2005 ◽  
Vol 21 (5) ◽  
pp. 627-631
Author(s):  
Stefania Bandini ◽  
Sara Manzoni ◽  
Carla Simone
Keyword(s):  
Uniform Spaces

Second order linear parabolic equations in uniform spaces in $${\varvec{\mathbb {R}^{N}}}$$ R N

2016 ◽  
Vol 30 (1) ◽  
pp. 63-78
Author(s):  
Carlos Quesada ◽  
Aníbal Rodríguez-Bernal
Keyword(s):  
Parabolic Equations ◽  
Second Order ◽  
Uniform Spaces ◽  
Order Linear ◽  
Linear Parabolic Equations
Sign in / Sign up

Export Citation Format

Share Document