The alpha-finite injury method

Annals of Mathematical Logic 4 (4):343 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(72)90004-6

Links

PhilArchive



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

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

Finite injury and Σ1-induction.Michael Mytilinaios - 1989 - Journal of Symbolic Logic 54 (1):38 - 49.
Topological framework for finite injury.Kyriakos Kontostathis - 1992 - Mathematical Logic Quarterly 38 (1):189-195.
The α-finite injury method.G. E. Sacks & S. G. Simpson - 1972 - Annals of Mathematical Logic 4 (4):343-367.
On generic structures with a strong amalgamation property.Koichiro Ikeda, Hirotaka Kikyo & Akito Tsuboi - 2009 - Journal of Symbolic Logic 74 (3):721-733.
Lifting independence results in bounded arithmetic.Mario Chiari & Jan Krajíček - 1999 - Archive for Mathematical Logic 38 (2):123-138.
An α-finite injury method of the unbounded type.C. T. Chong - 1976 - Journal of Symbolic Logic 41 (1):1-17.
Bounds for the closure ordinals of essentially monotonic increasing functions.Andreas Weiermann - 1993 - Journal of Symbolic Logic 58 (2):664-671.
Possible PCF algebras.Thomas Jech & Saharon Shelah - 1996 - Journal of Symbolic Logic 61 (1):313-317.
The bounded injury priority method and the learnability of unions of rectangles.Zhixiang Chen & Steven Homer - 1996 - Annals of Pure and Applied Logic 77 (2):143-168.
Remark on a finite axiomatization of finite intermediate propositional logics.D. Skvortsov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):381-386.
A thirty-five-year odyssey of an alpha omega alpha chapter councilor.W. H. Frishman - 2013 - The Pharos of Alpha Omega Alpha-Honor Medical Society. Alpha Omega Alpha 76 (2):4 - 6.
Alpha Omega Alpha and health policy.E. D. Harris Jr - 2009 - The Pharos of Alpha Omega Alpha-Honor Medical Society. Alpha Omega Alpha 72 (4):1.
The Exact Formulation of the Inverse of the Tridiagonal Matrix for Solving the 1D Poisson Equation with the Finite Difference Method.Serigne Bira Gueye - 2014 - JEMAA 6:303-308.
New chapters for Alpha Omega Alpha.R. L. Byyny - 2013 - The Pharos of Alpha Omega Alpha-Honor Medical Society. Alpha Omega Alpha 76 (3):2 - 7.
Some New Natural $alpha$-RE-Degrees.Colin G. Bailey - 1987 - Journal of Symbolic Logic 52 (1):227-231.

Analytics

Added to PP
2015-02-05

Downloads
7 (#1,351,854)

6 months
1 (#1,533,009)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

One hundred and two problems in mathematical logic.Harvey Friedman - 1975 - Journal of Symbolic Logic 40 (2):113-129.
Adding a closed unbounded set.J. E. Baumgartner, L. A. Harrington & E. M. Kleinberg - 1976 - Journal of Symbolic Logic 41 (2):481-482.
Finite injury and Σ1-induction.Michael Mytilinaios - 1989 - Journal of Symbolic Logic 54 (1):38 - 49.
Ordinal machines and admissible recursion theory.Peter Koepke & Benjamin Seyfferth - 2009 - Annals of Pure and Applied Logic 160 (3):310-318.
Minimal α-degrees.Richard A. Shore - 1972 - Annals of Mathematical Logic 4 (4):393-414.

View all 34 citations / Add more citations

References found in this work

No references found.

Add more references