Di Nasso, Mauro; Hrbacek, Karel Combinatorial principles in nonstandard analysis. (English) Zbl 1016.03070 Ann. Pure Appl. Logic 119, No. 1-3, 265-293 (2003). Reviewer: Robert A.Herrmann (Annapolis) MSC: 03H05 PDF BibTeX XML Cite \textit{M. Di Nasso} and \textit{K. Hrbacek}, Ann. Pure Appl. Logic 119, No. 1--3, 265--293 (2003; Zbl 1016.03070) Full Text: DOI
Tent, Katrin Split BN-pairs of finite Morley rank. (English) Zbl 1014.03041 Ann. Pure Appl. Logic 119, No. 1-3, 239-264 (2003). MSC: 03C60 20E42 20A15 PDF BibTeX XML Cite \textit{K. Tent}, Ann. Pure Appl. Logic 119, No. 1--3, 239--264 (2003; Zbl 1014.03041) Full Text: DOI
Andou, Y. Church-Rosser property of a simple reduction for full first-order classical natural deduction. (English) Zbl 1016.03006 Ann. Pure Appl. Logic 119, No. 1-3, 225-237 (2003). MSC: 03B10 03B40 03F05 PDF BibTeX XML Cite \textit{Y. Andou}, Ann. Pure Appl. Logic 119, No. 1--3, 225--237 (2003; Zbl 1016.03006) Full Text: DOI
Kahle, Reinhard Universes over Frege structures. (English) Zbl 1018.03046 Ann. Pure Appl. Logic 119, No. 1-3, 191-223 (2003). Reviewer: M.Yasuhara (Princeton) MSC: 03F25 03F35 PDF BibTeX XML Cite \textit{R. Kahle}, Ann. Pure Appl. Logic 119, No. 1--3, 191--223 (2003; Zbl 1018.03046) Full Text: DOI
Feng, Q.; Woodin, W. H. \(P\)-points in \(\mathbb Q_{\max}\) models. (English) Zbl 1024.03048 Ann. Pure Appl. Logic 119, No. 1-3, 121-190 (2003). Reviewer: J.M.Plotkin (East Lansing) MSC: 03E35 03E55 03E05 03E60 PDF BibTeX XML Cite \textit{Q. Feng} and \textit{W. H. Woodin}, Ann. Pure Appl. Logic 119, No. 1--3, 121--190 (2003; Zbl 1024.03048) Full Text: DOI
McCoy, Charles F. D. \(\Delta_{2}^{0}\)-categoricity in Boolean algebras and linear orderings. (English) Zbl 1016.03036 Ann. Pure Appl. Logic 119, No. 1-3, 85-120 (2003). MSC: 03C57 03D45 03C35 PDF BibTeX XML Cite \textit{C. F. D. McCoy}, Ann. Pure Appl. Logic 119, No. 1--3, 85--120 (2003; Zbl 1016.03036) Full Text: DOI
Bridges, Douglas; Vîţă, Luminiţa Apartness spaces as a framework for constructive topology. (English) Zbl 1044.03048 Ann. Pure Appl. Logic 119, No. 1-3, 61-83 (2003). Reviewer: Vladik Ya. Kreinovich (El Paso) MSC: 03F65 54E05 54E17 PDF BibTeX XML Cite \textit{D. Bridges} and \textit{L. Vîţă}, Ann. Pure Appl. Logic 119, No. 1--3, 61--83 (2003; Zbl 1044.03048) Full Text: DOI
Marcinkowski, Jerzy; Pacholski, Leszek Thue trees. (English) Zbl 1020.03039 Ann. Pure Appl. Logic 119, No. 1-3, 19-59 (2003). Reviewer: U.Schöning (Ulm) MSC: 03D35 03D03 68Q42 68Q17 68P15 03B35 PDF BibTeX XML Cite \textit{J. Marcinkowski} and \textit{L. Pacholski}, Ann. Pure Appl. Logic 119, No. 1--3, 19--59 (2003; Zbl 1020.03039) Full Text: DOI
Gitik, Moti On gaps under GCH type assumptions. (English) Zbl 1016.03053 Ann. Pure Appl. Logic 119, No. 1-3, 1-18 (2003). MSC: 03E35 03E55 03E04 03E50 PDF BibTeX XML Cite \textit{M. Gitik}, Ann. Pure Appl. Logic 119, No. 1--3, 1--18 (2003; Zbl 1016.03053) Full Text: DOI