Some applications of positive formulas in descriptive set theory and logic

DOI10.1016/0168-0072(90)90031-VzbMath0760.03013MaRDI QIDQ1812904

Stephen Dyck

Publication date: 25 June 1992

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

zbMATH Keywords

analytic setsinterpolation theoremseparation theoremseffective descriptive set theoryadmissible setspositive formulas

Mathematics Subject Classification ID

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

Cites Work

• Descriptive set theory
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Invariant sets in topology and logic
• An interpolation theorem for denumerably long formulas
• Infinitary logic and admissible sets
• A Separation Theorem for ∑ 1 1 Sets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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