Abstract. We provide an alternative proof of a theorem of P. Clote concerning end extensions of models of \(\Sigma_n\)-induction, for \(n \geq 2\).
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received: 10 November 1998
Rights and permissions
About this article
Cite this article
Cornaros, C., Dimitracopoulos, C. A note on end extensions. Arch Math Logic 39, 459–463 (2000). https://doi.org/10.1007/s001530050158
Issue Date:
DOI: https://doi.org/10.1007/s001530050158