Weak and strong versions of effective transfinite recursion
type: Item
instance of: scholarly article
title: Weak and strong versions of effective transfinite recursion
author: Patrick Uftring
published in: Annals of Pure and Applied Logic
publication date: 2023-02-15T00:00:00Z
full work available at URL: https://arxiv.org/abs/2202.05611
Mathematics Subject Classification ID: 03B30
Mathematics Subject Classification ID: 03F15
Mathematics Subject Classification ID: 03F35
zbMATH DE Number: 7653728
zbMATH Keywords: effective transfinite recursion
zbMATH Keywords: well ordering principles
zbMATH Keywords: transfinite induction
zbMATH Keywords: reverse mathematics
MaRDI profile type: Publication
OpenAlex ID: W4312053897
cites work: \(\mathsf{WKL}_0\) and induction principles in model theory
cites work: Effectiveness for the dual Ramsey theorem
cites work: What is effective transfinite recursion in reverse mathematics?
cites work: WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY
cites work: Periodic points and subsystems of second-order arithmetic
cites work: Ranked structures and arithmetic transfinite recursion
cites work: Reverse mathematics and ordinal exponentiation
cites work: Ordinal inequalities, transfinite induction, and reverse mathematics
cites work: Q3884109
cites work: Q5600870
cites work: Q4040890
cites work: Q3395521
cites work: Transfinite induction within Peano arithmetic
DOI: 10.1016/J.APAL.2022.103232
description: scientific article; zbMATH DE number 7653728