Descriptive Set Theory

Subfield of Mathematical Logic

In the sprawling, often bewildering landscape of mathematical logic , one might stumble upon descriptive set theory (DST). It’s not a field for the faint of heart, but rather for those with a peculiar fascination for the intricate structures of “well-behaved” subsets that inhabit the real line and other similar topological constructs known as Polish spaces . Consider it a meticulous cataloging system for the less chaotic corners of the mathematical universe. While it certainly commands a significant presence as a primary area of research within set theory itself, its tendrils extend far beyond, influencing diverse domains. One finds its principles woven into the fabric of functional analysis , providing foundational insights into function spaces and operators. It also finds unexpected resonance in ergodic theory , where the long-term average behavior of dynamical systems often depends on the measure-theoretic properties that descriptive set theory elucidates. Furthermore, its concepts are indispensable in the study of operator algebras and the complex mechanics of group actions , offering tools to dissect the symmetries and transformations inherent in these structures. And, of course, it remains firmly rooted in its parent discipline, mathematical logic , providing a powerful framework for understanding the very limits of definability and computability. It’s a field that, despite its seemingly niche focus, manages to be surprisingly, perhaps even annoyingly, pervasive.

Polish Spaces

The journey into descriptive set theory commences, quite logically, with an examination of Polish spaces and their associated Borel sets . These aren’t just any arbitrary spaces; they are, in essence, the preferred playgrounds for this particular brand of set theory, offering a blend of regularity and complexity that makes them fertile ground for investigation.

To be precise, a Polish space is formally defined as a second-countable topological space that possesses the rather convenient property of being metrizable with a complete metric . If that sounds like a mouthful, think of it this way: heuristically, a Polish space is fundamentally a complete separable metric space where the specific details of the metric have been, for all intents and purposes, “forgotten.” The emphasis shifts from the exact distances to the topological structure that the metric induces. This abstraction allows for a more general treatment, focusing on properties that are invariant under continuous transformations.

Examples of these foundational spaces are ubiquitous in mathematics, though their Polish nature might not always be explicitly highlighted. The venerable real line , denoted as ${\displaystyle \mathbb {R} }$, is a prime instance, its familiar continuity and completeness making it a natural fit. Then there’s the Baire space , often represented as ${\displaystyle {\mathcal {N}}}$, which consists of all infinite sequences of natural numbers; it serves as a canonical example for many constructions due to its total disconnectedness and perfectness. Similarly, the Cantor space , ${\displaystyle {\mathcal {C}}}$, comprising all infinite binary sequences, shares many topological properties with Baire space and is frequently used as a simplified model. Finally, the Hilbert cube , denoted ${\displaystyle I^{\mathbb {N} }}$, which is an infinite-dimensional generalization of a cube, also fits the description, proving that even spaces of considerable complexity can still be “Polish.” These examples, seemingly disparate, share a common underlying structural elegance that makes them amenable to the analytical tools of descriptive set theory.

Universality Properties

The class of Polish spaces exhibits a rather intriguing set of characteristics, often referred to as universality properties. These properties are not merely academic curiosities; they streamline the research process considerably, demonstrating that one can often restrict attention to specific, well-behaved examples without any genuine loss of generality. It’s almost as if the universe of Polish spaces decided to make things a little easier for the mathematicians, a rare concession.

Consider these two key properties:

• Embedding in the Hilbert Cube: Every Polish space can be shown to be homeomorphic to a G_δ subspace of the Hilbert cube . Conversely, any G_δ subspace of the Hilbert cube itself qualifies as a Polish space. This means that, topologically speaking, any Polish space, no matter how exotic it might seem, can be “embedded” or represented as a relatively simple subset within the infinite-dimensional, yet surprisingly compact, Hilbert cube. This provides a powerful visualization and simplification tool, allowing complex problems to be translated into a more standardized setting.
• Continuous Images of Baire Space: Furthermore, every Polish space can be obtained as a continuous image of the Baire space . In fact, a stronger statement holds: any Polish space is the image of a continuous bijection defined on a closed subset of Baire space. This means the Baire space, with its relatively straightforward combinatorial structure, can “generate” any other Polish space through a continuous mapping. A similar, though more specific, property applies to compact Polish spaces: every compact Polish space can be realized as a continuous image of the Cantor space . This highlights the fundamental role of these two archetypal spaces.

Because of these rather convenient universality properties—and, let’s be honest, because the Baire space (${\displaystyle {\mathcal {N}}}$) possesses the particularly agreeable characteristic of being homeomorphic to ${\displaystyle {\mathcal {N}}^{\omega }}$ (meaning an infinite sequence of Baire spaces is topologically equivalent to a single Baire space, a self-similar marvel)—a significant portion of results in descriptive set theory are often established and proven within the specific, controlled context of Baire space alone. Why complicate matters when you don’t have to?

Borel Sets

Having established the foundational arenas of Polish spaces , the next logical step is to define the building blocks within them: the Borel sets . The class of Borel sets of a topological space X is not just any arbitrary collection; it’s the smallest σ-algebra that meticulously contains all the open sets of X. One might even say it’s the most parsimonious way to generate a robust collection of measurable sets from the basic topological structure.

This definition implies a specific set of operational rules, a sort of genetic code for Borel sets:

