Intuitionistic fixed point theories over set theories

Archive for Mathematical Logic 54 (5-6):531-553 (2015)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s00153-015-0426-y
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,686
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

Admissible Sets and Structures.Jon Barwise - 1978 - Studia Logica 37 (3):297-299.
Notation Systems for Infinitary Derivations.Wilfried Buchholz - 1991 - Archive for Mathematical Logic 30 (5-6):277-296.
Proof Theory of Weak Compactness.Toshiyasu Arai - 2013 - Journal of Mathematical Logic 13 (1):1350003.
On the Relationship Between ATR 0 And.Jeremy Avigad - 1996 - Journal of Symbolic Logic 61 (3):768-779.

View all 14 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Comparing Fixed-Point and Revision Theories of Truth.Philip Kremer - 2009 - Journal of Philosophical Logic 38 (4):363-403.
Universes Over Frege Structures.Reinhard Kahle - 2003 - Annals of Pure and Applied Logic 119 (1-3):191-223.
Totality in Applicative Theories.Gerhard Jäger & Thomas Strahm - 1995 - Annals of Pure and Applied Logic 74 (2):105-120.
Intuitionistic Completeness for First Order Classical Logic.Stefano Berardi - 1999 - Journal of Symbolic Logic 64 (1):304-312.
Intuitionistic Completeness and Classical Logic.D. C. McCarty - 2002 - Notre Dame Journal of Formal Logic 43 (4):243-248.
Interpreting Classical Theories in Constructive Ones.Jeremy Avigad - 2000 - Journal of Symbolic Logic 65 (4):1785-1812.
Editorial Introduction.An Ravelingien - 2007 - Philosophica 79 (2):5-10.

Analytics

Added to PP index
2015-09-03

Total views
12 ( #621,410 of 2,243,057 )

Recent downloads (6 months)
9 ( #159,779 of 2,243,057 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature