Some applications of positive formulas in descriptive set theory and logic
DOI10.1016/0168-0072(90)90031-VzbMATH Open0760.03013MaRDI QIDQ1812904FDOQ1812904
Authors: Stephen Dyck 
Publication date: 25 June 1992
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
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\).
separation theoremsanalytic setsinterpolation theoremeffective descriptive set theoryadmissible setspositive formulas
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)
Cites Work
- Title not available (Why is that?)
- Descriptive set theory
- Title not available (Why is that?)
- Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
- Infinitary logic and admissible sets
- Invariant sets in topology and logic
- A Separation Theorem for ∑ 1 1 Sets
- An interpolation theorem for denumerably long formulas
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (2)
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)
