Related papers: Transfinite inductions producing coanalytic sets

A two-point selection on a set $X$ is a function $f:[X]^2 \to X$ such that $f(F) \in F$ for every $F \in [X]^2$. It is known that every two-point selection $f:[X]^2 \to X$ induced a topology $\tau_f$ on $X$ by using the relation: $x \leq y$…

We give a direct proof of a result due to Karasev (2008), Karasev-Matschke (2014) and Schnider-Sober\'on (2023). Given $m+1$ Borel probability measures on the space of affine hyperplanes in a real vector space $V$ of dimension $m+1$, there…

In this paper we study nonlinear interpolation problems for interpolation and peak-interpolation sets of function algebras. The subject goes back to the classical Rudin-Carleson interpolation theorem. In particular, we prove the following…

In this paper we use the gradient flow equation introduced in [10] to construct a Morse complex for the Hamiltonian action $\mathbb A_H$ on a mixed regularity space of loops in the cotangent bundle $T^*M$ of a closed manifold $M$.…

We prove that, over a smooth quasi-projective curve, the set of non-isotrivial, smooth and projective families of polarized varieties with a fixed Hilbert polynomial and semi-ample canonical bundle is bounded. This extends the boundedness…

An analytic approach and description are presented for the moduli cotangent sheaf for suitable stable curve families including noded fibers. For sections of the square of the relative dualizing sheaf, the residue map at a node gives rise to…

This paper analyzes the second cohomology group of a linear cycle set with coefficients in an abelian group I, for linear cycle sets with commutative adjoint operation, focusing on the finite abelian case. It aims to classify extensions of…

We construct a family of analytic discs attached to a real submanifold M \subset $\mathbb{C}^{N+1}$ of codimension $2$ defined near a CR singularity.

Suppose we are given a graph and want to show a property for all its cycles (closed chains). Induction on the length of cycles does not work since sub-chains of a cycle are not necessarily closed. This paper derives a principle reminiscent…

The Hofstadter Q-sequence, with its simple definition, has defied all attempts at analyzing its behavior. Defined by a simple nested recurrence and an initial condition, the sequence looks approximately linear, though with a lot of noise.…

In this paper we introduce filtration pairs for isolated invariant sets of continuous maps. We prove the existence of filtration pairs and show that, up to shift equivalence, the induced map on the corresponding pointed space is an…

Let $\mathbb{G}$ be a higher-rank connected semisimple Lie group with finite center and without compact factors. In any unitary representation $(\pi, \mathcal{H})$ of $\mathbb{G}$ without non-trivial $\mathbb{G}$-fixed vectors, we study the…

This paper provides a unified framework connecting dynamical systems with tools from topological data analysis and geometric topology and inspires new interactions among dynamical systems, topology, and nonlinear analysis. To this end, we…

Results on the finiteness of induced crossed modules are proved both algebraically and topologically. Using the Van Kampen type theorem for the fundamental crossed module, applications are given to the 2-types of mapping cones of…

Aiming to provide weak as possible axiomatic assumptions in which one can develop basic linear algebra, we give a uniform and integral version of the short propositional proofs for the determinant identities demonstrated over $GF(2)$ in…

If F is a type-definable family of commensurable subsets, subgroups or sub-vector spaces in a metric structure, then there is an invariant subset, subgroup or sub-vector space commensurable with F. This in particular applies to…

We give a canonical partition of shifted intersecting set systems, from which one can obtain unified and elementary proofs of the Erd\H{o}s-Ko-Rado and Hilton-Milner Theorem, as well as a characterization of maximal shifted $k$-uniform…

We consider a family of dynamical systems (A,alpha,L) in which alpha is an endomorphism of a C*-algebra A and L is a transfer operator for \alpha. We extend Exel's construction of a crossed product to cover non-unital algebras A, and show…

In the study of equisingularity of families of mappings Gaffney introduced the crucial notion of excellent unfoldings. This definition essentially says that the family can be stratified so that there are no strata of dimension 1 other than…

Cocycles are constructed by polynomial expressions for Alexander quandles. As applications, non-triviality of some quandle homology groups are proved, and quandle cocycle invariants of knots are studied. In particular, for an infinite…