Related papers: Descriptive inner model theory

We give a survey of some known results and of the many open questions in the study of generic phenomena in geometrically interesting groups.

A brief review of the Standard Model of particle physics is presented.

In this article we focus on evolving information systems. First a delimitation of the concept of evolution is provided, resulting in a first attempt to a general theory for such evolutions. The theory makes a distinction between the…

The rapid progress of research aimed at interpreting the inner workings of advanced language models has highlighted a need for contextualizing the insights gained from years of work in this area. This primer provides a concise technical…

This is a critical discussion of theoretical and descriptive deficiencies of the recently used "flat Odderon" model.

The perception-related origins of physical measures and standards are considered within the framework of the general observer theory. The impact of observer characteristics on the development of observer-centric physics, physical concepts…

A review article on perturbation theory

This is an account of the theory of inverse semigroups, assuming only that the reader knows the basics of semigroup theory.

This is a largely expository paper about how groups arise or are of interest in model theory. Included are the following topics: classifying groups definable in specific structures or theories and the relation to algebraic groups, groups…

In this paper we explore a connection between descriptive set theory and inner model theory. From descriptive set theory, we will take a countable, definable set of reals, A. We will then show that A is equal to the reals of M, where M is a…

This is an expository paper on the subject of the title. It assumes basic scheme theory, commutative and homological algebra.

3 pages presentation of the theory of discrete conformal parameterization using circle patterns or its linearized theory. Principal results and ideas.

I present a brief theory overview of the CHARM-2015 conference.

The paper develops the general theory for the items in the title, assuming that the matrix is countable and cofinal.

We define and study a higher-dimensional version of model theoretic internality, and relate it to higher-dimensional definable groupoids in the base theory.

In this short note, we construct a class of models of an extension of homotopy type theory, which we call homotopy type theory with an interval type.

Many current challenges involve understanding the complex dynamical interplay between the constituents of systems. Typically, the number of such constituents is high, but only limited data sources on them are available. Conventional…

This is a non-standard paper, containing some problems, mainly in model theory, which I have, in various degrees, been interested in. Sometimes with a discussion on what I have to say; sometimes, of what makes them interesting to me,…

This is a survey of the model theory of second order logic.

The goal of this article is to invite the reader to get to know and to get involved into higher Teichm\"uller theory by describing some of its many facets.