Title of article
Universes over Frege structures Original Research Article
Author/Authors
Volker Peckhaus and Reinhard Kahle، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2003
Pages
33
From page
191
To page
223
Abstract
In this paper, we study a concept of universe for a truth predicate over applicative theories. A proof-theoretic analysis is given by use of transfinitely iterated fixed point theories View the MathML source. The lower bound is obtained by a syntactical interpretation of these theories. Thus, universes over Frege structures represent a syntactically expressive framework of metapredicative theories in the context of applicative theories.
Keywords
Applicative theories , Frege structures , Truth theories , Iterated fixed point theories , Universes
Journal title
Annals of Pure and Applied Logic
Serial Year
2003
Journal title
Annals of Pure and Applied Logic
Record number
889882
Link To Document