Related papers: Generic derivations on o-minimal structures
We show that if $M$ is a countable transitive model of ZF and if $a,b$ are reals not in $M$, then there is a $G$ generic over $M$ such that $b \in L[a,G]$. We then present several applications such as the following: if $J$ is any countable…
Derived equivalences and t-structures are closely related. We use realisation functors associated to t-structures in triangulated categories to establish a derived Morita theory for abelian categories with a projective generator or an…
A dependent theory is a (first order complete theory) T which does not have the independence property. A main result here is: if we expand a model of T by the traces on it of sets definable in a bigger model then we preserve its being…
We use the ultrafilter-convergence axiomatics for topological spaces to motivate in detail a gentle categorical introduction, first to Barr's Set-based relational T-algebras, and then to Burroni's T-preorders internal to a category C, here…
The rules to construct Lagrangian formulation for $\theta$-superfield theory of fields ($\theta$-STF) are introduced and considered on the whole in the framework of new superfield quantization method for general gauge theories. Algebraic,…
In this article I investigate the phenomenon of minimum models of second-order set theories, focusing on Kelley--Morse set theory $\mathsf{KM}$, G\"odel--Bernays set theory $\mathsf{GB}$, and $\mathsf{GB}$ augmented with the principle of…
After a brief review of recent rigorous results concerning the representation theory of rational chiral conformal field theories (RCQFTs) we focus on pairs (A,F) of conformal field theories, where F has a finite group G of global symmetries…
A construction of fully abstract typed models for PCF and PCF^+ (i.e., PCF + "parallel conditional function"), respectively, is presented. It is based on general notions of sequential computational strategies and wittingly consistent…
The dimension of any module over an algebra of affiliated operators ${\mathcal U}$ of a finite von Neumann algebra ${\mathcal A}$ is defined using a trace on ${\mathcal A}.$ All zero-dimensional ${\mathcal U}$-modules constitute the torsion…
We study $\delta$-derivations -- a construction simultaneously generalizing derivations and centroid. First, we compute $\delta$-derivations of current Lie algebras and of modular Zassenhaus algebra. This enables us to provide examples of…
This paper concerns our earlier conjecture about the equivalence of a derived completion construction applied to the representation spectrum of the absolute Galois group of a geometric field is equivalent to the algebraic K-theory of the…
Let $\mathcal{R}$ be an expansion of the ordered real additive group. When $\mathcal{R}$ is o-minimal, it is known that either $\mathcal{R}$ defines an ordered field isomorphic to $(\mathbb{R},<,+,\cdot)$ on some open subinterval…
For $\mathcal{O}$ a reduced operad, a generalized divergence from the derivations of a free $\mathcal{O}$-algebra to a suitable trace space is constructed. In the case of the Lie operad, this corresponds to Satoh's trace map and, for the…
We show that various actions of topological conformal theories that were suggested recentely are particular cases of a general action. We prove the invariance of these models under transformations generated by nilpotent fermionic generators…
Recently, in Axioms 10(2): 119 (2021), a nonclassical first-order theory T of sets and functions has been introduced as the collection of axioms we have to accept if we want a foundational theory for (all of) mathematics that is not weaker…
Generalizing previous work on algebraically closed valued fields (ACVF) and o-minimal fields, we study strongly minimal relics of real closed valued fields (RCVF), and more generally T-convex expansions of o-minimal fields. Our main result…
Recent advances in the off-shell formulation of the Double Copy (DC) procedure have revealed a profound connection between gauge theories and T-duality invariant frameworks. The main example is Double Field Theory (DFT), emerging as the the…
For conformal geometries of Riemannian signature, we provide a comprehensive and explicit treatment of the core local theory for embedded submanifolds of arbitrary dimension. This is based in the conformal tractor calculus and includes a…
In this paper, using definability of types over indiscernible sequences as a template, we study a property of formulas and theories called "uniform definability of types over finite sets" (UDTFS). We explore UDTFS and show how it relates to…
This paper deals with the model companion of an endomorphism acting on a vector space, possibly with extra structure. Given a theory $T$ that $\varnothing$-defines an infinite $K$-vector space $\mathbb{V}$ in every model, we set $T_\theta…