On topological spaces equivalent to ordinals

1988 ◽  
Vol 53 (3) ◽  
pp. 785-795 ◽  
Author(s):  
Jörg Flum ◽  
Juan Carlos Martinez
Keyword(s):  
Model Theory ◽  
Classical Model ◽  
Order Topology ◽  
Topological Spaces ◽  
Locally Compact

AbstractLet L be one of the topological languages Lt, (L∞ω)t and (Lκω)t. We characterize the topological spaces which are models of the L-theory of the class of ordinals equipped with the order topology. The results show that the role played in classical model theory by the property of being well-ordered is taken over in the topological context by the property of being locally compact and scattered.

scholarly journals Embedding inverse semigroups of homeomorphisms on closed subsets

1977 ◽  
Vol 18 (2) ◽  
pp. 199-207 ◽  
Author(s):  
Bridget Bos Baird
Keyword(s):  
Topological Space ◽  
Inverse Semigroup ◽  
Inverse Semigroups ◽  
Topological Spaces ◽  
Locally Compact ◽  
Compact Metric Space ◽  
Countable Space ◽  
The One ◽  
One Point Compactification ◽  
First Countable Space

All topological spaces here are assumed to be T2. The collection F(Y)of all homeomorphisms whose domains and ranges are closed subsets of a topological space Y is an inverse semigroup under the operation of composition. We are interested in the general problem of getting some information about the subsemigroups of F(Y) whenever Y is a compact metric space. Here, we specifically look at the problem of determining those spaces X with the property that F(X) is isomorphic to a subsemigroup of F(Y). The main result states that if X is any first countable space with an uncountable number of points, then the semigroup F(X) can be embedded into the semigroup F(Y) if and only if either X is compact and Y contains a copy of X, or X is noncompact and locally compact and Y contains a copy of the one-point compactification of X.

On a theorem of Fleischer

1986 ◽  
Vol 40 (2) ◽  
pp. 261-266 ◽  
Author(s):  
G. Mehta
Keyword(s):  
Ordered Set ◽  
Separation Theorem ◽  
Order Topology ◽  
Topological Spaces ◽  
Real Numbers ◽  
The Real ◽  
Linearly Ordered Set

AbstractFleischer proved that a linearly ordered set that is separable in its order topology and has countably many jumps is order-isomorphic to a subset of the real numbers. The object of this paper is to extend Fleischer's result and to prove it in a different way. The proof of the theorem is based on Nachbin's extension to ordered topological spaces of Urysohn's separation theorem in normal topological spaces.

TWO SPACES OF MINIMAL PRIMES

2012 ◽  
Vol 11 (01) ◽  
pp. 1250014 ◽  
Author(s):  
PAPIYA BHATTACHARJEE
Keyword(s):  
Compact Space ◽  
Hausdorff Space ◽  
Topological Spaces ◽  
Zariski Topology ◽  
Topological Properties ◽  
Locally Compact ◽  
Inverse Topology ◽  
Minimal Prime ◽  
Stone Spaces ◽  
Prime Elements

This paper studies algebraic frames L and the set Min (L) of minimal prime elements of L. We will endow the set Min (L) with two well-known topologies, known as the Hull-kernel (or Zariski) topology and the inverse topology, and discuss several properties of these two spaces. It will be shown that Min (L) endowed with the Hull-kernel topology is a zero-dimensional, Hausdorff space; whereas, Min (L) endowed with the inverse topology is a T1, compact space. The main goal will be to find conditions on L for the spaces Min (L) and Min (L)-1 to have various topological properties; for example, compact, locally compact, Hausdorff, zero-dimensional, and extremally disconnected. We will also discuss when the two topological spaces are Boolean and Stone spaces.

Pointwise Compact Spaces

1973 ◽  
Vol 16 (4) ◽  
pp. 545-549 ◽  
Author(s):  
Pedro Morales
Keyword(s):  
Topological Spaces ◽  
Locally Compact ◽  
Separation Axiom ◽  
Compact Spaces

In 1962, J. M. G. Fell [5] indicated the important role played by certain topological spaces which, though locally compact in a specialized sense, do not, in general, satisfy even the weakest separation axiom. He called them "locally compact". These were called "punktal kompakt" by Flachsmeyer [6] and to avoid confusion, we shall call them pointwise compact spaces.

Essentials of General Topology

2021 ◽  
pp. 191-244
Author(s):  
Adel N. Boules
Keyword(s):  
Topological Spaces ◽  
Hausdorff Spaces ◽  
Locally Compact ◽  
Compact Spaces ◽  
Section 8 ◽  
Finite Products ◽  
The One ◽  
One Point Compactification ◽  
Locally Compact Spaces ◽  
Metrization Theorem

The first eight sections of this chapter constitute its core and are generally parallel to the leading sections of chapter 4. Most of the sections are brief and emphasize the nonmetric aspects of topology. Among the topics treated are normality, regularity, and second countability. The proof of Tychonoff’s theorem for finite products appears in section 8. The section on locally compact spaces is the transition between the core of the chapter and the more advanced sections on metrization, compactification, and the product of infinitely many spaces. The highlights include the one-point compactification, the Urysohn metrization theorem, and Tychonoff’s theorem. Little subsequent material is based on the last three sections. At various points in the book, it is explained how results stated for the metric case can be extended to topological spaces, especially locally compact Hausdorff spaces. Some such results are developed in the exercises.

