Related papers: Retractors in local positive logic

We give equivalent descriptions for the augmented and diminished base loci of vector bundles in characteristic zero. We show that these base loci behave well under pullback, tensor product, and direct sum. Pathological behavior is observed…

We obtain the local well-posedness for Dirac equations with a Hartree type nonlinearity derived by decoupling the Dirac-Klein-Gordon system. We extend the function space of initial data, enabling us to handle initial data that were not…

We define and study logics in the framework of probabilistic team semantics and over metafinite structures. Our work is paralleled by the recent development of novel axiomatizable and tractable logics in team semantics that are closed under…

We study locally compact contractive local groups, that is, locally compact local groups with a contractive pseudo-automorphism. We prove that if such an object is locally connected, then it is locally isomorphic to a Lie group. We also…

We study the amalgamation property in positive logic. We give some connections between the amalgamation property and Robinson theories, model-complete theories and the Hausdorff property.

This informal note provides some elementary examples to motivate the local structural results of [1] on the moduli space of genus one stable maps to projective space. The hope is that these examples will be helpful for graduate students to…

Let G be a discrete group for which the classifying space for proper G-actions is finite-dimensional. We find a space W such that for any such G, the classifying space PBG for proper G-bundles has the homotopy type of the W-nullification of…

We consider quantifier-free spatial logics, designed for qualitative spatial representation and reasoning in AI, and extend them with the means to represent topological connectedness of regions and restrict the number of their connected…

We define a class of spaces on which one may generalise the notion of compactness following motivating examples from higher-dimensional number theory. We establish analogues of several well-known topological results (such as Tychonoff's…

We define the stack of $G$-local systems with restricted variation on the formal puntured disc and study its properties. We embed sheaves of categories over this stack into the category of factorization module categories over…

In this paper we prove existence and uniqueness of energy solutionns for singular problems with absorption driven by local-nonlocal operators. Moreover, we establish a comparison principle \`a la Talenti, leading to a gain of summability…

In the present paper, we prove the retract rationality of the classifying spaces $BG$ for several types of finite connected group schemes $G$ over algebraically closed fields of positive characteristic $p>0$. In particular, we prove the…

For a few pairs $G\subset \hat G$ of reductive groups, we study the decomposition of irreducible $\hait G$-modules into $G$-modules. In particular, we observe the saturation property for all of these pairs.

In this paper, we define locally matchable subsets of a group which is extracted from the concept of matchings in groups and used as a tool to give alternative proofs for existing results in matching theory. We also give the linear analogue…

We study local behavior of positive solutions to the fractional Yamabe equation with a singular set of fractional capacity zero.

In this paper we introduce a notion of an attractor for local semiflows on topological spaces, which in some cases seems to be more suitable than the existing ones in the literature. Based on this notion we develop a basic attractor theory…

Native type systems are those in which type constructors are derived from term constructors, as well as the constructors of predicate logic and intuitionistic type theory. We present a method to construct native type systems for a broad…

We consider the logic space of countable (enumerated) groups and show that closed subspaces corresponding to some standard classes of groups have (do not have) generic groups. We also discuss the cases of semigroups and associative rings.

In this paper we present new examples of simple $p$-local compact groups for all odd primes. We also develop the necessary tools to show saturation, simpleness and the non-realizability as $p$-compact groups or compact Lie groups, which can…

This article focuses on the study of the existence, multiplicity and concentration behavior of ground states as well as the qualitative aspects of positive solutions for a $(p, N)$-Laplace Schr\"{o}dinger equation with logarithmic…