Related papers: The $\omega$-th inner mantle

The Gamma-class is a characteristic class for complex manifolds with transcendental coefficients. It defines an integral structure of quantum cohomology, or more precisely, an integral lattice in the space of flat sections of the quantum…

Humans exhibit a wide range of adaptive and robust dynamic motion behavior that is yet unmatched by autonomous control systems. These capabilities are essential for real-time behavior generation in cluttered environments. Recent work…

Let $\Omega$ be an open subset of a Stein manifold $\Sigma$ and let $M$ be its boundary. It is well known that $M$ inherits a natural contact structure. In this paper we consider a family of variational functionals $F_\varepsilon$ defined…

We investigate the notions of amenability and its related homological notions for a class of $I\times I$-upper triangular matrix algebra, say $UP(I,A)$, where $A$ is a Banach algebra equipped with a non-zero character. We show that…

We give a presentation theorem for continuous first-order logic and Metric Abstract Elementary classes in terms of $L_{\omega_1, \omega}$ and Abstract Elementary Classes, respectively. This presentation is accomplished by analyzing dense…

We consider special subclasses of the class of Lindel\"of Sigma-spaces obtained by imposing restrictions on the weight of the elements of compact covers that admit countable networks: A space $X$ is in the class $L\Sigma(\leq\kappa)$ if it…

We reexamine the generalized cognitive homunculus, an organism's internalized image of its physiological, psychological, and social state, which, when properly adjusted, can quickly detect subtle deviations from a reference configuration.…

This work serves as an opening and basis of an ongoing program investigating topological and geometric aspects of the moduli space of smooth fiberings on a manifold. The present paper focuses on the algebraic and differential topology of…

In this paper, firstly, we introduce a higher-dimensional analogue of hypergraphs, namely $\omega$-hypergraphs. This notion is thoroughly flexible because unlike ordinary $\omega$-graphs, an n-dimensional edge called an n-cell has many…

In a previous paper I proposed a notion of $(\omega_1,\beta)$-morasses for $\omega_1 \leq \beta$. In the present paper such morasses are constructed in an inner model which satisfies amenability, coherence and condensation.

Uniform metastable convergence is a weak form of uniform convergence for a family of sequences. In this paper we explore the way that metastable convergence stratifies into a family of notions indexed by countable ordinals. We give two…

We construct an open set $\Omega\subset\mathbb{R}^N$ on which an eigenvalue problem for the $p-$Laplacian has not isolated first eigenvalue and the spectrum is not discrete. The same example shows that the usual Lusternik-Schnirelmann…

Let $d\in\mathbb N$, $\alpha\in\mathbb R$, and let $f :\mathbb R^d\setminus \{0\} \rightarrow (0,\infty)$ be locally Lipschitz and positively homogeneous of degree $\alpha$ (e.g. $f$ could be the $\alpha$th power of a norm on $\mathbb…

Finetuning can significantly modify the behavior of large language models, including introducing harmful or unsafe behaviors. To study these risks, researchers develop model organisms: models finetuned to exhibit specific known behaviors…

We introduce some notions of invariant elementary definability which extend the notions of first-order order-invariant definability, and, more generally, definability invariant with respect to arbitrary numerical relations. In particular,…

The configuration category of a manifold is a topological category which we view as a Segal space, via the nerve construction. Our main result is that the unordered configuration category, suitably truncated, admits a finite presentation as…

Our aim is to prove that if T is a complete first order theory, which is not superstable (no knowledge on this notion is required), included in a theory T_1 then for any lambda > |T_1| there are 2^lambda models of T_1 such that for any two…

There has been growing interest in recent years in Q-matrix based cognitive diagnosis models. Parameter estimation and respondent classification under these models may suffer due to identifiability issues. Non-identifiability can be…

We introduce the notion of limiting theories, giving examples and providing a sufficient condition under which the first order theory of a structure is the limit of the first order theories of a collection of substructures. We also give a…

This paper focuses on the characterization of $\aleph_0$-categorical theories of trees in the following sense: for any $\aleph_0$-cateorical theory $T$ of trees there is a tree plan $\Gamma$ such that $T=Th(\Gamma(\omega))$ where…