• Foundation in Open Sets: Every single open subset of X is, by definition, a Borel set. These are the elementary particles from which all other Borel sets are constructed.
• Closure Under Complementation: If A happens to be a Borel set, then its complement, denoted ${\displaystyle X\setminus A}$, must also be a Borel set. This ensures a kind of logical symmetry, allowing us to consider both a set and “everything outside it” within the same framework. The class of Borel sets is, therefore, closed under complementation.
• Closure Under Countable Unions: If you have an infinite but countable sequence of Borel sets, say ${\displaystyle \langle A_{n}\rangle }$, then their union, ${\displaystyle \bigcup A_{n}}$, is also guaranteed to be a Borel set. This is a crucial property, extending the concept of “measurable” to collections that are more complex than simple finite unions. This also implies closure under countable intersections, given the complementation rule (De Morgan’s laws).

A rather fundamental and immensely useful result in descriptive set theory declares that any two uncountable Polish spaces , X and Y, are in fact Borel isomorphic . This isn’t a mere suggestion; it means there exists a perfect bijection between X and Y such that the preimage of any Borel set in Y is a Borel set in X, and, symmetrically, the image of any Borel set in X is a Borel set in Y. This is a profound statement of equivalence at the level of measurable structure. This isomorphism provides substantial justification for the common practice of restricting one’s attention to the Baire space and Cantor space when proving general theorems about Borel sets. After all, if these spaces, along with any other Polish space, are all isomorphic at the level of their Borel sets, why bother with the added complexity of myriad different spaces when a simpler, representative one will suffice? It’s an efficiency born of deep mathematical insight.

Borel Hierarchy

Once one has a firm grasp on Borel sets , the next natural, if somewhat obsessive, step is to categorize them. This is precisely the purpose of the Borel hierarchy : a systematic classification of each Borel set within a Polish space based on the “complexity” of its construction. This complexity is measured by how many times the fundamental operations of countable union and complementation must be applied, starting from the most basic open sets. The classification itself is meticulously ordered by countable ordinal numbers , a testament to the nested nature of these constructions. For every non-zero countable ordinal ${\displaystyle \alpha }$, there are three distinct classes: ${\displaystyle \mathbf {\Sigma } _{\alpha }^{0}}$, ${\displaystyle \mathbf {\Pi } _{\alpha }^{0}}$, and ${\displaystyle \mathbf {\Delta } _{\alpha }^{0}}$.

Let’s unpack these definitions:

• The Base Layer ($\mathbf {\Sigma } _{1}^{0}$): Every open set is designated as belonging to the class ${\displaystyle \mathbf {\Sigma } _{1}^{0}}$. This is the ground floor, the simplest form a Borel set can take.
• Complements ($\mathbf {\Pi } _{\alpha }^{0}$): A set is classified as ${\displaystyle \mathbf {\Pi } _{\alpha }^{0}}$ if, and only if, its complement is a ${\displaystyle \mathbf {\Sigma } _{\alpha }^{0}}$ set. This establishes a direct duality; if you understand one, you understand its inverse.
• Countable Unions ($\mathbf {\Sigma } _{\delta }^{0}$ for ${\displaystyle \delta >1}$): A set A is declared to be ${\displaystyle \mathbf {\Sigma } {\delta }^{0}}$ for ${\displaystyle \delta >1}$ if it can be expressed as a countable union, ${\displaystyle A=\bigcup A{i}}$, where each set ${\displaystyle A_{i}}$ is a ${\displaystyle \mathbf {\Pi } _{\lambda (i)}^{0}}$ set for some ordinal ${\displaystyle \lambda (i)<\delta }$. This captures the iterative nature of building more complex sets from simpler ones.
• Intersections ($\mathbf {\Delta } _{\alpha }^{0}$): Finally, a set is deemed ${\displaystyle \mathbf {\Delta } _{\alpha }^{0}}$ if and only if it simultaneously belongs to both the ${\displaystyle \mathbf {\Sigma } _{\alpha }^{0}}$ and ${\displaystyle \mathbf {\Pi } _{\alpha }^{0}}$ classes. These are the sets that are “simple enough” to be described both as a countable union of simpler sets and as a countable intersection of simpler sets (via their complements).

A pivotal theorem in this area illuminates the hierarchical structure, confirming the nested inclusions: any set that is either ${\displaystyle \mathbf {\Sigma } _{\alpha }^{0}}$ or ${\displaystyle \mathbf {\Pi } _{\alpha }^{0}}$ is automatically a ${\displaystyle \mathbf {\Delta } _{\alpha +1}^{0}}$ set. Conversely, any ${\displaystyle \mathbf {\Delta } _{\beta }^{0}}$ set is, by its very nature, both a ${\displaystyle \mathbf {\Sigma } _{\alpha }^{0}}$ and a ${\displaystyle \mathbf {\Pi } _{\alpha }^{0}}$ set for all ordinals ${\displaystyle \alpha >\beta }$. This establishes a clear, if somewhat convoluted, ladder of complexity, where each rung is strictly more complex than the one below, unless it resides within the intersection of its parent classes.

The resulting structure of the hierarchy can be visualized as follows, with arrows denoting strict inclusion. It’s a rather neat diagram, isn’t it? Almost too neat for the inherent messiness of infinity.

