Related papers: Descriptive inner model theory
In this paper we give a generalization of injective and projective complexes.
A few topics beyond the standard model are reviewed.
Using ideas from synthetic topology, a new approach to descriptive set theory is suggested. Synthetic descriptive set theory promises elegant explanations for various phenomena in both classic and effective descriptive set theory.…
This paper presents a theoretical, idealized model of the thinking process with the following characteristics: 1) the model can produce complex thought sequences and can be generalized to new inputs, 2) it can receive and maintain input…
We present an elementary introduction to the construction of integrable models on hyper-elliptic surfaces for non specialists; also, we present some of the details of the paper `solv-int/9504002' for the more interested readers. (Based on a…
The paper contains a review on the general connection theory on differentiable fibre bundles. Particular attention is paid to (linear) connections on vector bundles. The (local) representations of connections in frames adapted to holonomic…
A program for categorifying measure theory is outlined.
This article reports on steps towards building a simple and accurate domain-theoretic model of generic nominally-typed OOP.
Expanded lecture notes. Preliminary version, comments are welcome.
We describe a category, the objects of which may be viewed as models for homotopy theories. We show that for such models, ``functors between two homotopy theories form a homotopy theory'', or more precisely that the category of such models…
The present note sketches a theory of constructs.
The paper is based on lectures on the internal structure and evolution of the Sun. It contains an outline of observational and theoretical elements of the Standard Solar Model, emphasizing also recent research results on solar rotation,…
Encoding and decoding models are widely used in systems, cognitive, and computational neuroscience to make sense of brain-activity data. However, the interpretation of their results requires care. Decoding models can help reveal whether…
In these talks, I discuss a few selected topics in integrable models that are of interest from various points of view. Some open questions are also described.
This is a survey, intended both for group theorists and model theorists, concerning the structure of pseudofinite groups, that is, infinite models of the first order theory of finite groups. The focus is on concepts from stability theory…
Over the past years several authors have used the approach of generalized modeling to study the dynamics of food chains and food webs. Generalized models come close to the efficiency of random matrix models, while being as directly…
The paper is a naive introduction to descriptive set theory. It is aimed mathematicians without a background in logic. The goal is to provide the basic facts used for applications of descriptive set theory to other areas of mathematics,…
In this paper some new ways of generalizing perfect numbers are investigated, numerical results are presented and some conjectures are established.
This paper is devoted to a discussion of specific properties of invariants in the theory of forms.
Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences. In this paper we study the generalization where countable is replaced by uncountable. We explore properties of generalized…