English
Related papers

Related papers: Bounded Symbiosis and Upwards Reflection

200 papers

[GGSM2] showed that height functions give adjoint orbits of semisimple Lie algebras the structure of symplectic Lefschetz fibrations (superpotential of the LG model in the language of mirror symmetry). We describe how to extend the…

Algebraic Geometry · Mathematics 2016-01-21 E. Ballico , E. Gasparim , L. Grama , L. A. B. San Martin

We present an algebraic structure in modules over integer rings with cardinality prime powers, which allows to define bases. With such structure, we prove a similar version for the basis extension theorem of linear algebra over fields.…

Rings and Algebras · Mathematics 2017-09-14 Ady Cambraia , Allan O. Moura , Anderson T. Silva

We study consequences of stationary and semi-stationary set reflection. We show that the semi stationary reflection principle implies the Singular Cardinal Hypothesis, the failure of weak square principle, etc. We also consider two cardinal…

Logic · Mathematics 2014-10-29 Hiroshi Sakai , Boban Velickovic

High-order interdependencies are central features of complex systems, yet a mechanistic explanation for their emergence remains elusive. Currently, it is unknown under what conditions high-order interdependencies, quantified by the…

Physics and Society · Physics 2026-03-03 Enrico Caprioglio , Pedro A. M. Mediano , Luc Berthouze

A commonly used approach to study stability in a complex system is by analyzing the Jacobian matrix at an equilibrium point of a dynamical system. The equilibrium point is stable if all eigenvalues have negative real parts. Here, by…

Populations and Evolution · Quantitative Biology 2016-09-02 James P. L. Tan

We study the consistency and consistency strength of various configurations concerning the cardinal characteristics $\mathfrak{s}_\theta,\mathfrak{p}_\theta,\mathfrak{g}_\theta,\mathfrak{r}_\theta,\mathfrak{t}_\theta$ at uncountable regular…

Logic · Mathematics 2021-02-02 Omer Ben-Neria , Shimon Garti

We develop a new tool, namely polynomial and linear algebraic methods, for studying systems of word equations. We illustrate its usefulness by giving essentially simpler proofs of several hard problems. At the same time we prove extensions…

Combinatorics · Mathematics 2015-02-10 Aleksi Saarela

Linearity and ramification constraints have been widely used to weaken higher-order (primitive) recursion in such a way that the class of representable functions equals the class of polytime functions. We show that fine-tuning these two…

Logic in Computer Science · Computer Science 2009-09-29 U. Dal Lago

The paper continues the line of model-theoretic characterizations for versions of intuitionistic logic previously achieved by the author, further generalizing them. This results in a model-theoretic characterization of expressive powers of…

Logic · Mathematics 2018-02-01 Grigory Olkhovikov

We develop the theory of linear algebra over a (Z_2)^n-commutative algebra (n in N), which includes the well-known super linear algebra as a special case (n=1). Examples of such graded-commutative algebras are the Clifford algebras, in…

Rings and Algebras · Mathematics 2016-06-28 Tiffany Covolo

Reflection positivity constitutes an integral prerequisite in the Osterwalder-Schrader reconstruction theorem which relates quantum field theories defined on Euclidean space to their Lorentzian signature counterparts. In this work we…

High Energy Physics - Theory · Physics 2018-08-29 Francesca Arici , Daniel Becker , Chris Ripken , Frank Saueressig , Walter D. van Suijlekom

We explore the evolution of cooperation in the framework of the evolutionary game theory using the prisoner's dilemma as metaphor of the problem. We present a minimal model taking into account the growing process of the systems and…

Computer Science and Game Theory · Computer Science 2015-06-03 Ignacio Gomez Portillo

Higher category theory is an exceedingly active area of research, whose rapid growth has been driven by its penetration into a diverse range of scientific fields. Its influence extends through key mathematical disciplines, notably homotopy…

Category Theory · Mathematics 2017-07-07 Simona Paoli

lambda-good frame is for us a parallel of the class of models of a superstable theory. Our main line is to start with lambda-good^+ frame s, categorical in lambda, n-successful for n large enough and try to have parallel of stability theory…

Logic · Mathematics 2007-05-23 Saharon Shelah

A novel general framework for the study of $\Gamma$-convergence of functionals defined over pairs of measures and energy-measures is introduced. This theory allows us to identify the $\Gamma$-limit of these kind of functionals by knowing…

Analysis of PDEs · Mathematics 2020-04-22 Marco Caroccia , Riccardo Cristoferi

In this paper we continue the study in [Gilton-Levine-Stejskalova] of compactness and incompactness principles at double successors, focusing here on the case of double successors of singulars of countable cofinality. We obtain models which…

Logic · Mathematics 2024-08-13 Thomas Gilton , Šárka Stejskalová

This chapter sets out preliminaries for the duality theory in later chapters. An underlying idea is that local cohomology functors are higher derived functors of colocalizations (a.k.a.~coreflections). Predominantly well-known facts about…

Algebraic Geometry · Mathematics 2021-06-15 Joseph Lipman

This paper presents an expository reverse-mathematical analysis of two fundamental theorems in commutative algebra: Hilbert's Nullstellensatz and Basis Theorem. In addition to its profound significance in commutative algebra and algebraic…

Logic · Mathematics 2024-06-04 Dhruv Kulshreshtha

We study a system of several one-dimensional scalar conservation laws coupled through boundary feedback conditions that combine physical boundary constraints with static feedback control laws. Our first contribution establishes the…

Analysis of PDEs · Mathematics 2026-04-08 Georges Bastin , Jean-Michel Coron , Amaury Hayat

In this paper we study the notion of strong non-reflection, and its contrapositive weak reflection. We say theta strongly non-reflects at lambda iff there is a function F: theta ---> lambda such that for all alpha < theta with cf(alpha)=…

Logic · Mathematics 2009-09-25 James Cummings , Mirna Džamonja , Saharon Shelah