${\displaystyle {\begin{matrix}&&\mathbf {\Sigma } _{1}^{0}&&&&\mathbf {\Sigma } _{2}^{0}&&\cdots \&\nearrow &&\searrow &&\nearrow \\mathbf {\Delta } _{1}^{0}&&&&\mathbf {\Delta } _{2}^{0}&&&&\cdots \&\searrow &&\nearrow &&\searrow \&&\mathbf {\Pi } _{1}^{0}&&&&\mathbf {\Pi } _{2}^{0}&&\cdots \end{matrix}}{\begin{matrix}&&\mathbf {\Sigma } _{\alpha }^{0}&&&\cdots \&\nearrow &&\searrow \\quad \mathbf {\Delta } _{\alpha }^{0}&&&&\mathbf {\Delta } _{\alpha +1}^{0}&\cdots \&\searrow &&\nearrow \&&\mathbf {\Pi } _{\alpha }^{0}&&&\cdots \end{matrix}}}$

This hierarchy provides a finely graded scale for understanding the structural complexity of Borel sets, a necessary tool for navigating the intricacies of higher set theory.

Regularity Properties of Borel Sets

One of the more enduring pursuits within classical descriptive set theory has been the rigorous examination of what are termed “regularity properties” of Borel sets . These properties are, in essence, assurances that Borel sets behave in a predictable, well-mannered fashion, making them amenable to analysis. It’s almost as if, having meticulously categorized them, mathematicians then wanted to ensure these categories weren’t just arbitrary labels but denoted actual, consistent behavior.

For instance, a cornerstone of classical theory dictates that all Borel sets of a Polish space universally possess the property of Baire . This property is a topological analogue to measurability, essentially stating that a set is “almost open” or “almost closed” in a precise sense; it differs from an open (or closed) set by a “meagre” set (a set of first category), which is considered topologically small or negligible. This means Borel sets are, in a topological sense, exceptionally well-behaved, avoiding pathological irregularities that might plague more arbitrary subsets.

Furthermore, these sets also possess the perfect set property . This means that any uncountable Borel set must contain a perfect set —a non-empty closed set with no isolated points. This implies that uncountable Borel sets cannot be “thin” or “sparse” in a certain topological sense; they must contain dense, continuous substructures. This property is crucial for understanding the cardinality of these sets and for ruling out certain types of pathological behavior.

Modern descriptive set theory , in its relentless pursuit of deeper understanding, extends this inquiry by studying the nuanced ways in which these classical results either elegantly generalize, or, perhaps more intriguingly, decisively fail to generalize, when applied to other, more complex classes of subsets of Polish spaces. It’s a constant push against the boundaries of what is “well-behaved,” revealing where the comfortable regularity of Borel sets gives way to the more untamed wilderness of higher complexity.

Analytic and Coanalytic Sets

Just beyond the meticulously ordered realm of Borel sets lies a slightly more complex, and consequently more intriguing, territory: that of the analytic sets and coanalytic sets . These classes represent the first significant step outside the direct construction rules of the Borel hierarchy, introducing an element of projection that complicates their structure.

A subset of a Polish space X is formally defined as an analytic set if it can be expressed as the continuous image of a Borel subset of some other Polish space. This definition, while seemingly benign, introduces a profound shift. While it is true that any continuous preimage of a Borel set remains Borel (a rather convenient fact for maintaining order), the converse is decidedly not true. This is the crucial point: not all analytic sets are, in fact, Borel sets. This means that the act of taking a continuous image can, and often does, introduce a level of complexity that transcends the Borel hierarchy, revealing sets that are “more complicated” than anything constructible through countable unions and complements alone. These sets are often denoted as ${\displaystyle \mathbf {\Sigma } _{1}^{1}}$ in the boldface hierarchy, signifying their position just above the Borel sets.

Following this, a set is then defined as a coanalytic set if its complement is an analytic set. These are, therefore, the “inverses” of analytic sets in terms of their definability. They are typically denoted as ${\displaystyle \mathbf {\Pi } _{1}^{1}}$ in the boldface hierarchy. The relationship between analytic and coanalytic sets is analogous to that between open and closed sets, or ${\displaystyle \mathbf {\Sigma } _{\alpha }^{0}}$ and ${\displaystyle \mathbf {\Pi } _{\alpha }^{0}}$ sets, but at a higher level of complexity, where the structure is less immediately apparent and their properties begin to touch upon the very foundations of set theory itself.

Projective Sets and Wadge Degrees

The exploration of complexity in descriptive set theory doesn’t stop at analytic and coanalytic sets. Indeed, many of the most profound and challenging questions in this field ultimately pivot on deep set-theoretic considerations, particularly concerning the properties of ordinal and cardinal numbers . This phenomenon becomes acutely apparent with the introduction of the projective sets , which represent a further ascent into the hierarchical structure of subsets of Polish spaces .

The projective sets are defined via the projective hierarchy on a Polish space X, building upon the concept of projection from higher-dimensional spaces:

• The First Level of Projection ($\mathbf {\Sigma } _{1}^{1}$): A set is declared to be ${\displaystyle \mathbf {\Sigma } _{1}^{1}}$ if it is analytic . This establishes the base for the projective hierarchy, linking it directly to the concepts just discussed.
• Complements of Projections ($\mathbf {\Pi } _{1}^{1}$): A set is categorized as ${\displaystyle \mathbf {\Pi } _{1}^{1}}$ if it is coanalytic . Again, this maintains the duality.
• Further Projections ($\mathbf {\Sigma } _{n+1}^{1}$): A set A achieves the classification of ${\displaystyle \mathbf {\Sigma } _{n+1}^{1}}$ if there exists a ${\displaystyle \mathbf {\Pi } _{n}^{1}}$ subset B of the product space ${\displaystyle X\times X}$ such that A is the projection of B onto its first coordinate. This is where the “projective” aspect truly manifests, deriving sets from higher-dimensional counterparts.
• Complements of Further Projections ($\mathbf {\Pi } _{n+1}^{1}$): Conversely, a set A is designated as ${\displaystyle \mathbf {\Pi } _{n+1}^{1}}$ if there exists a ${\displaystyle \mathbf {\Sigma } _{n}^{1}}$ subset B of ${\displaystyle X\times X}$ such that A is the projection of B onto its first coordinate. The recursive definition continues.
• Intersections of Projections ($\mathbf {\Delta } _{n}^{1}$): A set is deemed ${\displaystyle \mathbf {\Delta } _{n}^{1}}$ if and only if it is simultaneously both a ${\displaystyle \mathbf {\Pi } _{n}^{1}}$ set and a ${\displaystyle \mathbf {\Sigma } _{n}^{1}}$ set. These are the sets whose complexity allows them to be described from both “sides” of the projection operation.

