Related papers: Largeness and generalized t-henselianity

Let k be a complete, non-Archimedean field and let X be a k-analytic space ; assume that there exists a tamely ramified finite extension L/k such that X_L is isomorphic to an open polydisc over L ; we prove that X is itself isomorphic to an…

The main goal of this paper is to investigate relations between topologies obtained by: $\theta$-open sets, $\omega$-open sets, $\theta_\omega$-open sets, local function, and local closure function with ideal of the countable sets. As the…

We are considering typed hierarchies of total, continuous functionals using complete, separable metric spaces at the base types. We pay special attention to the so called Urysohn space constructed by P. Urysohn. One of the properties of the…

We introduce the notion of first order amenability, as a property of a first order theory $T$: every complete type over $\emptyset$, in possibly infinitely many variables, extends to an automorphism-invariant global Keisler measure in the…

We revisit the definition of effective local compactness, and propose an approach that works for arbitrary countably-based spaces extending the previous work on computable metric spaces. We use this to show that effective local compactness…

The Lichtenbaum-Quillen conjecture for smooth complex varieties states that algebraic and topological K-theory with finite coefficients become isomorphic in high degrees. We define the "Lichtenbaum-Quillen dimension" of a variety in terms…

We continue to investigate applications of $k$-covers in function spaces with the compact-open topology.

Let L be a Galois extension of a countable Hilbertian field K. Although L need not be Hilbertian, we prove that an abundance of large Galois subextensions of L/K are.

An open set U of the real numbers R is produced such that the expansion (R,+,x,U) of the real field by U defines a Borel isomorph of (R,+,x,N) but does not define N. It follows that (R,+,x,U) defines sets in every level of the projective…

We prove a general solvable subgroup theorem in terms of length functions. As applications, we obtain a solvable subgroup theorem in dynamical systems: any solvable group of finite Hirsch length acting on a smooth manifold with uniformly…

We define the topological multiplicity of an invertible topological system $(X,T)$ as the minimal number $k$ of real continuous functions $f_1,\cdots, f_k$ such that the functions $f_i\circ T^n$, $n\in\mathbb Z$, $1\leq i\leq k,$ span a…

Some results in C_k-theory are obtained with the use of bornologies. We investigate under which conditions the space of the continuous real functions with the compact-open topology is a productively countably tight space, which yields some…

Harvey Friedman, in his remarkable paper Finite functions and the necessary use of large cardinals, Ann. Math. 148:803-893, 1998 and in a technical report, Applications of large cardinals to graph theory, Ohio State University, 1997,…

Let $D$ be the open unit disc in the complex plane. We denote by $\mathbb{C}$ the set of complex numbers and consider any compact set $K$ which is disjoint from $D$ and which also has connected complement. Let $A(K)$ denote all the…

We present a general result about generating group topologies by pseudo-norms. Namely, we show that if a topology has a base of sets which are closed in a certain sense, then it can be generated by a collection of pseudo-norms such that the…

To enable the study of open sets in computational approaches to mathematics, lots of extra data and structure on these sets is assumed. For both foundational and mathematical reasons, it is then a natural question, and the subject of this…

An abelian variety over a field K is said to have big monodromy, if the image of the Galois representation on l-torsion points, for almost all primes l contains the full symplectic group. We prove that all abelian varieties over a finitely…

Hyperspaces form a powerful tool in some branches of mathematics: lots of fractal and other geometric objects can be viewed as fixed points of some functions in suitable hyperspaces - as well as interesting classes of formal languages in…

A group is known as `large' if some finite index subgroup admits a surjective homomorphism onto a non-abelian free group. In this paper, we give a necessary and sufficient condition for a finitely presented group to be large, in terms of…

The disk complex of a surface in a 3-manifold is used to define its {\it topological index}. Surfaces with well-defined topological index are shown to generalize well-known classes, such as incompressible, strongly irreducible, and critical…