Partial impredicativity in reverse mathematics
type: Item
instance of: scholarly article
title: Partial impredicativity in reverse mathematics
zbMATH Open document ID: 1275.03079
author: Henry Towsner
publication date: 2013-06-24T00:00:00Z
full work available at URL: https://arxiv.org/abs/1106.6063
full work available at URL: https://projecteuclid.org/euclid.jsl/1368627060
Mathematics Subject Classification ID: 03B30
Mathematics Subject Classification ID: 03F35
zbMATH DE Number: 6180294
zbMATH Keywords: reverse mathematics
zbMATH Keywords: impredicativity
zbMATH Keywords: quasi-ordering
zbMATH Keywords: Howard-Bachman ordinal
zbMATH Keywords: transfinite induction
zbMATH Keywords: proof-theoretic ordinal
zbMATH Keywords: ATR
zbMATH Keywords: Nash-Williams theorem
zbMATH Keywords: Menger's theorem
MaRDI profile type: Publication
OpenAlex ID: W2593536082
arXiv ID: 1106.6063
cites work: On the strength of Ramsey's theorem for pairs
cites work: An effective proof that open sets are Ramsey
cites work: Q3395521
cites work: Menger's theorem in \(\Pi^1_1 \mathrm {-CA}_0\)
cites work: Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen
cites work: Proof-theoretic investigations on Kruskal's theorem
DOI: 10.2178/JSL.7802070
Recommended article: Proof-theoretic investigations on Kruskal's theorem
Recommended article: Ordinal inequalities, transfinite induction, and reverse mathematics
Recommended article: Q3699664
Recommended article: Reverse Mathematics and Ordinal Multiplication
Recommended article: Well-Ordering Principles in Proof Theory and Reverse Mathematics
Recommended article: Q5711887
Recommended article: Comparing DNR and WWKL
Recommended article: Weak and strong versions of effective transfinite recursion
Recommended article: Nonstandard Arithmetic and Reverse Mathematics
Recommended article: What is effective transfinite recursion in reverse mathematics?
published in: Journal of Symbolic Logic
description: scientific article; zbMATH DE number 6180294