6 found
Order:
  1.  7
    Absolute Logics and L∞Ω.K. Jon Barwise - 1972 - Annals of Mathematical Logic 4 (3):309-340.
  2.  31
    The Hanf Number of Second Order Logic.K. Jon Barwise - 1972 - 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 (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  3.  2
    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]K. Jon Barwise - 1972 - Journal of Symbolic Logic 37 (4):764-765.
  4.  34
    Logic and Linguistics Meeting, Stanford, 1987.K. Jon Barwise & Richmond H. Thomason - 1988 - Journal of Symbolic Logic 53 (4):1275-1282.
  5.  8
    A Preservation Theorem for Interpretations.K. Jon Barwise - 1973 - In A. R. D. Mathias & H. Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York: Springer Verlag. pp. 618--621.
    Direct download  
     
    Export citation  
     
    My bibliography  
  6. Feferman S. And Kreisel G.. Persistent and Invariant Formulas Relative to Theories of Higher Order. Bulletin of the American Mathematical Society, Vol. 72 , Pp. 480–485.Feferman Solomon. Persistent and Invariant Formulas for Outer Extensions. Logic and Foundations of Mathematics, Dedicated to Prof. A. Heyting on His 70th Birthday, Wolters-Noordhoff Publishing, Groningen 1968, Pp. 29–52; Also Compositio Mathematica, Vol. 20 , P. 29–52. [REVIEW]K. Jon Barwise - 1972 - Journal of Symbolic Logic 37 (4):764-765.