Related papers: Fixed-point properties for predicate modal logics

We apply the Fixed Point Theorem for the actions of finite groups on Bruhat-Tits buildings and their products to establish two results concerning the groups of points of reductive algebraic groups over polynomial rings in one variable,…

We introduce and analyze a class of Surface Quasi-Geostrophic (SQG) equations in the presence of moving rigid obstacles. The model is motivated both by vortex-wave type asymptotics for singular structures in active scalar equations and by…

We prove the existence and we study the stability of the kink-like fixed points in a simple Coupled Map Lattice for which the local dynamics has two stable fixed points. The condition for the existence allows us to define a critical value…

In this series of two articles, we prove that every action of a finite group $G$ on a finite and contractible $2$-complex has a fixed point. The proof goes by constructing a nontrivial representation of the fundamental group of each of the…

We provide a uniform approach to obtain sufficient criteria for a (higher order) fixed point of a given bracket structure on a manifold to be stable under deformations. Examples of bracket structures include Lie algebroids, Lie…

Suppose that Q is a family of seminorms on a locally convex space E which determines the topology of E. We study the existence of Q-nonexpansive retractions for families of Q-nonexpansive mappings and prove that a separated and sequentially…

In this paper, we are concerned with the local well-posedness of the initial-boundary value problem for complex Ginzburg-Landau (CGL) equations in bounded domains. There are many studies for the case where the real part of its nonlinear…

We study the local behavior of integral points on log pairs near a fixed rational point in the boundary by means of an integral approximation constant. In light of Siegel's theorem about integral points on curves and McKinnon's conjecture…

For an ordinal $\lambda>0$, we use the Erd\H{o}s--Rado partition theorem to prove the failure of strong completeness of $\mathsf{GL}$ for modal languages of cardinality $(2^{|\lambda|+\aleph_0})^{+}$ with respect to models on ordinals…

We have recently presented a general method of proving the fundamental logical properties of Craig and Lyndon Interpolation (IPs) by induction on derivations in a wide class of internal sequent calculi, including sequents, hypersequents,…

Given a class C of finite Kripke frames, we consider the uniform distribution on the frames from C with n states. A formula is almost surely valid in C if the probability that it is valid in a random C-frame with n states tends to 1 as n…

In [13], it is proved that any subgroup of $\mathrm{Diff}_{+}^{\omega }(I)$ (the group of orientation preserving analytic diffeomorphisms of the interval) is either metaabelian or does not satisfy a law. A stronger question is asked whether…

Hilbert's Entscheidungsproblem has given rise to a broad and productive line of research in mathematical logic, where the classification process of decidable classes of first-order sentences represent only one of the remarkable results.…

We show the properness of the moduli stack of stable surfaces over $\mathbb{Z}[1/30]$, assuming the locally-stable reduction conjecture for stable surfaces. This relies on a local Kawamata--Viehweg vanishing theorem for for 3-dimensional…

The celebrated Kleene fixed point theorem is crucial in the mathematical modelling of recursive specifications in Denotational Semantics. In this paper we discuss whether the hypothesis of the aforementioned result can be weakened. An…

We introduce a large scale analogue of the classical fixed-point property for continuous maps, which shall apply to coarse maps. We also develop a coarse version of degree for coarse maps on Euclidean spaces. Then, applying a coarse…

In this talk, I report on three theorems concerning algebraic varieties over a field of characteristic $p>0$. a) over a finite field of cardinal $q$, two proper smooth varieties which are geometrically birational have the same number of…

In this note, we discuss some fixed point theorems for contractive self mappings defined on a $G$-metric spaces. More precisely, we give fised point theorems for mappings with a contractive iterate at a point.

Let $G$ be connected nilpotent Lie group acting locally on a real surface $M$. Let $\varphi$ be the local flow on $M$ induced by a $1$-parameter subgroup. Assume $K$ is a compact set of fixed points of $\varphi$ and $U$ is a neighborhood of…

We consider from a geometric point of view the conjectural fundamental lemma of Langlands and Shelstad for unitary groups over a local field of positive characteristic. We introduce projective algebraic varieties over the finite residue…