An α-finite injury method of the unbounded type

Journal of Symbolic Logic 41 (1):1-17 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272939

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,347

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

Davidson's contribution to the philosophy of language.Gilbert Harman - 2012 - In Gerhard Preyer (ed.), Donald Davidson on truth, meaning, and the mental. Oxford: Oxford University Press.
Lascar Types and Lascar Automorphisms in Abstract Elementary Classes.Tapani Hyttinen & Meeri Kesälä - 2011 - Notre Dame Journal of Formal Logic 52 (1):39-54.
On closed unbounded sets consisting of former regulars.Moti Gitik - 1999 - Journal of Symbolic Logic 64 (1):1-12.
Finite quasivarieties and self-referential conditions.Alexei Vernitski - 2004 - Studia Logica 78 (1-2):337 - 348.
Supersimple ω-categorical groups and theories.David M. Evans & Frank O. Wagner - 2000 - Journal of Symbolic Logic 65 (2):767-776.
Adding Closed Unbounded Subsets of ω₂ with Finite Forcing.William J. Mitchell - 2005 - Notre Dame Journal of Formal Logic 46 (3):357-371.
The hierarchy theorem for generalized quantifiers.Lauri Hella, Kerkko Luosto & Jouko Väänänen - 1996 - Journal of Symbolic Logic 61 (3):802-817.
Recursive inseparability for residual Bounds of finite algebras.Ralph McKenzie - 2000 - Journal of Symbolic Logic 65 (4):1863-1880.
Finite injury and Σ1-induction.Michael Mytilinaios - 1989 - Journal of Symbolic Logic 54 (1):38 - 49.
Reducing problem complexity by analogical transfer.Peter F. Dominey - 1997 - Behavioral and Brain Sciences 20 (1):71-72.

Analytics

Added to PP
2009-01-28

Downloads
31 (#519,480)

6 months
2 (#1,206,222)

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

The α-finite injury method.G. E. Sacks & S. G. Simpson - 1972 - Annals of Mathematical Logic 4 (4):343-367.
The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
The alpha-finite injury method.G. E. Sacks - 1972 - Annals of Mathematical Logic 4 (4):343.
Degrees of Unsolvability.Leonard P. Sasso - 1975 - Journal of Symbolic Logic 40 (3):452-453.

Add more references