相关论文: Thorn-Forking in Continuous Logic

We study the notion of twisted conjugacy separability (essentially introduced in our previous paper for a proof of twisted version of Burnside-Frobenius theorem) and some related properties. We give examples of groups with and without this…

We prove a "multiple colored Tverberg theorem" and a "balanced colored Tverberg theorem", by applying different methods, tools and ideas. The proof of the first theorem uses multiple chessboard complexes (as configuration spaces) and…

Thurston obtained a combinatorial characterization for generic branched self-coverings that preserve the orientation of the oriented 2-sphere by associating a planar graph to them [arXiv:1502.04760]. In this work, the Thurston result is…

We introduce spatiotemporal spinning solitons (vortex tori) of the three-dimensional nonlinear Schrodinger equation with focusing cubic and defocusing quintic nonlinearities. The first ever found completely stable spatiotemporal vortex…

The logic of constant domains is intuitionistic logic extended with the so-called forall-shift axiom, a classically valid statement which implies the excluded middle over decidable formulas. Surprisingly, this logic is constructive and so…

We prove a converse theorem for the case of quasi-split non-split even special orthogonal groups over finite fields. There are two main difficulties which arise from the outer automorphism and non-split part of the torus. The outer…

We present three syntactic forcing models for coherent logic. These are based on sites whose underlying category only depends on the signature of the coherent theory, and they do not presuppose that the logic has equality. As an application…

We develop causality theory for upper semi-continuous distributions of cones over manifolds generalizing results from mathematical relativity in two directions: non-round cones and non-regular differentiability assumptions. We prove the…

Smooth projective varieties $X$ over a finite field $k$ with $CH_0(X\otimes \bar{k(X)})=\mathbb Z$ have a rational point, in particular Fano varieties. We also refer to http://link.springer.de/link/service/journals/00222/tocs.htm where the…

It is well-known that the Continuum Hypothesis (CH) is independent of the other axioms of Zermelo-Fraenkel set theory with choice (ZFC). This raises the question of whether an intuitive justification exists for CH as an additional axiom, or…

Many-valued logics in general, and fuzzy logics in particular, usually focus on a notion of consequence based on preservation of full truth, typical represented by the value 1 in the semantics given the real unit interval [0,1]. In a recent…

We show that in many examples the non-displaceability of Lagrangian submanifolds by Hamiltonian isotopy can be proved via Lagrangian Floer cohomology with non-unitary line bundle. The examples include all monotone Lagrangian torus fibers in…

We use techniques from Gromov-Witten theory to construct new invariants of matroids taking value in the Chow groups of spaces of rational curves in the permutohedral toric variety. When the matroid is realizable by a complex hyperplane…

We introduce a notion of stability for non-autonomous Hamiltonian flows on two-dimensional annular surfaces. This notion of stability is designed to capture the sustained twisting of particle trajectories. The main Theorem is applied to…

This paper synthesizes a series of formal proofs to construct a unified theory on the logical limits of the Symbol Grounding Problem. We distinguish between internal meaning (sense), which formal systems can possess via axioms, and external…

We investigate non-wellfounded proof systems based on parsimonious logic, a weaker variant of linear logic where the exponential modality ! is interpreted as a constructor for streams over finite data. Logical consistency is maintained at a…

Voskresenskii conjectured that stably rational tori are rational. Klyachko proved this assertion for a wide class of tori by general principles. We re-prove Klyachko's result by providing simple explicit birational isomorphisms, and…

We study the spontaneous symmetry breaking of O(3) scalar field on a fuzzy sphere $S_F^2$. We find that the fluctuations in the background of topological configurations are finite. This is in contrast to the fluctuations around a uniform…

We consider equilibrium statistics for high Reynolds number isotropic turbulence in an incompressible flow driven by steady forcing at the largest scale. Motivated by shell model observations, we develop a similarity theory for the inertial…

The legality of the "rooting trick" in dynamical staggered fermion simulations is discussed, i.e. whether the theory with the Boltzmann weight $\det^{1/4}(D_\mathrm{st})$ yields the right continuum limit. Since the problem is unsolved,…