As with the Borel hierarchy , this hierarchy also exhibits a clear inclusion structure: for any n, any ${\displaystyle \mathbf {\Delta } _{n}^{1}}$ set is necessarily both a ${\displaystyle \mathbf {\Sigma } _{n+1}^{1}}$ set and a ${\displaystyle \mathbf {\Pi } _{n+1}^{1}}$ set. The levels are strictly nested in terms of complexity, creating a ladder that extends far into the transfinite.

However, the properties of these projective sets are not entirely determined by the standard axioms of ZFC (Zermelo–Fraenkel set theory with the Axiom of Choice ). This is where things get truly interesting, and perhaps a little unsettling, for those who prefer their mathematical truths to be unambiguous. For instance, under the assumption of V = L (the axiom that states every set is constructible, meaning the universe of sets is the smallest possible one), it turns out that not all projective sets possess the perfect set property or the property of Baire . This is a stark contrast to the behavior of Borel sets, which reliably exhibit these “regularity properties.”

Conversely, if one assumes the axiom of projective determinacy (a powerful axiom asserting that certain infinite games are determined), then a much more orderly universe emerges: all projective sets do have both the perfect set property and the property of Baire. This deep connection highlights the foundational dependence of descriptive set theory on the axioms of set theory, demonstrating that the very “behavior” of these sets can change depending on one’s axiomatic framework. This is further underscored by the fact that ZFC proves Borel determinacy (a weaker form of determinacy applicable to Borel sets), but it does not, by itself, prove projective determinacy. The question of determinacy for higher projective levels remains an area where the standard axioms are insufficient.

In a related vein, there exist generic extensions of ${\displaystyle L}$ (the constructible universe) for any natural number ${\displaystyle n>2}$ in which ${\displaystyle {\mathcal {P}}(\omega )\cap L}$ (the power set of natural numbers restricted to constructible sets) precisely comprises all the lightface ${\displaystyle \Delta _{n}^{1}}$ subsets of ${\displaystyle \omega }$. This demonstrates the subtle interplay between constructibility, genericity, and the definability of sets within the projective hierarchy, as explored by mathematicians like V. Kanovei and V. Lyubetsky in their work on the ${\displaystyle \Delta _{n}^{1}}$ problem of Harvey Friedman. This is the kind of detail that makes one question if we ever truly know anything for certain.

More generally, the entire collection of sets of elements of a Polish space X can be further stratified into equivalence classes known as Wadge degrees . These degrees represent a profound generalization of the projective hierarchy, offering an even finer-grained classification based on continuous reducibility. These degrees are meticulously ordered within the intricate structure of the Wadge hierarchy . The powerful axiom of determinacy (which implies projective determinacy) suggests that the Wadge hierarchy on any Polish space is not only well-founded but also extends to a colossal length, reaching the ordinal ${\displaystyle \Theta }$, with a structure that magnificently extends and refines the projective hierarchy.

Borel Equivalence Relations

A rather active and contemporary area of investigation within descriptive set theory centers on the study of Borel equivalence relations . One might imagine that after meticulously classifying sets, the next logical step would be to classify relationships between elements of those sets, especially those relationships that are themselves “well-behaved.”

Specifically, a Borel equivalence relation on a Polish space X is defined as a Borel subset of the product space ${\displaystyle X\times X}$ that also satisfies all the axioms of an equivalence relation on X. This means the relation must be reflexive, symmetric, and transitive, and crucially, the set of all pairs $(x, y)$ for which $x$ is related to $y$ must itself be a Borel set. The study of these relations delves into questions about the complexity of quotient spaces, the existence of Borel selectors, and the classification of mathematical structures up to isomorphism, where the isomorphisms are required to be Borel measurable. It’s an elegant way to impose order on a class of relations that might otherwise be far too unwieldy for systematic study.

Effective Descriptive Set Theory

For those who find the classical approach of descriptive set theory a touch too abstract, or perhaps just a bit too reliant on the heavy machinery of arbitrary sets, there exists the fascinating, if slightly more technical, subfield of effective descriptive set theory . This area distinguishes itself by purposefully weaving together the sophisticated methods of descriptive set theory with the rigorous framework of generalized recursion theory , with a particular emphasis on hyperarithmetical theory .

The core innovation here lies in its focus on “lightface” analogues of the hierarchies that define classical descriptive set theory. Whereas classical descriptive set theory (often referred to as “boldface”) concerns itself with sets that are definable without reference to specific parameters (or with arbitrary parameters), effective descriptive set theory restricts these definitions to those that are “computable” or “effectively definable” in some sense. Thus, instead of the classical Borel hierarchy , researchers in this domain meticulously study the hyperarithmetic hierarchy , which provides a computable analogue for the levels of Borel complexity. Similarly, the analytical hierarchy takes the place of the classical projective hierarchy , focusing on effectively definable projective sets.

