A Spector-Gandy theorem for cPCd() classes

DOI10.2307/2275283zbMath0764.03012OpenAlexW2060750779MaRDI QIDQ4032633

Shaughan Lavine

Publication date: 1 April 1993

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

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

zbMATH Keywords

truncationadmissible structureHYPgeneralized Spector-Gandy theorem

Mathematics Subject Classification ID

Model theory of denumerable and separable structures (03C15) Logic on admissible sets (03C70)

Cites Work

• Unnamed Item
• Unnamed Item
• Models with compactness properties relative to an admissible language
• Admissible sets and the saturation of structures
• Generalized reduction theorems for model-theoretic analogs of the class of coanalytic sets

This page was built for publication: A Spector-Gandy theorem for cPC_d() classes