Studies in harmonic analysis

1964 ◽  
Vol 60 (3) ◽  
pp. 465-516 ◽  
Author(s):  
N. Th. Varopoulos
Keyword(s):  
Harmonic Analysis ◽  
Complete Characterization ◽  
Locally Compact Groups ◽  
Topological Spaces ◽  
Compact Groups ◽  
Measure Algebra ◽  
Topological Groups ◽  
Inductive Limits ◽  
Locally Compact ◽  
Character Group

In this paper we shall be mainly concerned with the following three apparently widely differing questions.(a) What are the possible group topologies on an Abelian group that have a given, fixed continuous character group?In developing our theory, we are very strongly motivated by the duality theory of linear topological spaces and in particular by Mackey's theorem of that theory. This important result gives a complete characterization of all locally convex topologies on a linear space that have a given, fixed, separating dual space. The analogue of Mackey's theorem for groups, together with related results, is examined in sections 1 and 2 of part 2 of the paper.(b) What are the properties of topological groups that are denumerable inductive limits of locally compact groups? (See section 1 of part 1 of the paper for definitions.)Our aim here is to extend results known for locally compact groups to this larger class of groups. The topological study of these groups is carried out in section 3 of part 1 of the paper and the really deep results about their characters are proved in section 5 of part 3 of the paper, as applications of the theory developed in that part of the paper, which is a type of harmonic analysis for these groups.(c) What are the properties of certain algebras of measures of a locally compact group G, that strictly contain L1(G), and share most of the pleasing properties of L1(G), that is, they do not have any of the pathological features of the full measure algebra M(G) such as the Wiener–Pitt phenomenon or asymmetry?

Effective model theory vs. recursive model theory

1990 ◽  
Vol 55 (3) ◽  
pp. 1168-1191 ◽  
Author(s):  
John Chisholm
Keyword(s):  
Model Theory ◽  
Classical Model ◽  
Effective Model ◽  
Regularity Conditions ◽  
Strong Regularity ◽  
Recursive Model ◽  
Recursive Models

Recursive model theory is supposed to be the study of the effectiveness of constructions and theorems in model theory. This often involves getting “effective” versions of various classical model-theoretic notions. The traditional way of doing this is to restrict attention to recursive models, and recursive isomorphisms between them, etc. Thus for example the following definition appears in the literature (in [3] and [1]).Definition. Given a recursive model A and an n Є ω, a subset R ⊆ An is called intrinsically r.e. provided that for every recursive model B ≈ A, the isomorphic image in B of R is an r.e. subset of Bn.It is clear that if R is definable by a (recursive, infinitary) Σ10 formula (with finitely many parameters from A), then R is intrinsically r.e. It seems natural for the converse to be true. Indeed, provided that (A, R) is sufficiently “regular” in a sense made precise in a theorem of Ash and Nerode (see [3]), the converse is true. However, if we drop the (rather strong) regularity conditions, there exist “pathological” examples of intrinsically r.e. relations which are not definable by a Σ10 formula (see [7]).In this paper, we suggest a rather different approach to studying the effectiveness of model theory, an approach we have dubbed “effective model theory”. The basic idea is to allow arbitrary nonrecursive models, but to require all notions to be relativized to the complexity of the models involved. (Much the same notion has been used in [2] under the name “relatively recursive model theory”.) Thus for example we have the following effective model theory version of the property of being intrinsically r.e.

scholarly journals On Fuzzy L-paracompact Topological Spaces

2021 ◽  
Vol 8 ◽  
pp. 38-40
Author(s):  
Francisco Gallego Lupiáñez
Keyword(s):  
Topological Space ◽  
Topological Spaces ◽  
Locally Compact ◽  
Hausdorff Topological Space ◽  
Characteristic Map ◽  
Covering Properties ◽  
Fuzzy Topological Space

The aim of this paper is to study fuzzy extensions of some covering properties defined by L. Kalantan as a modification of some kinds of paracompactness-type properties due to A.V.Arhangels'skii and studied later by other authors. In fact, we obtain that: if (X,T) is a topological space and A is a subset of X, then A is Lindelöf in (X,T) if and only if its characteristic map χ_{A} is a Lindelöf subset in (X,ω(T)). If (X,τ) is a fuzzy topological space, then, (X,τ) is fuzzy Lparacompact if and only if (X,ι(τ)) is L-paracompact, i.e. fuzzy L-paracompactness is a good extension of L-paracompactness. Fuzzy L₂-paracompactness is a good extension of L₂- paracompactness. Every fuzzy Hausdorff topological space (in the Srivastava, Lal and Srivastava' or in the Wagner and McLean' sense) which is fuzzy locally compact (in the Kudri and Wagner' sense) is fuzzy L₂-paracompact

Sign in / Sign up

Export Citation Format

Share Document