Login / Signup

Reducing ω-model reflection to iterated syntactic reflection.

Fedor PakhomovJames Walsh
Published in: J. Math. Log. (2023)
Keyphrases