The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories
type: Item
instance of: scholarly article
title: The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories
zbMATH Open document ID: 1253.03088
author: Gerhard Jäger
author: D. Probst
published in: Annals of Pure and Applied Logic
publication date: 2011-09-22T00:00:00Z
review text: The authors give a new proof-theoretic analysis of the Suslin operator in applicative theories. In contrast to the treatment in [\textit{G. Jäger} and \textit{T. Strahm}, ``The proof-theoretic analysis of the Suslin operator in applicative theories'', Lect. Notes Log. 15, 270--292 (2002; Zbl 1015.03058)] the given analysis uses appropriate strong versions of ordinal theories as introduced in [\textit{G. Jäger}, ``Fixed points in Peano arithmetic with ordinals'', Ann. Pure Appl. Logic 60, No. 2, 119--132 (1993; Zbl 0776.03027)].
reviewed by: Reinhard Kahle
Mathematics Subject Classification ID: 03F10
Mathematics Subject Classification ID: 03D70
Mathematics Subject Classification ID: 03D75
Mathematics Subject Classification ID: 03F03
zbMATH DE Number: 5949186
zbMATH Keywords: applicative theories
zbMATH Keywords: Suslin operator
zbMATH Keywords: ordinal theories
MaRDI profile type: Publication
full work available at URL: j.apal.2011.01.009
OpenAlex ID: W1963625635
cites work: Q3679172
cites work: Q3757915
cites work: Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
cites work: Q4128540
cites work: Generalized recursion theory II. Proceedings of the 1977 Oslo Symposium
cites work: Q3882452
cites work: Systems of explicit mathematics with non-constructive \(\mu\)-operator. I
cites work: Q4146722
cites work: Q3895467
cites work: Q3968923
cites work: Q3778746
cites work: Fixed points in Peano arithmetic with ordinals
cites work: First order theories for nonmonotone inductive definitions: Recursively inaccessible and Mahlo
cites work: Q4941991
cites work: Q3041187
cites work: Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory
cites work: Q4793035
DOI: 10.1016/J.APAL.2011.01.009
Recommended article: Q4793035
Recommended article: The Suszko operator relative to truth‐equational logics
Recommended article: Theories and ordinals in proof theory
Recommended article: Sequent calculus proof theory of intuitionistic apartness and order relations
Recommended article: On first-order theories with provability operator
Recommended article: Provability algebras and proof-theoretic ordinals. I
Recommended article: Suslin forcing and parametrized ◊ principles
Recommended article: Mathematical proof theory in the light of ordinal analysis
Recommended article: About the proof-theoretic ordinals of weak fixed point theories
Recommended article: Extensions of ordered theories by generic predicates
description: scientific article; zbMATH DE number 5949186