English
Related papers

Related papers: Pseudo T-closed fields

200 papers

We work with semi-algebraic functions on arbitrary real closed fields. We generalize the notion of critical values and prove a Sard type theorem in our framework.

Algebraic Geometry · Mathematics 2015-03-17 Anna Valette , Guillaume Valette

We consider the model theoretic notion of convex orderability, which fits strictly between the notions of VC-minimality and dp-minimality. In some classes of algebraic theories, however, we show that convex orderability and VC-minimality…

Logic · Mathematics 2013-07-11 Joseph Flenner , Vincent Guingona

Many active mathematical research topics nowadays include the concepts of valued fields and local fields, especially the local field of p-adic numbers Qp and the field of formal Laurent series F((X)). Local fields are a notion situated in…

Number Theory · Mathematics 2019-05-07 Mouad Moutaoukil , Abdelkader Benaissat

In this note, we show various minimality results for a geometric theory of fields $T$: $T$ is stable if and only if it is strongly minimal, $T$ is simple if and only if it has SU-rank 1, and $T$ is rosy if and only if $T$ is surgical.…

Logic · Mathematics 2026-05-22 Antongiulio Fornasiero , Elliot Kaplan , Angus Matthews

The study of topological information of spatial objects has for a long time been a focus of research in disciplines like computational geometry, spatial reasoning, cognitive science, and robotics. While the majority of these researches…

Artificial Intelligence · Computer Science 2015-03-13 Sanjiang Li

As an example of the categorical apparatus of pseudo algebras over 2-theories, we show that pseudo algebras over the 2-theory of categories can be viewed as pseudo double categories with folding or as appropriate 2-functors into…

Category Theory · Mathematics 2011-11-09 Thomas M. Fiore

In this article, we introduce pseudo-absolute values, which generalise usual absolute values. Roughly speaking, a pseudo-absolute value on a field $K$ is a map $|\cdot| : K \to [0,+\infty]$ satisfying axioms similar to those of usual…

Number Theory · Mathematics 2024-11-07 Antoine Sédillot

In this paper, we introduce the notion of pseudo-triangular norm (pseudo-t-norm, for short) as a classes of weakly associative operations on trellises and as a generalization of triangular norm (t-norm, for short) on bounded trellises and…

Rings and Algebras · Mathematics 2023-05-26 Abdelkrim Mehenni , Lemnaouar Zedam

The notion of `Pseudo Algebraically Closed (PAC) extensions' is a generalization of the classical notion of PAC fields. It was originally motivated by Hilbert's tenth problem, and recently had new applications. In this work we develop a…

Number Theory · Mathematics 2012-06-13 Lior Bary-Soroker

In this paper I develop categorical foundations needed for a rigorous approach to the definition of conformal field theory outlined by Graeme Segal. I discuss pseudo algebras over theories and 2-theories, their pseudo morphisms, bilimits,…

Category Theory · Mathematics 2007-05-23 Thomas M. Fiore

We consider stable and semistable principal bundles over a smooth projective real algebraic curve, equipped with a real or pseudo-real structure in the sense of Atiyah. After fixing suitable topological invariants, one can build a suitable…

Algebraic Geometry · Mathematics 2015-09-29 Indranil Biswas , Oscar Garcia-Prada , Jacques Hurtubise

T-duality of gauge theories on a noncommutative $T^d$ can be extended to include fields with twisted boundary conditions. The resulting T-dual theories contain novel nonlocal fields. These fields represent dipoles of constant magnitude.…

High Energy Physics - Theory · Physics 2014-11-18 Aaron Bergman , Ori J. Ganor

In this paper, we propose a weak version of quotient for the algebraic action of a group on a variety, which we shall call a pseudo-quotient. They arise when we focus on the purely topological properties of good GIT quotients regardless of…

Algebraic Geometry · Mathematics 2023-11-03 Ángel González-Prieto

Effective field theories consistent with quantum gravity obey surprising finiteness constraints, appearing in several distinct but interconnected forms. In this work we develop a framework that unifies these observations by proposing that…

High Energy Physics - Theory · Physics 2026-02-11 Thomas W. Grimm , David Prieto , Mick van Vliet

We show that dp-minimal valued fields are henselian and that a dp-minimal field admitting a definable type V topology is either real closed, algebraically closed or admits a non-trivial definable henselian valuation. We give classifications…

Logic · Mathematics 2015-07-15 Franziska Jahnke , Pierre Simon , Erik Walsberg

We prove that unstable dp-finite fields admit definable V-topologies. As a consequence, the henselianity conjecture for dp-finite fields implies the Shelah conjecture for dp-finite fields. This gives a conceptually simpler proof of the…

Logic · Mathematics 2020-05-01 Will Johnson

This paper shows that in general, difference fields do not have a difference closure. However, we introduce a stronger notion of closure (kappa-closure), and show that every algebraically closed difference field K of characteristic 0, with…

Logic · Mathematics 2023-11-08 Zoé Chatzidakis

We consider several ways of decomposing models into parts of bounded size forming a congruence over a base, and show that admitting any such decomposition is equivalent to mutual algebraicity at the level of theories. We also show that a…

Logic · Mathematics 2022-08-11 Samuel Braunfeld , Michael C Laskowski

Let $K$ be a $p$-adically closed field and $G$ a group interpretable in $K$. We show that if $G$ is definably semisimple (i.e. $G$ has no definable infinite normal abelian subgroups) then there exists a finite normal subgroup $H$ such that…

Logic · Mathematics 2022-11-02 Yatir Halevi , Assaf Hasson , Ya'acov Peterzil

We give a complete list of the one-dimensional groups definable in algebraically closed valued fields and i the pseudo-local fields, up to a finite index subgroup and a quotient by a finite subgroup.

Logic · Mathematics 2025-03-04 Juan Pablo Acosta , Martin Hils