Filters








4 Hits in 0.43 sec

Page 2445 of Mathematical Reviews Vol. , Issue 89E [page]

1989 Mathematical Reviews  
Bernd Dahn (DDR-HUMB) 89e:03059 03C70 03E40 06A10 Howard, Mark (1-PURD) A proofless proof of the Barwise compactness theorem. J. Symbolic Logic 53 (1988), no. 2, 597-602.  ...  The Barwise compactness theorem is easily equivalent to Theorem 1.7 + ‘Every Henkin set has a model’.  ... 

JSL volume 53 issue 2 Cover and Front matter

1988 Journal of Symbolic Logic (JSL)  
By HERBERT H-J- RlEDEL . . . / . . . . . , .' 571 A proofless proof of the Barwise compactness theorem. By MARK HOWARD 597 Complete Ideal rings as domains. By V . STOLTENBERG-HANSEN and J .  ...  By DAN H A R A N . . . . . . . __ 463 Algebraic extensions in nonstandard models and Hubert's irreducibility theorem. Believing the axioms. I. By PENELOPE MADDY . . . . . . . .  ... 
doi:10.1017/s0022481200028267 fatcat:e7meh3oxwvbslgbhg3bznv44uq

JSL volume 53 issue 4 Cover and Back matter

1988 Journal of Symbolic Logic (JSL)  
A proofless proof of the Barwise compactness theorem... 597 IDZIAK, KATARZYNA and IDZIAK, PAWEL M . Decidability problem for finite Heyting algebras 727 IDZIAK, PAWEL M .  ...  A downward Lowenheim-Skolem theorem for infinitary theories which have the unsuperstability property 231 GUREVIC, R . On ultracoproducts of compact Hausdorff spaces 294 HARAN, DAN.  ... 
doi:10.1017/s0022481200027882 fatcat:tnh7pavkonazvhhwii2ekr5g6e

Page 472 of Mathematical Reviews Vol. , Issue Index [page]

Mathematical Reviews  
(Editors) 89g:46031 46B20 Howard, Mark A proofless proof of the Barwise compactness theorem. J. Symbolic Logic 53 (1988), no. 2, 597-602. (Summary) 89e:03059 03C70 (03E40, 06A10) Howard, R. E.  ...  A reconsideration of the general parabola theorem in continued fractions. Proc. Amer. Math. Soc. 102 (1988), no. 3, 593-598. (L. J. Lange) 8%e:30005 30B70 (40A15) Howard, F. T.  ...