Related papers: N^N^N does not satisfy Normann's condition

The main purpose is to establish two theorems about closed 0-definable subsets $A$ of an affine space $K^{n}$ over a Hensel minimal field $K$. The first, being a non-Archimedean counterpart of one from o-minimal geometry, states that every…

We study some variations of the product topology on families of clopen subsets of $2^{\mathbb{N}}\times\mathbb{N}$ in order to construct countable nodec regular spaces (i.e. in which every nowhere dense set is closed) with analytic topology…

Kleene's computability theory based on his S1-S9 computation schemes constitutes a model for computing with objects of any finite type and extends Turing's `machine model' which formalises computing with real numbers. A fundamental…

We consider N-complexes as functors over an appropriate linear category in order to show first that the Krull-Schmidt Theorem holds, then to prove that amplitude cohomology only vanishes on injective functors providing a well defined…

Let $E$ be an order continuous K\"{o}the function space over a non purely atomic probability measure $\mu$ and let $X$ be a Banach space, with topological duals $E^*$ and $X^*$, respectively. Let $E(X)$ and $E^*(X^*)$ be the corresponding…

We call a nonempty subset $A$ of a topological space $X$ finitely non-Urysohn if for every nonempty finite subset $F$ of $A$ and every family $\{U_x:x\in F\}$ of open neighborhoods $U_x$ of $x\in F$, $\cap\{\mathrm{cl}(U_x):x\in…

In this paper, we prove that if a metric measure space satisfies the volume doubling condition and the Caffarelli-Kohn-Nirenberg inequality with same exponent n(n>1), then it has exactly n-dimensional volume growth. As application, we…

The Newlander-Nirenberg theorem says that a necessary and sufficient condition for the complex coordinates associated with a given almost complex structure tensor $I_M{}^N$ to exist is the vanishing of the Nijenhuis tensor ${\cal…

Generalizations of the theorems of Eberlein and Grothendieck on the precompactness of subsets of function spaces are considered: if $X$ is a countably compact space and $C_p(X)$ is a space of continuous functions in the pointwise topology…

Kleene's computability theory based on the S1-S9 computation schemes constitutes a model for computing with objects of any finite type and extends Turing's 'machine model' which formalises computing with real numbers. A fundamental…

In this paper we consider two hierarchies of hereditarily total and continuous functionals over the reals based on one extensional and one intensional representation of real numbers, and we discuss under which asumptions these hierarchies…

Let TC$_n$(X) denote the n-th topological complexity of a topological space X. It is known that TC$_n$(X) does not exceed n-1 for non-contractible X, and so it makes sense to describe spaces X with TC$_n$(X) =n-1. Grant--Lupton--Oprea…

In the recent paper [2], it was proved that the closure of the planar diffeomorphisms in the Sobolev norm consists of the functions which are non-crossing (NC), i.e., the functions which can be uniformly approximated by continuous…

A topological space $Y$ has the property (B) of Banakh if there is a countable family $\{A_n:n\in \mathbb{N}\}$ of closed nowhere dense subsets of $Y$ absorbing all compact subsets of $Y$. In this note we show that the space $C_p(X)$ of…

This article studies sufficient conditions on families of approximating kernels which provide $N$--term approximation errors from an associated nonlinear approximation space which match the best known orders of $N$--term wavelet expansion.…

We investigate wether three statements in analysis, that can be proved classically, are realizable in the realizability model of extensional continuous functionals induced by Kleene's second model $K_2$. We prove that a formulation of the…

Numerical resolution of exterior Helmholtz problems requires some approach to domain truncation. As an alternative to approximate nonreflecting boundary conditions and invocation of the Dirichlet-to-Neumann map, we introduce a new, nonlocal…

We study different aspects of the connections between local theory of Banach spaces and the problem of the extension of bilinear forms from subspaces of Banach spaces. Among other results, we prove that if $X$ is not a Hilbert space then…

For a Tychonoff space $X$, let $C_k(X)$ and $C_p(X)$ be the spaces of real-valued continuous functions $C(X)$ on $X$ endowed with the compact-open topology and the pointwise topology, respectively. If $X$ is compact, the classic result of…

A topological space is $Suslin$ ($Lusin$) if it is a continuous (and bijective) image of a Polish space. For a Tychonoff space $X$ let $C_p(X)$, $C_k(X)$ and $C_{{\downarrow}F}(X)$ be the space of continuous real-valued functions on $X$,…