Ordinal notations and well-orderings in bounded arithmetic
type: Item
instance of: scholarly article
title: Ordinal notations and well-orderings in bounded arithmetic
zbMATH Open document ID: 1015.03055
DOI: 10.1016/S0168-0072(02)00066-0
author: Arnold Beckmann
author: Samuel R. Buss
author: Chris Pollett
published in: Annals of Pure and Applied Logic
publication date: 2003-03-16T00:00:00Z
Mathematics Subject Classification ID: 03F30
Mathematics Subject Classification ID: 03F15
Mathematics Subject Classification ID: 03D15
zbMATH DE Number: 1882256
zbMATH Keywords: ordinal notations
zbMATH Keywords: well-foundedness
zbMATH Keywords: bounded arithmetic
zbMATH Keywords: fragments of Peano arithmetic
zbMATH Keywords: polynomial local search
MaRDI profile type: Publication
cites work: Q5691043
cites work: Notations for exponentiation.
cites work: Q3476809
cites work: An Application of Boolean Complexity to Separation Problems in Bounded Arithmetic
cites work: Systems of predicative analysis
cites work: Systems of predicative analysis, II: Representations of ordinals
cites work: Q5286672
cites work: How easy is local search?
cites work: Q4856172
cites work: Proof theory. An introduction
cites work: Q4143279
cites work: Q3140643
Recommended article: Ordinal arithmetic and \(\Sigma_1\)-elementarity
Recommended article: Ordinals and Knuth-Bendix Orders
Recommended article: Ordinal notations based on a weakly Mahlo cardinal
Recommended article: Arithmetic transfinite induction and recursive well-orderings
Recommended article: A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal
Recommended article: A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal
Recommended article: Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition
Recommended article: Q3972753
Recommended article: Q3140643
Recommended article: Intuitionistic sets and ordinals
description: scientific article; zbMATH DE number 1882256