相关论文: Symbolic generic initial systems of star configura…

We present a device for specifying and reasoning about syntax for datatypes, programming languages, and logic calculi. More precisely, we study a notion of "signature" for specifying syntactic constructions. In the spirit of Initial…

We consider several notions of genericity appearing in algebraic geometry and commutative algebra. Special emphasis is put on various stability notions which are defined in a combinatorial manner and for which a number of equivalent…

We answer the question whether, when forming constellations in the night sky, people in astronomical cultures around the world and through time consistently imagined and assigned the same symbolism to the same (type of) star group. Evidence…

The purpose of this note is to introduce primitive ideals of noncommutative semigroups and study some topological aspects of the corresponding structure spaces.

The purpose of this note is to start the systematic analysis of cofinal types of topological groups.

This article is intended as a reference guide to various notions of monoidal categories and their associated string diagrams. It is hoped that this will be useful not just to mathematicians, but also to physicists, computer scientists, and…

In this article we study the defining ideal of Rees algebras of ideals of star configurations. We characterize when these ideals are of linear type and provide sufficient conditions for them to be of fiber type. In the case of star…

The present article is the first of a series whose goal is to define a logical formalism in which it is possible to reason about genetics. In this paper, we introduce the main concepts of our language whose domain of discourse consists of a…

Understanding the formation of the first stars and galaxies is a key problem in modern cosmology. In these lecture notes, we will derive some of the basic physical principles underlying this emerging field. We will consider the basic…

In type theories, universe hierarchies are commonly used to increase the expressive power of the theory while avoiding inconsistencies arising from size issues. There are numerous ways to specify universe hierarchies, and theories may…

We argue that the first stars may have spanned the conventional mass range rather than be identified with the Very Massive Objects (100-1000 solar masses) favoured by numerical simulations. Specifically, we find that magnetic field…

A generalization of metric space is presented which is shown to admit a theory strongly related to that of ordinary metric spaces. To avoid the topological effects related to dropping any of the axioms of metric space, first a new, and…

The purpose of this note is to provide an overview of the containment problem for symbolic and ordinary powers of homogeneous ideals, related conjectures and examples. We focus here on ideals with zero dimensional support. This is an area…

This book provides an introduction to the field of star formation at a level suitable for graduate students or advanced undergraduates in astronomy or physics. The structure of the book is as follows. The first two chapters begin with a…

We introduce the concept of a prenormed model of a particular kind of finitary single-sorted first-order theories, interpreted over a category with finite products. These are referred to as prealgebraic theories, for the fact that their…

These informal notes deal with some basic properties of metric spaces, especially concerning lengths of curves.

This is a preliminary version of the first chapter of a book project on the character theory of finite groups of Lie type. It provides the foundations from the general theory of reductive algebraic groups over a finite field.

We introduce the notion of $\mathcal{C}$-system of filters, generalizing the standard definitions of both extenders and towers of normal ideals. This provides a framework to develop the theory of extenders and towers in a more general and…

The aim of this chapter is twofold. In the first part we will provide a brief overview of the mathematical and statistical foundations of graphical models, along with their fundamental properties, estimation and basic inference procedures.…

Path sets are spaces of one-sided infinite symbol sequences associated to pointed graphs (G_v_0), which are edge-labeled directed graphs G with a distinguished vertex v_0. Such sets arise naturally as address labels in geometric fractal…