This research isn’t merely an academic exercise; it has profound connections to weaker, more constructive versions of set theory . For example, its insights are particularly relevant to foundational systems like Kripke–Platek set theory , which offers a more restricted universe of sets than ZFC, and to second-order arithmetic , a system that allows quantification over sets of natural numbers but avoids the full power of set theory. By imposing effective constraints, this subfield provides a bridge between classical set theory and the more constructive, computational aspects of logic, demonstrating that even in the vastness of infinite sets, there can be a discernible, computable order.

Table

For those who appreciate a concise, if somewhat overwhelming, overview of the various pointclasses discussed, here is a comparative table. It juxtaposes the “lightface” (effective) hierarchies with their “boldface” (classical) counterparts, illustrating the intricate relationships and distinctions between computable definability and purely set-theoretic definability. Think of it as a cheat sheet for the truly dedicated, or perhaps a warning label for the easily confused.

| Pointclasses | | | :———————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————— ———————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————— ————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————————-## Descriptive Set Theory: Charting the Nuances of Polish Spaces

In the intricate domain of mathematical logic , where precision reigns supreme and foundational structures are meticulously examined, one encounters descriptive set theory (DST). This specialized subfield dedicates itself to the rigorous study of specific classes of “well-behaved” subsets – a term that, in mathematics, often implies a convenient lack of pathological complexity – residing within the familiar real line and its more abstract, yet equally fundamental, counterparts: the Polish spaces . It is a domain that, far from being isolated, serves as a cornerstone within primary set theory research, while simultaneously extending its influence to various other mathematical disciplines. Its applications are surprisingly diverse, reaching into functional analysis to clarify the structure of function spaces, permeating ergodic theory to understand long-term system behavior, informing the study of operator algebras , and elucidating the mechanisms of group actions . Ultimately, it remains deeply interwoven with mathematical logic , providing tools for understanding the limits of definability and constructibility within infinite sets.

Polish Spaces

The conceptual foundation of descriptive set theory is firmly laid upon the study of Polish spaces and the intricate collections of their Borel sets . To understand the theory, one must first grasp the nature of these spaces, which are, in essence, the preferred arenas for this particular branch of mathematics.

A Polish space is formally characterized as a second-countable topological space that possesses the crucial property of being metrizable with a complete metric . This definition might initially appear dense, but it encapsulates a powerful intuition: a Polish space can be heuristically understood as a complete separable metric space where the specific, quantitative details of the metric have been, to a certain extent, “forgotten” or abstracted away. The emphasis shifts from precise numerical distances to the qualitative topological structure that such a metric inherently defines. This level of abstraction allows mathematicians to focus on properties that are invariant under continuous transformations, simplifying analysis without sacrificing fundamental structural insights.

The mathematical landscape is replete with examples of Polish spaces, though their classification as such might not always be immediately apparent in other contexts. The archetypal real line , denoted by ${\displaystyle \mathbb {R} }$, is a quintessential Polish space, its inherent completeness and separability making it an ideal candidate. Another critical example is the Baire space , typically represented as ${\displaystyle {\mathcal {N}}}$, which comprises all infinite sequences of natural numbers. Its unique properties, such as being totally disconnected and perfect, render it a fundamental object for many constructions in descriptive set theory. Similarly, the Cantor space , denoted ${\displaystyle {\mathcal {C}}}$, consisting of all infinite binary sequences, shares topological characteristics with Baire space and often serves as a simplified, yet representative, model. Expanding into higher dimensions, the Hilbert cube , denoted ${\displaystyle I^{\mathbb {N} }}$, an infinite-dimensional generalization of a cube, also fits the definition of a Polish space. These examples, despite their apparent diversity, are united by a common underlying topological elegance that makes them exceptionally amenable to the analytical tools employed within descriptive set theory.

Universality Properties

The collection of Polish spaces exhibits a remarkable set of characteristics, aptly termed universality properties. These are not just theoretical curiosities; they are immensely practical, demonstrating that, for many investigations, one can often restrict attention to certain specific, well-understood Polish spaces without any genuine loss of generality. It’s almost as if the mathematical universe, in a rare moment of benevolence, decided to offer a shortcut.

Two primary universality properties stand out:

• Embedding within the Hilbert Cube: Every Polish space is homeomorphic – meaning it is topologically equivalent – to a G_δ subspace of the Hilbert cube . Conversely, any G_δ subspace of the Hilbert cube is itself a Polish space. This property implies that no matter how complex or abstract a Polish space might initially appear, it can always be continuously deformed and embedded as a relatively “simple” (G_δ) subset within the infinitely dimensional, yet topologically compact, Hilbert cube. This provides a powerful conceptual tool, allowing the translation of problems from diverse Polish spaces into a single, standardized, and more manageable setting.
• Continuous Images of Baire Space: Furthermore, a profound characteristic is that every Polish space can be realized as a continuous image of the Baire space . More precisely, every Polish space is the image of a continuous bijection (a one-to-one and onto continuous mapping) defined on a closed subset of Baire space. This highlights the Baire space’s fundamental role as a “generator” for all other Polish spaces, demonstrating its rich internal structure. A similar, though more specialized, property applies to compact Polish spaces: every compact Polish space can be obtained as a continuous image of the Cantor space . These relationships underscore the canonical status of Baire and Cantor spaces.

