Structure of constituents of \(\Pi^ 1_ 1\)-sets

DOI10.1007/BF00968736zbMath0531.03030MaRDI QIDQ787969

Kanovei, Vladimir

Publication date: 1983

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

treecoanalytic setconstituentBorel classsieveanalytic formulaBorel codeextensions of modelsset-theoretical model

Mathematics Subject Classification ID

Descriptive set theory (03E15) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Set-theoretic model theory (03C55)

Cites Work

• Borel determinacy
• Lectures in set theory with particular emphasis on the method of forcing
• Counting the number of equivalence classes of Borel and coanalytic equivalence relations
• Effective partitions of the real line into Borel sets of bounded rank
• Analytic determinacy and 0^#
• On the Cardinality of $$ \sum_2^1 $$ Sets of Reals
• Unnamed Item
• Unnamed Item

This page was built for publication: Structure of constituents of \(\Pi^ 1_ 1\)-sets