نتایج جستجو برای: baire space

تعداد نتایج: 494959  

Journal: :Advances in Applied Mathematics 2000

Journal: :Pacific Journal of Mathematics 1974

Journal: :Annals of Pure and Applied Logic 1994

2017
Emil Ernst Michel Volle E. Ernst M. Volle

Given f : X → R ∪ {+∞} a convex and lower semi-continuous function defined on a reflexive Banach space X, and L, a closed linear manifold of X over which f takes at least a real value, the aim of this note is to prove the following Baire category result: in the Euclidean setting, the set of affine functions dominated by f on L for which there is no dominated extension to X is always of first Ba...

Journal: :algebraic structures and their applications 2014
r.a. borzooei m. aaly kologani

in this paper, we introduce the concepts of right, left and product stabilizers on hoops and study some properties and the relation between them.  and we try to find that how they can be equal and investigate that under what condition they can be filter, implicative filter, fantastic and positive implicative filter. also, we prove that  right and product stabilizers are filters and if they are ...

Journal: :J. Log. Algebr. Program. 2008
Victor L. Selivanov

We establish some results on the Wadge degrees and on the Boolean hierarchy of k-partitions of some spaces, where k is a natural number. The main attention is paid to the Baire space, Baire domain and their close relatives. For the case of Δ2-measurable k-partitions the structures of Wadge degrees are characterized completely. For many degree structures, undecidability of the first-order theori...

2009
Luca Motto Ros Udayan B. Darji L. Motto Ros

We give a new characterization of the Baire class 1 functions (defined on an ultrametric space) by proving that they are exactly the pointwise limits of sequences of full functions, which are particularly simple Lipschitz functions. Moreover we highlight the link between the two classical stratifications of the Borel functions by showing that the Baire class functions of some level are exactly ...

Journal: :CoRR 2017
Tatsuji Kawai

A function from Baire space N to the natural numbers N is called formally continuous if it is induced by a morphism between the corresponding formal spaces. We compare formal continuity to two other notions of continuity on Baire space working in Bishop constructive mathematics: one is a function induced by a Brouwer-operation (i.e. inductively defined neighbourhood function); the other is a fu...

Journal: :CoRR 2015
Vasco Brattka Matthew Hendtlass Alexander P. Kreuzer

We study the uniform computational content of different versions of the Baire Category Theorem in the Weihrauch lattice. The Baire Category Theorem can be seen as a pigeonhole principle that states that a complete (i.e., “large”) metric space cannot be decomposed into countably many nowhere dense (i.e., “small”) pieces. The Baire Category Theorem is an illuminating example of a theorem that can...

Journal: :Bulletin of the American Mathematical Society 1974

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید