English
Related papers

Related papers: Semi-equational theories

200 papers

We continue investigating the structure of externally definable sets in NIP theories and preservation of NIP after expanding by new predicates. Most importantly: types over finite sets are uniformly definable; over a model, a family of…

Logic · Mathematics 2012-02-14 Artem Chernikov , Pierre Simon

This work gathers new results concerning the semi-geostrophic equations: existence and stability of measure valued solutions, existence and uniqueness of solutions under certain continuity conditions for the density, convergence to the…

Analysis of PDEs · Mathematics 2007-05-23 G. Loeper

We revise the notion of the quasi-sectorial contractions. Our main theorem establishes a relation between semigroups of quasi-sectorial contractions and a class of m-sectorial generators. We discuss a relevance of this kind of contractions…

Functional Analysis · Mathematics 2007-11-06 V. A. Zagrebnov

We study the wellposedness and pathwise regularity of semilinear non-autonomous parabolic evolution equations with boundary and interior noise in an $L^p$ setting. We obtain existence and uniqueness of mild and weak solutions. The boundary…

Probability · Mathematics 2010-01-14 Roland Schnaubelt , Mark Veraar

Discrete partially ordered sets can be turned into distance spaces in several ways. The distance functions may or may not satisfy the triangle inequality, and restriction of the distance to finite chains may or may not coincide with the…

Combinatorics · Mathematics 2018-02-27 Stephan Foldes

Functorial semi-norms are semi-normed refinements of functors such as singular (co)homology. We investigate how different types of representability affect the (non-)triviality of finite functorial semi-norms on certain functors or classes.…

Algebraic Topology · Mathematics 2015-09-08 Clara Loeh

Different approaches to axionatic field theory are investigated. The main notions of semiclassical theory are the following: semiclassical states, Poincare transformations, semiclassical action form, semiclassical gauge equivalence and…

High Energy Physics - Theory · Physics 2007-05-23 O. Yu. Shvedov

In this paper we define a family of theories, quasi-theories, motivated by quasi-elliptic cohomology. They can be defined from constant loop spaces. With them, the constructions on certain theories can be made in a neat way, such as those…

Algebraic Topology · Mathematics 2018-09-19 Zhen Huan

We propose a formal resource theoretic approach to asses the coherence between partially polarized electromagnetic fields. We show that naturally defined incoherent operations endow partial coherence with a preorder relation that must be…

Optics · Physics 2018-05-09 G. M. Bosyk , G. Bellomo , A. Luis

In this semi-expository paper we review the notion of a spherical space. In particular we present some recent results of Wedhorn on the classification of spherical spaces over arbitrary fields. As an application, we introduce and classify…

Algebraic Geometry · Mathematics 2018-08-17 Mahir Bilen Can

We prove new results on inheritance of Green's relations by subsemigroups in the presence of stability of elements. We provide counterexamples in other cases to show in particular that not all right-stable semigroups are embeddable in…

Group Theory · Mathematics 2019-07-11 James East , Peter M. Higgins

Substructural logics are formal logical systems that omit familiar structural rules of classical and intuitionistic logic such as contraction, weakening, exchange (commutativity), and associativity. This leads to a resource-sensitive…

Logic in Computer Science · Computer Science 2025-05-01 Nikolaos Galatos , Vitor Greati , Revantha Ramanayake , Gavin St. John

Semiclassical perturbation theory is investigated within the framework of axiomatic field theory. Axioms of perturbation semiclassical theory are formulated. Their correspondence with LSZ approach and Schwinger source theory is studied.…

High Energy Physics - Theory · Physics 2007-05-23 O. Yu. Shvedov

This article is focused on two related topics within the study of partial differential equations (PDEs) that illustrate a beautiful connection between dynamics, topology, and analysis: stability and spatial dynamics. The first is a property…

Dynamical Systems · Mathematics 2019-10-18 Margaret Beck

We prove several criteria for quasi-isometry between non-locally-finite graphs and their structure trees. Results of M\"oller in \cite{moeller92ends2} for locally finite and transitive graphs are generalized. We also give a criterion which…

Combinatorics · Mathematics 2007-05-23 Bernhard Krön

Motivated by recent applications to entropy theory in dynamical systems, we generalise notions introduced by Matthews and define weakly weighted and componentwisely weakly weighted (generalised) quasi-metrics. We then systematise and extend…

Information Theory · Computer Science 2022-12-19 Ilaria Castellano , Anna Giordano Bruno , Nicolò Zava

Hierarchies of evolution equations of pseudo-spherical type are introduced, generalizing the notion of a single equation describing pseudo-spherical surfaces due to S.S. Chern and K. Tenenblat, and providing a connection between…

Exactly Solvable and Integrable Systems · Physics 2007-05-23 Enrique G. Reyes

In the paper a concept of a double symmetry is introduced, and its qualitative characteristics and rigorous definitions are given. We describe two ways to construct the double-symmetric field theories and present an example demonstrating…

High Energy Physics - Theory · Physics 2009-10-31 L. M. Slad

The goal of this review article is to provide a survey about the foundations of semilinear stochastic partial differential equations. In particular, we provide a detailed study of the concepts of strong, weak and mild solutions, establish…

Probability · Mathematics 2025-11-21 Stefan Tappe

Answering a question of Goode, we show that $k$-triviality collapses to (1-)triviality among simple theories. In particular, every stable theory with quantifier elimination in a relational language of bounded arity is trivial. We use our…

Logic · Mathematics 2026-05-22 Mervyn Tong