Generalized reduction theorems for model-theoretic analogs of the class of coanalytic sets

DOI10.2307/2275326zbMath0782.03019OpenAlexW2035698170MaRDI QIDQ5287681

Shaughan Lavine

Publication date: 17 August 1993

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275326

zbMATH Keywords

admissible setcountable structureseasy uniformization propertyeffective version of Kuratowski's generalized reduction property

Mathematics Subject Classification ID

Descriptive set theory (03E15) Logic on admissible sets (03C70)

Related Items (1)

A Spector-Gandy theorem for cPC_d() classes

Cites Work

• Unnamed Item
• Unnamed Item
• Descriptive set theory
• Dual easy uniformization and model-theoretic descriptive set theory
• Models with compactness properties relative to an admissible language
• Admissible sets and the saturation of structures

This page was built for publication: Generalized reduction theorems for model-theoretic analogs of the class of coanalytic sets