Universes over Frege structures

Annals of Pure and Applied Logic 119 (1-3):191-223 (2003)

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 . 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 No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/s0168-0072(02)00040-4
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 40,649
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Proof Theory.K. Schütte - 1977 - Springer Verlag.
Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Zeitshrift für Mathematische Logik Und Grundlagen der Mathematik 35 (1):97--130.
Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Mathematical Logic Quarterly 35 (2):97-130.

View all 35 references / Add more references

Citations of this work BETA

The Universal Set and Diagonalization in Frege Structures.Reinhard Kahle - 2011 - Review of Symbolic Logic 4 (2):205-218.

Add more citations

Similar books and articles

Truth in Applicative Theories.Reinhard Kahle - 2001 - Studia Logica 68 (1):103-128.
The Universal Set and Diagonalization in Frege Structures.Reinhard Kahle - 2011 - Review of Symbolic Logic 4 (2):205-218.
Finite Sets and Frege Structures.John L. Bell - 1999 - Journal of Symbolic Logic 64 (4):1552-1556.
Frege on Definitions.Sanford Shieh - 2008 - Philosophy Compass 3 (5):992-1012.
Universes in Explicit Mathematics.Gerhard Jäger, Reinhard Kahle & Thomas Studer - 2001 - Annals of Pure and Applied Logic 109 (3):141-162.

Analytics

Added to PP index
2014-01-16

Total views
16 ( #499,807 of 2,242,382 )

Recent downloads (6 months)
5 ( #401,760 of 2,242,382 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature