Title of article
The non-constructive μ operator, fixed point theories with ordinals, and the bar rule Original Research Article
Author/Authors
Thomas Strahm، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2000
Pages
20
From page
305
To page
324
Abstract
This paper deals with the proof theory of first-order applicative theories with non-constructive μ operator and a form of the bar rule, yielding systems of ordinal strength View the MathML source and ϕ20, respectively. Relevant use is made of fixed-point theories with ordinals plus bar rule.
Keywords
Theories with ordinals , Non-constructive ?-operator , Bar rule , Applicative theories
Journal title
Annals of Pure and Applied Logic
Serial Year
2000
Journal title
Annals of Pure and Applied Logic
Record number
889734
Link To Document