The density of the meet-inaccessible r. e. degrees

1992 ◽  
Vol 57 (2) ◽  
pp. 585-596 ◽  
Author(s):  
Zhang Qinglong

AbstractIn this paper it is shown that the meet-inaccessible degrees are dense in R. The construction uses an 0′-priority argument. As a consequence, the meet-inaccessible degrees and the meet-accessible degrees give a partition of R into two sets, either of which is a nontrivial dense subset of R and generates R − {0} under joins (thus an automorphism base of R).

Author(s):  
Francesca Alessio ◽  
Paolo Caldiroli ◽  
Piero Montecchiari

In this paper we consider ‘slowly’ oscillating perturbations of almost periodic Duffing-like systems, i.e. systems of the form ü = u − (a(t) + α(wt))W′(u), t ∈ ℝ, u ∈ ℝN, where W ∈ C2N(ℝN, ℝ) is superquadratic and a and α are positive and almost periodic. By variational methods, we prove that if w > 0 is small enough, then the system admits a multibump dynamics. As a consequence we get that the system ü = u − a(t)W′(u), t ∈ ℝ, u ∈ ℝN, admits multibump solutions whenever a belongs to an open dense subset of the set of positive almost periodic continuous functions.


1990 ◽  
Vol 107 (2) ◽  
pp. 349-360 ◽  
Author(s):  
R. J. Archbold ◽  
D. W. B. Somerset

AbstactA necessary and sufficient condition is given for a separable C*-algebra to be *-isomorphic to a maximal full algebra of cross-sections over a base space such that the fibre algebras are primitive throughout a dense subset. The condition is that the relation of inseparability for pairs of points in the primitive ideal space should be an open equivalence relation.


1989 ◽  
Vol 106 (3) ◽  
pp. 467-469
Author(s):  
M. S. Ying

In [2], B. Schweizer and A. Sklar proposed the problem of whether every triangle function is causal. In [1], T. B. M. McMaster solved the problem negatively by giving an example of a non-causal triangle function. In this note we provide a class of simpler non-causal triangle functions which are continuous on a dense subset of Δ+ but in general not continuous on Δ+. Since McMaster's triangle function is also not continuous on Δ+, the problem of determining whether or not every continuous triangle function is causal remains open.


1976 ◽  
Vol 41 (1) ◽  
pp. 1-17
Author(s):  
C. T. Chong

Let α be an admissible ordinal. In this paper we study the structure of the upper semilattice of α-recursively enumerable degrees. Various results about the structure which are of fundamental importance had been obtained during the past two years (Sacks-Simpson [7], Lerman [4], Shore [9]). In particular, the method of finite priority argument of Friedberg and Muchnik was successfully generalized in [7] to an α-finite priority argument to give a solution of Post's problem for all admissible ordinals. We refer the reader to [7] for background material, and we also follow closely the notations used there.Whereas [7] and [4] study priority arguments in which the number of injuries inflicted on a proper initial segment of requirements can be effectively bounded (Lemma 2.3 of [7]), we tackle here priority arguments in which no such bounds exist. To this end, we focus our attention on the fine structure of Lα, much in the fashion of Jensen [2], and show that we can still use a priority argument on an indexing set of requirements just short enough to give us the necessary bounds we seek.


1996 ◽  
Vol 19 (2) ◽  
pp. 303-310 ◽  
Author(s):  
J. Dontchev

In 1989 Ganster and Reilly [6] introduced and studied the notion ofLC-continuous functions via the concept of locally closed sets. In this paper we consider a stronger form ofLC-continuity called contra-continuity. We call a functionf:(X,τ)→(Y,σ)contra-continuous if the preimage of every open set is closed. A space(X,τ)is called stronglyS-closed if it has a finite dense subset or equivalently if every cover of(X,τ)by closed sets has a finite subcover. We prove that contra-continuous images of stronglyS-closed spaces are compact as well as that contra-continuous,β-continuous images ofS-closed spaces are also compact. We show that every stronglyS-closed space satisfies FCC and hence is nearly compact.


1972 ◽  
Vol 24 (4) ◽  
pp. 622-630 ◽  
Author(s):  
Jack R. Porter ◽  
R. Grant Woods

Let X be a metric space. Assume either that X is locally compact or that X has no more than countably many isolated points. It is proved that if F is a nowhere dense subset of X, then it is regularly nowhere dense (in the sense of Katětov) and hence is contained in the topological boundary of some regular-closed subset of X. This result is used to obtain new properties of the remote points of the Stone-Čech compactification of a metric space without isolated points.Let βX denote the Stone-Čech compactification of the completely regular Hausdorff space X. Fine and Gillman [3] define a point p of βX to be remote if p is not in the βX-closure of a discrete subset of X.


1973 ◽  
Vol 25 (4) ◽  
pp. 812-819
Author(s):  
David C. Haddad

A function denned in a domain D is n-valent in D if f(z) — w0 has at most n zeros in D for each complex number w0. Let denote the class of nonconstant, holomorphic functions f in the unit disc that are n-valent in each component of the set . MacLane's class is the class of nonconstant, holomorphic functions in the unit disc that have asymptotic values at a dense subset of |z| = 1.


2004 ◽  
Vol 56 (3) ◽  
pp. 638-654 ◽  
Author(s):  
Jędrzej Śniatycki

AbstractWe consider symmetries of the Dedonder equation arising from variational problems with partial derivatives. Assuming a proper action of the symmetry group, we identify a set of reduced equations on an open dense subset of the domain of definition of the fields under consideration. By continuity, the Dedonder equation is satisfied whenever the reduced equations are satisfied.


1980 ◽  
Vol 32 (4) ◽  
pp. 867-879
Author(s):  
Ronnie Levy

If X is a dense subspace of Y, much is known about the question of when every bounded continuous real-valued function on X extends to a continuous function on Y. Indeed, this is one of the central topics of [5]. In this paper we are interested in the opposite question: When are there continuous bounded real-valued functions on X which extend to no point of Y – X? (Of course, we cannot hope that every function on X fails to extend since the restrictions to X of continuous functions on Y extend to Y.) In this paper, we show that if Y is a compact metric space and if X is a dense subset of Y, then X admits a bounded continuous function which extends to no point of Y – X if and only if X is completely metrizable. We also show that for certain spaces Y and dense subsets X, the set of bounded functions on X which extend to a point of Y – X form a first category subset of C*(X).


1989 ◽  
Vol 32 (3) ◽  
pp. 320-326 ◽  
Author(s):  
Domingo A. Herrero

AbstractA bounded linear operator A on a complex, separable, infinite dimensional Hilbert space is called finite if for each . It is shown that the class of all finite operators is a closed nowhere dense subset of


Sign in / Sign up

Export Citation Format

Share Document