English
Related papers

Related papers: Aspects of Classical Descriptive Set Theory

200 papers

There is knowledge. There is belief. And there is tacit agreement.' 'We may talk about objects. We may talk about attributes of the objects. Or we may talk both about objects and their attributes.' This work inspects tacit agreements on…

Artificial Intelligence · Computer Science 2014-04-25 Ryuta Arisaka

This is an expository plus research paper which mainly exposes preliminary connection and contrast between classical complex dynamics and semigroup dynamics of holomorphic functions. Classically, we expose some existing results of rational…

Dynamical Systems · Mathematics 2018-03-23 Bishnu Hari Subedi , Ajaya Singh

A density matrix formulation of classical bipartite correlations is constructed. This leads to an understanding of the appearance of classical statistical correlations intertwined with the quantum correlations as well as a physical…

Quantum Physics · Physics 2009-11-11 A. K. Rajagopal , R. W. Rendell

A number of recent papers treated the representation theory of partially ordered sets in unitary spaces with the so called orthoscalar relation. Such theory generalizes the classical theory which studies the representations of partially…

Representation Theory · Mathematics 2015-06-04 Vyacheslav Futorny , Yurii Samoilenko , Kostyantyn Yusenko

We develop a comprehensive theory of the stable representation categories of several sequences of groups, including the classical and symmetric groups, and their relation to the unstable categories. An important component of this theory is…

Representation Theory · Mathematics 2015-06-17 Steven V Sam , Andrew Snowden

This is an intorduction to some of the basic methods and results of dense matter physics.It is aimed at readers interested in astrophysical and physical applications.

Astrophysics · Physics 2007-05-23 V. Celebonovic

There is a construction which lies at the heart of descent theory. The combinatorial aspects of this paper concern the description of the construction in all dimensions. The description is achieved precisely for strict n-categories and…

Category Theory · Mathematics 2007-05-23 Ross Street

A rank is a notion in descriptive set theory that describes ranks such as the Cantor-Bendixson rank on the set of closed subsets of a Polish space, differentiability ranks on the set of differentiable functions in $C[0,1]$ such as the…

Logic · Mathematics 2022-07-19 Merlin Carl , Philipp Schlicht , Philip Welch

This is the first in a series of three papers on Algebraic Set Theory. Its main purpose is to lay the necessary groundwork for the next two parts, one on Realisability and the other on Sheaf Models in Algebraic Set Theory.

Logic · Mathematics 2007-10-17 Benno van den Berg , Ieke Moerdijk

We present the foundational theory of condensed sets and basic condensed algebra after having introduced key concepts from category theory and homological algebra. In the later sections, we indicate the relevance of condensed mathematics to…

Category Theory · Mathematics 2025-04-01 Noa Bihlmaier , Nick Ruoff , Philipp Schmale

The paper provides an introduction to the field of Algebraic Set Theory (AST). AST is a flexible categorical framework for studying different kinds of set theories: both classical and constructive, predicative and impredicative. We discuss…

Logic · Mathematics 2007-10-17 Benno van den Berg , Ieke Moerdijk

We develop the basics of an analogue of descriptive set theory for functions on a Polish space $X$. We use this to define a version of the small index property in the context of Polish topometric groups, and show that Polish topometric…

Logic · Mathematics 2015-03-19 Itaï Ben Yaacov , Julien Melleray

This thesis is an exposition of the author's contribution on effective descent morphisms in various categories of generalized categorical structures. It consists of: Chapter 1, where an elementary description of descent theory and the…

Category Theory · Mathematics 2025-02-14 Rui Prezado

In this paper we give a method, based on the characteristic function of a set, to solve some difficult problems of set theory in undergraduate research.

General Mathematics · Mathematics 2007-07-23 Mihaly Bencze , Florentin Smarandache

Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…

Logic in Computer Science · Computer Science 2010-08-04 Russell O'Connor

We survey the classical results of the Dirichlet Approximation Theorem.

Classical Analysis and ODEs · Mathematics 2007-05-23 Yong-Cheol Kim

We survey some results that provide different versions of classical results through different summability methods. Specifically, in order to adapt such classical results, we analyze which properties should satisfy the summability methods.…

In sorting literature, comparative statics for multidimensional assignment models with general output functions and input distributions is an important open question. We provide a complete theory of comparative statics for technological…

General Economics · Economics 2025-12-12 Job Boerma , Andrea Ottolini , Aleh Tsyvinski

We study the homotopy of loops in a fixed path-connected Polish space from a descriptive set-theoretic viewpoint. We show that many analytic equivalence relations arise this way, and many do not. We also study the "free group" over an…

Logic · Mathematics 2025-12-03 Fanxin Wu

A survey of recent results concerning cardinal invariants of measure and category. Submitted as a chapter of the upcoming Handbook of Set Theory.

Logic · Mathematics 2007-05-23 Tomek Bartoszynski