Barwise: Infinitary logic and admissible sets
Bulletin of Symbolic Logic 10 (1):4-36 (2004)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesH. Jerome Keisler (1971). Model Theory for Infinitary Logic. Amsterdam,North-Holland Pub. Co..
K. J. Barwise, R. O. Gandy & Y. N. Moschovakis (1971). The Next Admissible Set. Journal of Symbolic Logic 36 (1):108-120.
T. A. Slaman (1986). ∑1 Definitions with Parameters. Journal of Symbolic Logic 51 (2):453 - 461.
Mark Nadel & Jonathan Stavi (1977). The Pure Part of HYP(M). Journal of Symbolic Logic 42 (1):33-46.
Jon Barwise (1969). Applications of Strict Π11 Predicates to Infinitary Logic. Journal of Symbolic Logic 34 (3):409 - 423.
Jacob Lurie (1999). Anti-Admissible Sets. Journal of Symbolic Logic 64 (2):407-435.
Sy D. Friedman (1979). HC of an Admissible Set. Journal of Symbolic Logic 44 (1):95-102.
Jon Barwise (1975). Admissible Sets and Structures: An Approach to Definability Theory. Springer-Verlag.
Jon Barwise (1969). Infinitary Logic and Admissible Sets. Journal of Symbolic Logic 34 (2):226-252.
Kim Bruce & H. J. Keisler (1979). $L_a(\Finv)$. Journal of Symbolic Logic 44 (1):15 - 28.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads6 ( #145,673 of 549,117 )Recent downloads (6 months)1 ( #63,361 of 549,117 )How can I increase my downloads? |
My notes
Discussion