Owing to these remarkably convenient universality properties – and, let’s be frank, because the Baire space (${\displaystyle {\mathcal {N}}}$) possesses the particularly elegant and useful attribute of being homeomorphic to its infinite product, ${\displaystyle {\mathcal {N}}^{\omega }}$ (meaning an infinite sequence of Baire spaces is topologically equivalent to a single Baire space, a self-similar marvel) – a substantial body of results within descriptive set theory is often initially proven and established within the specific, controlled context of Baire space alone. Why introduce unnecessary complexity when a simpler, yet topologically equivalent, model can yield the same profound insights? This judicious restriction of focus allows for more streamlined proofs and a deeper understanding of fundamental principles.

Borel Sets

With the stage set by Polish spaces , the next essential step in descriptive set theory is to define the fundamental building blocks that reside within them: the Borel sets . The class of Borel sets of a topological space X is not merely an arbitrary collection of subsets. Instead, it is precisely defined as the smallest σ-algebra that contains all the open sets of X. This definition is elegantly minimal, ensuring that no extraneous sets are included, yet powerful enough to generate a vast and robust collection of sets suitable for rigorous analysis.

This specific construction implies a set of foundational rules, often thought of as the defining characteristics of a σ-algebra:

• Inclusion of Open Sets: Fundamentally, every open subset of X is, by definition, a Borel set. These are the elementary components from which all other Borel sets are meticulously constructed. They represent the most basic topologically discernible regions.
• Closure Under Complementation: If a set A is a Borel set, then its complement, denoted by ${\displaystyle X\setminus A}$, must also be a Borel set. This rule ensures a symmetric completeness: if you can define a region, you can also define everything outside that region within the Borel framework. The class of Borel sets is, therefore, inherently closed under complementation.
• Closure Under Countable Unions: If one considers any infinite, yet countable , sequence of Borel sets, say ${\displaystyle \langle A_{n}\rangle }$, then their collective union, ${\displaystyle \bigcup A_{n}}$, is also guaranteed to be a Borel set. This property is crucial, as it allows for the construction of increasingly complex sets from simpler ones through an iterative, countable process. As a direct consequence of this and the complementation rule (via De Morgan’s laws), the Borel sets are also closed under countable intersections.

A cornerstone result within descriptive set theory powerfully states that any two uncountable Polish spaces , X and Y, are, in fact, Borel isomorphic . This isn’t a mere approximation; it signifies that there exists a bijection (a one-to-one and onto mapping) between X and Y such that not only is the preimage of any Borel set in Y a Borel set in X, but also the image of any Borel set in X is a Borel set in Y. This establishes a deep structural equivalence between all uncountable Polish spaces at the level of their measurable sets. This isomorphism provides compelling justification for the common practice of focusing on canonical examples like the Baire space and Cantor space when proving general theorems about Borel sets. If all such spaces are essentially identical from a Borel perspective, then working with simpler, well-understood models significantly streamlines the mathematical endeavor.

Borel Hierarchy

Once the concept of Borel sets is firmly established, the natural, almost inevitable, progression in descriptive set theory is to classify them according to their structural complexity. This is the precise function of the Borel hierarchy : a meticulous system that sorts each Borel set within a Polish space based on the number and type of operations (countable union and complementation) required to construct it, starting from the most elementary open sets. This classification system is inherently ordered by countable ordinal numbers , reflecting the recursive, layered nature of these mathematical constructions. For every non-zero countable ordinal ${\displaystyle \alpha }$, there are three distinct and interconnected classes: ${\displaystyle \mathbf {\Sigma } _{\alpha }^{0}}$, ${\displaystyle \mathbf {\Pi } _{\alpha }^{0}}$, and ${\displaystyle \mathbf {\Delta } _{\alpha }^{0}}$.

Let’s delineate these classifications with a bit more precision:

• The Base Level ($\mathbf {\Sigma } _{1}^{0}$): All open sets are designated as belonging to the class ${\displaystyle \mathbf {\Sigma } _{1}^{0}}$. This forms the foundational layer of the hierarchy, representing the simplest possible Borel sets.
• Complements Defined ($\mathbf {\Pi } _{\alpha }^{0}$): A set is classified as ${\displaystyle \mathbf {\Pi } _{\alpha }^{0}}$ if, and only if, its complement is a ${\displaystyle \mathbf {\Sigma } _{\alpha }^{0}}$ set. This establishes a fundamental duality throughout the hierarchy: understanding one class immediately provides insight into its complementary counterpart.
• Constructing Higher Levels ($\mathbf {\Sigma } _{\delta }^{0}$ for ${\displaystyle \delta >1}$): A set A is declared to be ${\displaystyle \mathbf {\Sigma } {\delta }^{0}}$ for ${\displaystyle \delta >1}$ if it can be expressed as a countable union, ${\displaystyle A=\bigcup A{i}}$, where each set ${\displaystyle A_{i}}$ is a ${\displaystyle \mathbf {\Pi } _{\lambda (i)}^{0}}$ set for some ordinal ${\displaystyle \lambda (i)<\delta }$. This rule captures the iterative process of building more intricate sets by taking countable unions of sets from “lower” (less complex) levels of the hierarchy.
• The Intersection Class ($\mathbf {\Delta } _{\alpha }^{0}$): A set is defined as ${\displaystyle \mathbf {\Delta } _{\alpha }^{0}}$ if and only if it belongs to both the ${\displaystyle \mathbf {\Sigma } _{\alpha }^{0}}$ class and the ${\displaystyle \mathbf {\Pi } _{\alpha }^{0}}$ class simultaneously. These sets represent the “boundary” or “intersection” points within the hierarchy, being definable from both a union and a complementation perspective at the same level.

