Some applications of positive formulas in descriptive set theory and logic

DOI10.1016/0168-0072(90)90031-VMaRDI QIDQ1812904zbMATH OpenFDO

Authors Stephen Dyck

Publication date 25 June 1992

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

separation theoremsanalytic setsinterpolation theoremeffective descriptive set theoryadmissible setspositive formulas

Mathematics Subject Classification ID

Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Descriptive set theory (03E15) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)

Recommendations

• A Constructive Version of the Lusin Separation Theorem
• The Dyck and the Preiss separation uniformly
• Hurewicz test sets for generalized separation and reduction
• On the concept of analytic hardness
• On the limit superior of analytic sets
• A separation result for countable unions of Borel rectangles
• scientific article; zbMATH DE number 3922631
• scientific article; zbMATH DE number 889885
• Half of an inseparable pair
• Sur les ensembles plans analytiques on mesurables \(B\).

Cites work

• scientific article; zbMATH DE number 3672298 (Why is no real title available?)
• scientific article; zbMATH DE number 3564986 (Why is no real title available?)
• scientific article; zbMATH DE number 3581219 (Why is no real title available?)
• scientific article; zbMATH DE number 3216175 (Why is no real title available?)
• scientific article; zbMATH DE number 3255438 (Why is no real title available?)
• A Separation Theorem for ∑ 1 1 Sets
• An interpolation theorem for denumerably long formulas
• Descriptive set theory
• Infinitary logic and admissible sets
• Invariant sets in topology and logic
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers

Cited in

(2)

• scientific article; zbMATH DE number 3922631 (Why is no real title available?)
• Classical descriptive set theory as a refinement of effective descriptive set theory

This page was built for publication: Some applications of positive formulas in descriptive set theory and logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1812904)