Wilfried Buchholz. An intuitionistic fixed point theory. Archive for mathematical logic, vol. 37 no. 1 , pp. 21–27 [Book Review]

Bulletin of Symbolic Logic 7 (3):391-392 (2001)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2687764

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

An intuitionistic fixed point theory.Wilfried Buchholz - 1997 - Archive for Mathematical Logic 37 (1):21-27.
Review: Wilfried Buchholz, An Intuitionistic Fixed Point Theory. [REVIEW]Erik Palmgren - 2001 - Bulletin of Symbolic Logic 7 (3):391-392.
An Intuitionistic Fixed Point Theory.Wilfried Buchholz - 2001 - Bulletin of Symbolic Logic 7 (3):391-392.
Intuitionistic Fixed Point Theories for Strictly Positive Operators.Christian Rüede & Thomas Strahm - 2002 - Mathematical Logic Quarterly 48 (2):195-202.
Notation systems for infinitary derivations.Wilfried Buchholz - 1991 - Archive for Mathematical Logic 30 (5-6):277-296.
Intuitionistic fixed point theories over set theories.Toshiyasu Arai - 2015 - Archive for Mathematical Logic 54 (5-6):531-553.
A Buchholz Rule for Modal Fixed Point Logics.Gerhard Jäger & Thomas Studer - 2011 - Logica Universalis 5 (1):1-19.
Wilfried Buchholz. Notation systems for infinitary derivations_. Archive for mathematical logic, vol. 30 no. 5–6 (1991), pp. 277–296. - Wilfried Buchholz. _Explaining Gentzen's consistency proof within infinitary proof theory_. Computational logic and proof theory, 5th Kurt Gödel colloquium, KGC '97, Vienna, Austria, August 25–29, 1997, Proceedings, edited by Georg Gottlob, Alexander Leitsch, and Daniele Mundici, Lecture notes in computer science, vol. 1289, Springer, Berlin, Heidelberg, New York, etc., 1997, pp. 4–17. - Sergei Tupailo. _Finitary reductions for local predicativity, I: recursively regular ordinals. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Háajek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., etc., 2000, pp. 465–499. [REVIEW]Toshiyasu Arai - 2002 - Bulletin of Symbolic Logic 8 (3):437-439.
Review: Wilfried Buchholz, Notation Systems for Infinitary Derivations ; Wilfried Buchholz, Explaining Gentzen's Consistency Proof within Infinitary Proof Theory ; Sergei Tupailo, Finitary Reductions for Local Predicativity, I: Recursively Regular Ordinals. [REVIEW]Toshiyasu Arai - 2002 - Bulletin of Symbolic Logic 8 (3):437-439.
Proof theory of iterated inductive definitions revisited.W. Buchholz - forthcoming - Archive for Mathematical Logic.
A proof-theoretical investigation of global intuitionistic (fuzzy) logic.Agata Ciabattoni - 2005 - Archive for Mathematical Logic 44 (4):435-457.
A fixed point theorem equivalent to the axiom of choice.Alexander Abian - 1985 - Archive for Mathematical Logic 25 (1):173-174.
On the polynomial-space completeness of intuitionistic propositional logic.Vítězslav Švejdar - 2003 - Archive for Mathematical Logic 42 (7):711-716.
Explaining the Gentzen–Takeuti reduction steps: a second-order system.Wilfried Buchholz - 2001 - Archive for Mathematical Logic 40 (4):255-272.
Review: Wilfried Buchholz, Wolfram Pohlers, Wilfried Sieg, Iterated Inductive Definitions and Subsystems of Analysis. [REVIEW]Helmut Pfeiffer - 1994 - Journal of Symbolic Logic 59 (2):668-670.

Analytics

Added to PP
2016-06-30

Downloads
19 (#775,535)

6 months
5 (#652,053)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references