A fundamental theorem in this area meticulously clarifies the hierarchical structure and the relationships of inclusion between these classes: any set that is classified as either ${\displaystyle \mathbf {\Sigma } _{\alpha }^{0}}$ or ${\displaystyle \mathbf {\Pi } _{\alpha }^{0}}$ is necessarily a ${\displaystyle \mathbf {\Delta } _{\alpha +1}^{0}}$ set. Conversely, any ${\displaystyle \mathbf {\Delta } _{\beta }^{0}}$ set is, by its very nature, simultaneously a ${\displaystyle \mathbf {\Sigma } _{\alpha }^{0}}$ set and a ${\displaystyle \mathbf {\Pi } _{\alpha }^{0}}$ set for all ordinals ${\displaystyle \alpha >\beta }$. This theorem ensures a strict, nested progression of complexity, where each level genuinely represents a step up from the preceding ones, unless a set is simple enough to be described by both a class and its complement at that level.

The visual representation of this hierarchy is often depicted as a ladder-like structure, with arrows indicating strict inclusions:

${\displaystyle {\begin{matrix}&&\mathbf {\Sigma } _{1}^{0}&&&&\mathbf {\Sigma } _{2}^{0}&&\cdots \&\nearrow &&\searrow &&\nearrow \\mathbf {\Delta } _{1}^{0}&&&&\mathbf {\Delta } _{2}^{0}&&&&\cdots \&\searrow &&\nearrow &&\searrow \&&\mathbf {\Pi } _{1}^{0}&&&&\mathbf {\Pi } _{2}^{0}&&\cdots \end{matrix}}{\begin{matrix}&&\mathbf {\Sigma } _{\alpha }^{0}&&&\cdots \&\nearrow &&\searrow \\quad \mathbf {\Delta } _{\alpha }^{0}&&&&\mathbf {\Delta } _{\alpha +1}^{0}&\cdots \&\searrow &&\nearrow \&&\mathbf {\Pi } _{\alpha }^{0}&&&\cdots \end{matrix}}}$

This elegant diagram provides a clear roadmap for understanding the relative complexity of Borel sets, a crucial tool for navigating the often-intricate landscape of higher set theory. It’s a testament to humanity’s need to categorize, even the infinite.

Regularity Properties of Borel Sets

A significant portion of classical descriptive set theory has historically been dedicated to the investigation of what are known as “regularity properties” of Borel sets . These properties are, in essence, guarantees that Borel sets exhibit predictable and well-behaved characteristics, making them exceptionally amenable to mathematical analysis. Having meticulously defined and categorized these sets, it was only logical to then ascertain their fundamental behavioral traits.

For instance, a foundational result states that all Borel sets within a Polish space invariably possess the property of Baire . This property is a topological analogue to the concept of measurability, signifying that a set is “almost open” or “almost closed” in a precise technical sense. More formally, a set with the property of Baire differs from an open (or closed) set only by a “meagre” set, which is considered topologically small or negligible. This implies that Borel sets, from a topological perspective, avoid pathological irregularities; they don’t exhibit the kind of chaotic behavior that might be found in more arbitrarily constructed subsets.

Furthermore, these sets also uniformly exhibit the perfect set property . This powerful characteristic dictates that any uncountable Borel set must necessarily contain a perfect set . A perfect set is defined as a non-empty closed set where every point is a limit point (i.e., it has no isolated points). The implication here is profound: uncountable Borel sets cannot be “thin” or “sparse” in a topological sense; they must contain dense, continuous substructures. This property is vital for understanding the cardinality of these sets and for ruling out certain forms of exotic, highly disconnected structures.

In contemporary descriptive set theory , research extends beyond these classical assurances. Modern inquiry delves into the nuanced ways in which these regularity results either gracefully generalize to other, more complex classes of subsets of Polish spaces, or, perhaps more tellingly and intriguingly, where they decisively fail to generalize. This ongoing exploration continually pushes the boundaries of what is considered “well-behaved,” revealing the limits of predictability and where the comfortable regularity of Borel sets gives way to the more untamed and axiom-dependent wilderness of higher complexity.

Analytic and Coanalytic Sets

Stepping just beyond the meticulously structured and generally “well-behaved” domain of Borel sets , we encounter a new stratum of complexity within descriptive set theory : the analytic sets and their counterparts, the coanalytic sets . These classes represent the first significant departure from the direct, iterative construction rules of the Borel hierarchy, introducing a more powerful operation that can generate sets of genuinely greater intricacy.

A subset of a Polish space X is formally designated as an analytic set if it can be expressed as the continuous image of a Borel subset originating from some other Polish space. This definition, while seemingly straightforward, carries profound implications. It is a known and rather convenient fact that the continuous preimage of a Borel set is always Borel. However, the converse is emphatically not true: not all analytic sets are, in fact, Borel sets. This is the critical distinction, marking the point where sets transcend the definitional capabilities of countable unions and complements alone. The act of taking a continuous image can, and frequently does, introduce a level of complexity that places these sets strictly above the entire Borel hierarchy. In the standard “boldface” notation, analytic sets are typically denoted as ${\displaystyle \mathbf {\Sigma } _{1}^{1}}$, indicating their position at the first level of the projective hierarchy.

