5 found
Order:
  1.  5
    K. Jon Barwise (1972). Absolute Logics and L∞Ω. Annals of Mathematical Logic 4 (3):309-340.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  2.  8
    K. Jon Barwise (1973). A Preservation Theorem for Interpretations. In A. R. D. Mathias & H. Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York,Springer-Verlag 618--621.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  3.  28
    K. Jon Barwise (1972). The Hanf Number of Second Order Logic. Journal of Symbolic Logic 37 (3):588-594.
    We prove, among other things, that the number mentioned above cannot be shown to exist without using some $\Pi_1(\mathscr{P})$ instance of the axiom of replacement.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  4. K. Jon Barwise (1972). Review: S. Feferman, G. Kreisel, Persistent and Invariant Formulas Relative to Theories of Higher Order; Solomon Feferman, Persistent and Invariant Formulas for Outer Extensions. [REVIEW] Journal of Symbolic Logic 37 (4):764-765.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  5.  20
    K. Jon Barwise & Richmond H. Thomason (1988). Logic and Linguistics Meeting, Stanford, 1987. Journal of Symbolic Logic 53 (4):1275-1282.