arXiv Open Access 2020

Refinement of proof-theoretic analysis of the lpo due to Buchholz

Toshiyasu Arai

Lihat Sumber

Abstrak

We give a refinement of proof-theoretic analysis of the lpo (lexicographic path order) due to W. Buchholz. This note was written in Feb. 5, 2015 when G. Moser visited Japan.

Topik & Kata Kunci

math.LO

Penulis (1)

Toshiyasu Arai

Format Sitasi

APA MLA BibTeX

Arai, T. (2020). Refinement of proof-theoretic analysis of the lpo due to Buchholz. https://arxiv.org/abs/2008.07124

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2020
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