Related papers: Classical and Relative Realizability

This paper introduces effectful toposes as an extension of the effective topos and investigates their structure relative to Lawvere-Tierney topologies. First, we formulate effectful toposes by lifting the evidenced frame, which is a…

We define a class of skeletons on Berkovich analytic spaces, which we call "accessible", which contains the standard skeleton of the n-dimensional torus for every n and is preserved by G-glueing, by taking the inverse image along a morphism…

The (pseudo-)Riemann-metrizability and Ricci-flatness of Finsler spaces with $m$-Kropina metric $F = \alpha^{1+m}\beta^{-m}$ of Berwald type are investigated. We prove that the affine connection on $F$ can locally be understood as the…

Let M be a connected generic real-analytic CR-submanifold of a finite-dimensional complex vector space E. Suppose that for every point a in M the Lie algebra hol(M,a) of germs of all infinitesimal real-analytic CR-automorphisms of M at a is…

We prove that, assuming Vop\venka's principle, every small projectivity class in a locally presentable category is accessible.

In this note we show that every definably connected, definably compact abelian definable group in an o-minimal expansion of a real closed field of dimension not 4 is definably homeomorphic to a torus of the same dimension. Moreover, in the…

This paper investigates topological reconstruction, related to the reconstruction conjecture in graph theory. We ask whether the homeomorphism types of subspaces of a space $X$ which are obtained by deleting singletons determine $X$…

We prove that any singular K\"ahler--Ricci shrinker $X$ arising as a noncollapsed limit of K\"ahler--Ricci flows admits a natural structure of a locally algebraic complex-analytic variety with log terminal singularities. We then derive…

An abstract topological graph (briefly an AT-graph) is a pair $A=(G,\mathcal{X})$ where $G=(V,E)$ is a graph and $\mathcal{X}\subseteq {E \choose 2}$ is a set of pairs of its edges. The AT-graph $A$ is simply realizable if $G$ can be drawn…

In this work one proves that, around each point of a dense open set (regular points), a real analytic or holomorphic bihamiltonian structure decomposes into a product of a Kronecker bihamiltonian structure and a symplectic one if a…

We introduce the notion of a contractible subshift. This is a strengthening of the notion of strong irreducibility, where we require that the gluings are given by a block map. We show that a subshift is a retract of a full shift if and only…

Firstly we show a generalization of the (1,1)-Lefschetz theorem for projective toric orbifolds and secondly we prove that on 2k-dimensional quasi-smooth hypersurfaces coming from quasi-smooth intersection surfaces, under the Cayley trick,…

We construct a continuum of non-homeomorphic compact subspaces of the real line R without singleton components. Thus from the purely topological point of view the real line contains not only more closed sets than open sets but also more…

A locally connected topos is a Galois topos if the Galois objects generate the topos. We show that the full subcategory of Galois objects in any connected locally connected topos is an inversely 2-filtered 2-category, and as an application…

We show that any complex (respectively real) representation of finite group naturally generates a open-closed (respectively Klein) topological field theory over complex numbers. We relate the 1-point correlator for the projective plane in…

We classify and investigate locally conformally K\"ahler structures on four-dimensional solvable Lie algebras up to linear equivalence. As an application we can produce many examples in higher dimension, here including lcK structures on…

We present a uniform theory of constructible sheaves on arbitrary schemes with coefficients in topological or even condensed rings. This is accomplished by defining lisse sheaves to be the dualizable objects in the derived infinity-category…

We construct a topos in which the Dedekind reals are countable. The topos arises from a new kind of realizability, which we call parameterized realizability, based on partial combinatory algebras whose application depends on a parameter.…

This note characterizes a universal Kripke frame for the variable-free fragment of the reflection calculus with conservativity operators RC$^\nabla$. The frame here is obtained from the set of all filters on the Ignatiev RC$^\nabla$-algebra…

We call a polytope P of dimension 3 admissible if it has the following two properties: (1) for each vertex of P the set of its first-neighbours is coplanar; (2) all planes determined by the first-neighbours are distinct. It is shown that…