The Metamathematics of Infinitary Set Theoretical Systems

Mathematical Logic Quarterly 23 (1-6):19-44 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19770230103

Links

PhilArchive



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

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

The Metamathematics of Infinitary Set Theoretical Systems.Klaus Gloede - 1976 - Mathematical Logic Quarterly 23 (1‐6):19-44.
The metamathematics of algebraic systems, collected papers: 1936-1967.A. I. Malʹt︠s︡ev - 1971 - Amsterdam,: North-Holland Pub. Co.. Edited by Benjamin Franklin Wells.
Review: W. Pohlers, Cut-Elimination for Impredicative Infinitary Systems. Part I. Ordinal- Analysis for $ID_1$; W. Pohlers, Cut Elimination for Impredicative Infinitary Systems. Part II. Ordinal Analysis for Iterated Inductive Definitions. [REVIEW]Kurt Schutte - 1983 - Journal of Symbolic Logic 48 (3):879-880.
Complete infinitary type logics.J. W. Degen - 1999 - Studia Logica 63 (1):85-119.
Iterative and fixed point common belief.Aviad Heifetz - 1999 - Journal of Philosophical Logic 28 (1):61-79.
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.
Infinitary Modal Logic and Generalized Kripke Semantics.Pierluigi Minari - 2011 - Annali Del Dipartimento di Filosofia 17:135-166.
The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
The metamathematics of ergodic theory.Jeremy Avigad - 2009 - Annals of Pure and Applied Logic 157 (2-3):64-76.
Hybrid logics with infinitary proof systems.Rineke Verbrugge, Gerard Renardel de Lavalette & Barteld Kooi - unknown
Cumulative Higher-Order Logic as a Foundation for Set Theory.Wolfgang Degen & Jan Johannsen - 2000 - Mathematical Logic Quarterly 46 (2):147-170.
Representing any-time and program-iteration by infinitary conjunction.Norihiro Kamide - 2013 - Journal of Applied Non-Classical Logics 23 (3):284 - 298.
“Clarifying the nature of the infinite”: The development of metamathematics and proof theory.Jeremy Avigad - manuscript
Book Review. Mechanism, Mentalism and Metamathematics. J Webb. [REVIEW]Harold T. Hodes - 1984 - Journal of Philosophy 81 (8):456-64.

Analytics

Added to PP
2016-02-04

Downloads
21 (#736,702)

6 months
1 (#1,469,946)

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

Languages with Expressions of Infinite Length.William P. Hanf - 1964 - Journal of Symbolic Logic 33 (3):477-478.

Add more references