相关论文: Minimal types in super-dependent theories

In the context of continuous first-order logic, special attention is often given to theories that are somehow continuous in an 'essential' way. A common feature of such theories is that they do not interpret any infinite discrete…

We show that if a simplicial complex is a near-cone of sufficiently high depth, then the only maximum families of small pairwise intersecting faces are those with a common intersection. Thus, near-cones of sufficiently high depth satisfy…

We study soft theorems in a broader context, addressing their fate at loop level and their universality in effective field theories and string theory. We argue that for gauge theories in the planar limit, loop-level soft gluon theorems can…

It is well-known that simple type theory is complete with respect to non-standard set-valued models. Completeness for standard models only holds with respect to certain extended classes of models, e.g., the class of cartesian closed…

This Ph.D. thesis investigates effective field and string theories in which supersymmetry is realized and broken in various ways. Chapter 1 addresses effective theories with nonlinearly realized supersymmetry, constructed using the…

Modern data systems increasingly operate under conditions of persistent legal, political, and analytic disagreement. In such settings, interoperability cannot rely on shared interpretation, negotiated semantics, or centralized authority.…

We consider a 2-parameter class of solvable closed superstring models which `interpolate' between Kaluza-Klein and dilatonic Melvin magnetic flux tube backgrounds. The spectrum of string states has similarities with Landau spectrum for a…

A class of structures is monadically dependent if one cannot interpret all graphs in colored expansions from the class using a fixed first-order formula. A tree-ordered $\sigma$-structure is the expansion of a $\sigma$-structure with a…

The genus-dependence of multi-loop superstring amplitudes is bounded at large orders in perturbation theory using the super-Schottky group parametrization of supermoduli space. Partial estimates of supermoduli space integrals suggest an…

We introduce novel extensions of the Standard Model featuring a supersymmetric technicolor sector. First we consider N=4 Super Yang-Mills which breaks to N=1 via the electroweak (EW) interactions and coupling to the MSSM. This is a well…

Following on from earlier work relating modules of meromorphic bosonic conformal field theories to states representing solutions of certain simple equations inside the theories, we show, in the context of orbifold theories, that the…

We study various notions of "tameness" for definably complete expansions of ordered fields. We mainly study structures with locally o-minimal open core, d-minimal structures, and dense pairs of d-minimal structures.

For every natural number $m$, the existentially closed models of the theory of fields with $m$ commuting derivations can be given a first-order geometric characterization in several ways. In particular, the theory of these differential…

Geometrical stability theory is a powerful set of model-theoretic tools that can lead to structural results on models of a simple first-order theory. Typical results offer a characterization of the groups definable in a model of the theory.…

We investigate the class of models of a general dependent theory. We continue math.LO/0702292 in particular investigating so called "decomposition of types"; thesis is that what holds for stable theory and for Th(Q,<) hold for dependent…

Let $M$ be a $C$-minimal structure and $T$ its canonical tree (which corresponds in an ultrametric space to the set of closed balls with radius different than $\infty$ ordered by inclusion). We present a description of definable locally…

We study some model-theoretic notions in NIP by means of spectral topology. In the o-minimal setting we relate the o-minimal spectrum with other topological spaces such as the real spectrum and the space of infinitesimal types of Peterzil…

We prove the existence of topological rings in (0,2) theories containing non-anomalous left-moving U(1) currents by which they may be twisted. While the twisted models are not topological, their ground operators form a ring under…

We note a parallel between some ideas of stable model theory and certain topics in finite combinatorics related to the sum-product phenomenon. For a simple linear group G, we show that a finite subset X with |X X \^{-1} X |/ |X| bounded is…

This paper presents preliminary work on a general system for integrating dependent types into substructural type systems such as linear logic and linear type theory. Prior work on this front has generally managed to deliver type systems…