Related papers: Pseudo T-closed fields

This paper describes a formalization of discrete real closed fields in the Coq proof assistant. This abstract structure captures for instance the theory of real algebraic numbers, a decidable subset of real numbers with good algorithmic…

Is field space infinite? If not, it either loops back on itself or ends altogether. Periodic boundary conditions are of course familiar, but field space endpoints--which appear in real-world systems--are far less explored. In this paper we…

We study a topological field theory describing confining phases of gauge theories in four dimensions. It can be formulated on a lattice using a discrete 2-form field talking values in a finite abelian group (the magnetic gauge group). We…

The topological properties of field configurations in gauge theory contain important data about the (generalized) global symmetries of the theory as well as potential inconsistencies in the form of gauge anomalies. In this work we modify…

There is an interpretation of open string field theory in algebraic topology. An interpretation of closed string field theory can be deduced from this open string theory to obtain as well the interpretation of open and closed string field…

Let $T$ be a complete theory of fields, possibly with extra structure. Suppose that model-theoretic algebraic closure agrees with field-theoretic algebraic closure, or more generally that model-theoretic algebraic closure has the exchange…

This is a survey on (lack of) stable rationality over arbitrary fields (including algebraically closed fields). Topics addressed include: Rationality and unirationality, R-equivalence on rational points, Chow groups of zero-cycles, Galois…

We consider the topological theory of Witten type for gauge differential p-forms. It is shown that some topological invariants such as linking numbers appear under quantization of this theory. The non-abelian generalization of the model is…

We prove quantifier elimination for the theory of quasi-real closed fields with a compatible valuation. This unifies the same known results for algebraically closed valued fields and real closed valued fields.

Pseudo-automorphisms are birational transformations acting as regular automorphisms in codimension 1. We import ideas from geometric group theory to prove that a group of birational transformations that satisfies a fixed point property on…

We continue our earlier study of finite dimensional definable groups in models of the the model companion of an o-minimal L-theory T expanded by a generic derivation as in [F-K]. We generalize Buium's notion of an algebraic D-group to…

We investigate when a computable automorphism of a computable field can be effectively extended to a computable automorphism of its (computable) algebraic closure. We then apply our results and techniques to study effective embeddings of…

We explore the symmetry structure of Type II Little String Theories and their T-dualities. We construct these theories both from the bottom-up perspective starting with seed Superconformal Field Theories, and from the top-down using…

We revisit the existence, background independence and uniqueness of closed, open and open-closed bosonic- and topological string field theory, using the machinery of homotopy algebra. In a theory of classical open- and closed strings, the…

We show that if $T$ is any of four semigroups of two elements that are not groups, there exists a finite dimensional associative $T$-graded algebra over a field of characteristic $0$ such that the codimensions of its graded polynomial…

Emerging network scenarios require the development of solid large-scale situated systems. Unfortunately, the diffusion/aggregation computational processes therein often introduce a source of complexity that hampers predictability of the…

The lattice definition of a two-dimensional topological field theory (TFT) is given generically, and the exact solution is obtained explicitly. In particular, the set of all lattice topological field theories is shown to be in one-to-one…

We give a non-perturbative completion of a class of closed topological string theories in terms of building blocks of dual open strings. In the specific case where the open string is given by a matrix model these blocks correspond to a…

Let P a locally finite partially ordered set, F a field, G a group, and I(P,F) the incidence algebra of P over F. We describe all the inequivalent elementary G-gradings on this algebra. If P is bounded, F is a infinite field of…

We discuss topological versions of the closed graph theorem, where continuity is inferred from near continuity in tandem with suitable conditions on source or target spaces. We seek internal characterizations of spaces satisfying a closed…