# Transfinite induction

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2015

2015

- ITP
- 2015

We study a transfinite construction we call tower construction in classical type theory. The construction is inductive and… (More)

Is this relevant?

2011

2011

- CADE
- 2011

In this paper we discuss the recently introduced transfinite Knuth-Bendix orders. We prove that any such order with finite… (More)

Is this relevant?

2008

2008

- 2008

We generalize to the case of arithmetical transfinite induction the following three theorems for PA: the Wainer Theorem, the… (More)

Is this relevant?

2005

2005

- Arch. Math. Log.
- 2005

We apply Mints’ technique for proving the termination of the epsilon substitution method via cut-elimination to the system of… (More)

Is this relevant?

2004

2004

- Bulletin of Symbolic Logic
- 2004

1. Iterated Gödelian extensions of theories. The idea of iterating ad infinitum the operation of extending a theory T by adding… (More)

Is this relevant?

1995

1995

- Ann. Pure Appl. Logic
- 1995

The relative strengths of first-order theories axiomatized by transfinite induction, for ordinals less-than ~0, and formulas… (More)

Is this relevant?

Highly Cited

1995

Highly Cited

1995

- Inf. Comput.
- 1995

We establish some fundamental facts for infinitary orthogonal term rewriting systems (OTRSs): for strongly convergent reductions… (More)

Is this relevant?

Highly Cited

1991

Highly Cited

1991

- J. ACM
- 1991

In this paper, a proof method based on a notion of transfinite semantic trees is presented and it is shown how to apply it to… (More)

Is this relevant?

Highly Cited

1989

Highly Cited

1989

- 1989

In the beginning of article we show some consequences of the regularity axiom. In the second part we introduce the successor of a… (More)

Is this relevant?

1981

1981

- Math. Log. Q.
- 1981

In this paper we extend certain results of DE BARROS [1] on the subject of finite induction. We do this through the introduction… (More)

Is this relevant?