Gerhard Jäger, Dieter Probst. The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories. Annals of Pure and Applied Logic, 162(8):647-660, 2011. [doi]
No references recorded for this publication.
No citations of this publication recorded.