Countable Admissible Ordinals and Dilators

Mathematical Logic Quarterly 32 (25‐30):451-456 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19860322511

Links

PhilArchive



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

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

HC of an admissible set.Sy D. Friedman - 1979 - Journal of Symbolic Logic 44 (1):95-102.
Order types of ordinals in models of set theory.John E. Hutchinson - 1976 - Journal of Symbolic Logic 41 (2):489-502.
Ptykes in GödelsT und Definierbarkeit von Ordinalzahlen.Peter Päppinghaus - 1989 - Archive for Mathematical Logic 28 (2):119-141.
The existence of countable totally nonconstructive extensions of the countable atomless Boolean algebra.E. W. Madison - 1983 - Journal of Symbolic Logic 48 (1):167-170.
Locally countable models of Σ1-separation.Fred G. Abramson - 1981 - Journal of Symbolic Logic 46 (1):96 - 100.
Intermediate predicate logics determined by ordinals.Pierluigi Minari, Mitio Takano & Hiroakira Ono - 1990 - Journal of Symbolic Logic 55 (3):1099-1124.
The reals in core models.Philip Welch - 1987 - Journal of Symbolic Logic 52 (1):64-67.
A Spector-Gandy Theorem for $mathrm{cPC}_d(mathbb{A})$ Classes.Shaughan Lavine - 1992 - Journal of Symbolic Logic 57 (2):478-500.
How to develop Proof‐Theoretic Ordinal Functions on the basis of admissible ordinals.Michael Rathjen - 1993 - Mathematical Logic Quarterly 39 (1):47-54.
A functorial property of the Aczel-Buchholz-Feferman function.Andreas Weiermann - 1994 - Journal of Symbolic Logic 59 (3):945-955.
The largest countable inductive set is a mouse set.Mitch Rudominer - 1999 - Journal of Symbolic Logic 64 (2):443-459.
The pure part of HYP(M).Mark Nadel & Jonathan Stavi - 1977 - Journal of Symbolic Logic 42 (1):33-46.
Admissible ordinals and intrinsic consistency.Michael Machtey - 1970 - Journal of Symbolic Logic 35 (3):389-400.

Analytics

Added to PP
2013-12-01

Downloads
6 (#1,389,828)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Induktive Definitionen und Dilatoren.Wilfried Buchholz - 1988 - Archive for Mathematical Logic 27 (1):51-60.

Add more citations

References found in this work

Proof theory.K. Schütte - 1977 - New York: Springer Verlag.
[product]¹2-logic, Part 1: Dilators.Jean-Yves Girard - 1981 - Annals of Mathematical Logic 21 (2):75.
Π12-logic, Part 1: Dilators.Jean-Yves Girard - 1981 - Annals of Mathematical Logic 21 (2-3):75-219.

Add more references