Results 291 to 300 of about 1,939,299 (336)

“Hyperfinite” descriptive set theory

2004
Descriptive set theory studies those subsets of topological spaces (called pointsets) which can be defined, by means of a list of specified operations including, e.g., complement, countable union and intersection, projection, beginning with open sets of the space.
Vladimir Kanovei, Michael Reeken
openaire   +1 more source

Descriptive Set Theory and Forcing

2017
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the fourth publication in the Lecture Notes in Logic series, Miller develops the necessary ...
openaire   +1 more source

On Higher Effective Descriptive Set Theory

Conference on Computability in Europe, 2017
M. Korovina, O. Kudinov
semanticscholar   +1 more source

Descriptive Set Theory in the Category of Represented Spaces

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015
A. Pauly, Matthew de Brecht
semanticscholar   +1 more source

Descriptive set theory and Boolean complexity theory

Comptes Rendus de l'Académie des Sciences - Series I - Mathematics, 1998
Summary: We propose a co-analytic subset whose finite equivalent is co-NP-complete, and we study how a combinatorial proof of its non-analyticity may lead to a proof of: \[ \text{``(non-uniform)NP} \neq \text{(non-uniform)Co-NP''}. \] {}.
openaire   +2 more sources

Towards the Effective Descriptive Set Theory

Conference on Computability in Europe, 2015
V. Selivanov
semanticscholar   +1 more source

Notes on Descriptive Set Theory

In the first chapter we present briefly the concepts, which are needed throughout the book.
openaire   +1 more source

The Emergence of Descriptive Set Theory

1995
Descriptive set theory is the definability theory of the continuum, the study of the structural properties of definable sets of reals. Motivated initially by constructivist concerns, a major incentive for the subject was to investigate the extent of the regularity properties, those properties indicative of well-behaved sets of reals.
openaire   +1 more source

Descriptive Set Theory and Topology

1995
In this article we present the foundations of the descriptive theory of sets and topological spaces. One of the most important directions of descriptive set theory is the study of the interdependence between the internal structure of sets and operations by means of which they are constructed starting from sets of a simpler nature.
openaire   +1 more source

The graph-theoretic approach to descriptive set theory

Bulletin of Symbolic Logic, 2012
B. D. Miller
semanticscholar   +1 more source