Searching for "Transfinite Recursive Progressions of Axiomatic Theories." – sorted by Relevance.
-
Formalizing Complex Reasoning
- . English translation in [29]. [31] S. Feferman. Transfinite Recursive Progressions of Axiomatic Theories
- Add To MetaCart
-
, 295--320, 1995. [103] Computation on data types. The extensional approach, with an application to streams,
- ~oes transfinitas recursivas de teorias axiom'aticas (translation of "Transfinite recursive progressions
- Add To MetaCart
-
Gödel's program for new axioms: Why, where, how and what?
- progressions of axiomatic theories (cf. Feferman [1962, 1988]). While Turing obtained a completeness result
- Cited by 10 (3 self) – Add To MetaCart

