An intensional fixed point theory over first order arithmetic
type: Item
instance of: scholarly article
title: An intensional fixed point theory over first order arithmetic
zbMATH Open document ID: 1048.03047
author: Gerhard Jäger
published in: Annals of Pure and Applied Logic
publication date: 2004-08-16T00:00:00Z
Mathematics Subject Classification ID: 03F30
Mathematics Subject Classification ID: 03F50
zbMATH DE Number: 2091344
zbMATH Keywords: Arithmetic
zbMATH Keywords: Fixed points
zbMATH Keywords: Proof-theoretical strength
MaRDI profile type: Publication
full work available at URL: j.apal.2003.11.032
OpenAlex ID: W2027106493
cites work: Rudiments of \(\mu\)-calculus
cites work: On the relationship between ATR0 and
cites work: Modal logics and mu-calculi: An introduction
cites work: Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
cites work: Logical frameworks for truth and abstraction. An axiomatic study
cites work: Q3671968
cites work: The proof-theoretic analysis of transfinitely iterated fixed point theories
cites work: μ-definable sets of integers
DOI: 10.1016/J.APAL.2003.11.032
description: scientific article; zbMATH DE number 2091344