Following this, a set is then defined as a coanalytic set if its complement is an analytic set. These sets are, therefore, the “topological inverses” of analytic sets in terms of their definability. They are commonly denoted as ${\displaystyle \mathbf {\Pi } _{1}^{1}}$ in the boldface hierarchy. The relationship between analytic and coanalytic sets is entirely analogous to the duality observed between open and closed sets, or between ${\displaystyle \mathbf {\Sigma } _{\alpha }^{0}}$ and ${\displaystyle \mathbf {\Pi } _{\alpha }^{0}}$ sets within the Borel hierarchy. However, this duality operates at a higher level of definitional complexity, where their properties often begin to depend on the deeper, more foundational axioms of set theory itself, hinting at a universe less amenable to straightforward construction.

Projective Sets and Wadge Degrees

The relentless quest for understanding complexity in descriptive set theory inevitably leads beyond analytic and coanalytic sets into even more intricate structures. Many profound questions in this field ultimately hinge upon deep set-theoretic considerations, particularly concerning the properties of ordinal and cardinal numbers . This phenomenon becomes particularly evident with the introduction of the projective sets , which represent a further, recursive ascent in the hierarchical classification of subsets within Polish spaces .

The projective sets are rigorously defined through the projective hierarchy on a Polish space X, building upon the concept of projection from higher-dimensional spaces:

• The Foundation: Analytic Sets as $\mathbf {\Sigma } _{1}^{1}$: A set is declared to be ${\displaystyle \mathbf {\Sigma } _{1}^{1}}$ if it is an analytic set . This establishes the base level for the entire projective hierarchy.
• Complements of Analytic Sets: $\mathbf {\Pi } _{1}^{1}$: A set is classified as ${\displaystyle \mathbf {\Pi } _{1}^{1}}$ if it is a coanalytic set . This maintains the fundamental duality observed in previous hierarchies.
• Recursive Projections: $\mathbf {\Sigma } _{n+1}^{1}$: A set A is designated as ${\displaystyle \mathbf {\Sigma } _{n+1}^{1}}$ if there exists a ${\displaystyle \mathbf {\Pi } _{n}^{1}}$ subset B of the product space ${\displaystyle X\times X}$ such that A is the projection of B onto its first coordinate. This is the defining characteristic of the projective hierarchy, where sets at higher levels are formed by “projecting” sets from the previous level in a higher-dimensional space.
• Complements of Recursive Projections: $\mathbf {\Pi } _{n+1}^{1}$: Symmetrically, a set A is classified as ${\displaystyle \mathbf {\Pi } _{n+1}^{1}}$ if there exists a ${\displaystyle \mathbf {\Sigma } _{n}^{1}}$ subset B of ${\displaystyle X\times X}$ such that A is the projection of B onto its first coordinate. The recursive definition continues indefinitely.
• The Intersection Class: $\mathbf {\Delta } _{n}^{1}$: A set is defined as ${\displaystyle \mathbf {\Delta } _{n}^{1}}$ if and only if it is simultaneously both a ${\displaystyle \mathbf {\Pi } _{n}^{1}}$ set and a ${\displaystyle \mathbf {\Sigma } _{n}^{1}}$ set. These sets occupy the intersection of their respective classes, being definable from both sides of the projective operation at that specific level.

As with the Borel hierarchy , this hierarchy also exhibits a clear and strict inclusion structure: for each natural number n, any ${\displaystyle \mathbf {\Delta } _{n}^{1}}$ set is necessarily both a ${\displaystyle \mathbf {\Sigma } _{n+1}^{1}}$ set and a ${\displaystyle \mathbf {\Pi } _{n+1}^{1}}$ set. This demonstrates a rigorously nested progression of complexity, where each level genuinely represents a new stratum of definability.

However, a critical aspect of the projective sets is that their properties are not entirely determined by the standard axioms of ZFC (Zermelo–Fraenkel set theory with the Axiom of Choice). This introduces a fascinating and often challenging dependency on additional axiomatic assumptions, revealing the limits of ZFC itself. For example, under the assumption of V = L (the axiom asserting that every set is constructible, implying the universe of sets is the smallest possible one), it is known that not all projective sets possess the perfect set property or the property of Baire . This stands in stark contrast to the robust regularity of Borel sets, which always exhibit these properties.

Conversely, if one assumes the powerful axiom of projective determinacy (an axiom asserting that certain infinite games are determined), a much more orderly universe emerges: under this assumption, all projective sets do possess both the perfect set property and the property of Baire. This deep connection underscores how the fundamental “behavior” of these sets can drastically change depending on the foundational axiomatic framework adopted. This is further highlighted by the fact that ZFC proves Borel determinacy (a weaker form of determinacy applicable to Borel sets), but it does not, by itself, prove projective determinacy, leaving the higher projective levels open to further axiomatic choice. The implications of these choices are significant for the very nature of mathematical objects.

In a more specialized context, there exist generic extensions of ${\displaystyle L}$ (the constructible universe) for any natural number ${\displaystyle n>2}$ in which ${\displaystyle {\mathcal {P}}(\omega )\cap L}$ (the power set of natural numbers restricted to constructible sets) precisely coincides with all the lightface ${\displaystyle \Delta _{n}^{1}}$ subsets of ${\displaystyle \omega }$. This intricate interplay between constructibility, generic extensions, and the definability of sets within the projective hierarchy has been a focus of advanced research, exemplified by works such as V. Kanovei and V. Lyubetsky’s contributions to “On the ${\displaystyle \Delta _{n}^{1}}$