相关论文: Imaginaries in bounded pseudo real closed fields
Let $T$ be an o-minimal theory extending the theory of real closed ordered fields. An $H_T$-field is a model $K$ of $T$ equipped with a $T$-derivation such that the underlying ordered differential field of $K$ is an $H$-field. We study…
The present article surveys surreal numbers with an informal approach, from their very first definition to their structure of universal real closed analytic and exponential field. Then we proceed to give an overview of the recent…
We present in this paper a first-order axiomatization of an extended theory $T$ of finite or infinite trees, built on a signature containing an infinite set of function symbols and a relation $\fini(t)$ which enables to distinguish between…
Let $K$ be a large field such that $K[\sqrt{-1}]$ is not algebraically closed and $F/K$ a function field in one variable. Extending techniques and results from earlier work with Becher and Dittmann, we show that every valuation ring on $F$…
In existing literature, while approximate approaches based on Monte-Carlo simulation technique have been proposed to compute the semantics of probabilistic argumentation, how to improve the efficiency of computation without using simulation…
We give a definition, in the ring language, of Z_p inside Q_p and of F_p[[t]] inside F_p((t)), which works uniformly for all $p$ and all finite field extensions of these fields, and in many other Henselian valued fields as well. The formula…
In a series of papers [Pan0], [Pan1], [Pan2], [Pan3] we give a detailed and better structured proof of the Grothendieck--Serre's conjecture for semi-local regular rings containing a finite field. The outline of the proof is the same as in…
Consider a pseudo-$H$-space $E$ endowed with a separately continuous biadditive associative multiplication which induces a grading on $E$ with respect to an abelian group $G$. We call such a space a graded pseudo-$H$-ring and we show that…
In this paper, we prove that a pseudoexponential field has continuum many non-isomorphic countable real closed exponential subfields, each with an order preserving exponential map which is surjective onto the nonnegative elements. Indeed,…
In this paper we revisit the regular-language representation of game semantics of second-order recursion free Idealized Algol with infinite data types. By using symbolic values instead of concrete ones we generalize the standard notion of…
In this paper, we formalize Sprague-Grundy theory for combinatorial games in bounded arithmetic. We show that in the presence of Sprague-Grundy numbers, a fairly weak axioms capture PSPACE.
The following conjecture is due to Shelah-Hasson: Any infinite strongly NIP field is either real closed, algebraically closed, or admits a non-trivial definable henselian valuation, in the language of rings. We specialise this conjecture to…
We give an example of a definable quotient in an o-minimal structure which cannot be eliminated over any set of parameters, giving a negative answer to a question of Eleftheriou, Peterzil, and Ramakrishnan. Equivalently, there is an…
We choose such boundary conditions for open IIB superstring theory which preserve N=1 SUSY. The explicite solution of the boundary conditions yields effective theory which is symmetric under world-sheet parity transformation…
In this paper, we study open-closed string field theory in the background B-field in the so-called alpha=p^{+} formulation. The string field theory in the infrared gives noncommutative gauge theory in the open string sector. Since this…
It is demonstrated that under the hypothesis of boundedness, the semantics appears as a property of spontaneous physical processes. It turns that both semantic structure and semantic meaning have their own physical agents each of which is…
Restriction is a natural quasi-order on $d$-way tensors. We establish a remarkable aspect of this quasi-order in the case of tensors over a fixed finite field -- namely, that it is a well-quasi-order: it admits no infinite antichains and no…
Being closed under truncation for subsets of generalized series fields is a robust property in the sense that it is preserved under various algebraic and transcendental extension procedures. Nevertheless, in Chapter 4 of this dissertation,…
Given two conformal field theories related to each other by a marginal perturbation, and string field theories constructed around such backgrounds, we show how to construct explicit redefinition of string fields which relate these two…
We give an abstract framework to transfer generalized amalgamation from a simple theory to another, and we apply it to theories of lovely pairs and of bounded PAC structures. We show in particular that bounded pseudo-algebraically closed…