Delon, Françoise A Kolchin function for imperfect fields of finite imperfection degree. (Une fonction de Kolchin pour les corps imparfaits de degré d’imperfection fini.) (French) Zbl 1119.03030 J. Symb. Log. 70, No. 2, 664-680 (2005). Reviewer: Serban A. Basarab (Bucureşti) MSC: 03C60 03C45 12L12 PDFBibTeX XMLCite \textit{F. Delon}, J. Symb. Log. 70, No. 2, 664--680 (2005; Zbl 1119.03030) Full Text: DOI
Gagelman, Jerry A note on superstable groups. (English) Zbl 1106.03028 J. Symb. Log. 70, No. 2, 661-663 (2005). Reviewer: Yuri Movsisyan (Yerevan) MSC: 03C45 20A15 PDFBibTeX XMLCite \textit{J. Gagelman}, J. Symb. Log. 70, No. 2, 661--663 (2005; Zbl 1106.03028) Full Text: DOI
Lessmann, Olivier Upward categoricity from a successor cardinal for tame abstract classes with amalgamation. (English) Zbl 1089.03025 J. Symb. Log. 70, No. 2, 639-660 (2005). MSC: 03C35 03C55 PDFBibTeX XMLCite \textit{O. Lessmann}, J. Symb. Log. 70, No. 2, 639--660 (2005; Zbl 1089.03025) Full Text: DOI
Kirby, Jonathan A Schanuel condition for Weierstrass equations. (English) Zbl 1077.03018 J. Symb. Log. 70, No. 2, 631-638 (2005); corrigendum ibid. 70, No. 3, 1023 (2005). MSC: 03C60 12H05 12L12 PDFBibTeX XMLCite \textit{J. Kirby}, J. Symb. Log. 70, No. 2, 631--638 (2005; Zbl 1077.03018) Full Text: DOI Link
Krajíček, Jan Structured pigeonhole principle, search problems and hard tautologies. (English) Zbl 1089.03049 J. Symb. Log. 70, No. 2, 616-630 (2005). MSC: 03F20 PDFBibTeX XMLCite \textit{J. Krajíček}, J. Symb. Log. 70, No. 2, 616--630 (2005; Zbl 1089.03049)
Çelikler, Y. Firat Dimension theory and parameterized normalization for \(D\)-semianalytic sets over non-Archimedean fields. (English) Zbl 1119.03028 J. Symb. Log. 70, No. 2, 593-618 (2005). Reviewer: Serban A. Basarab (Bucureşti) MSC: 03C60 12L12 12J25 PDFBibTeX XMLCite \textit{Y. F. Çelikler}, J. Symb. Log. 70, No. 2, 593--618 (2005; Zbl 1119.03028) Full Text: DOI arXiv
Point, Françoise Asymptotic theory of modules of separably closed fields. (English) Zbl 1119.03032 J. Symb. Log. 70, No. 2, 573-592 (2005). Reviewer: Serban A. Basarab (Bucureşti) MSC: 03C60 12L12 12L10 03C10 03B25 PDFBibTeX XMLCite \textit{F. Point}, J. Symb. Log. 70, No. 2, 573--592 (2005; Zbl 1119.03032) Full Text: DOI
Caicedo, Andrés Eduardo Projective well-orderings and bounded forcing axioms. (English) Zbl 1096.03062 J. Symb. Log. 70, No. 2, 557-572 (2005). Reviewer: Martin Weese (Potsdam) MSC: 03E45 03E55 03E35 03E15 PDFBibTeX XMLCite \textit{A. E. Caicedo}, J. Symb. Log. 70, No. 2, 557--572 (2005; Zbl 1096.03062) Full Text: DOI
Bimbó, Katalin The Church-Rosser property in symmetric combinatory logic. (English) Zbl 1090.03003 J. Symb. Log. 70, No. 2, 536-556 (2005). Reviewer: Martin W. Bunder (Wollongong) MSC: 03B40 03B47 PDFBibTeX XMLCite \textit{K. Bimbó}, J. Symb. Log. 70, No. 2, 536--556 (2005; Zbl 1090.03003) Full Text: DOI
Nies, André; Stephan, Frank; Terwijn, Sebastiaan A. Randomness, relativization and Turing degrees. (English) Zbl 1090.03013 J. Symb. Log. 70, No. 2, 515-535 (2005). Reviewer: Rodney Downey (Wellington) MSC: 03D80 03D28 68Q30 PDFBibTeX XMLCite \textit{A. Nies} et al., J. Symb. Log. 70, No. 2, 515--535 (2005; Zbl 1090.03013) Full Text: DOI Link
Carlström, Jesper Interpreting descriptions in intensional type theory. (English) Zbl 1089.03051 J. Symb. Log. 70, No. 2, 488-514 (2005). MSC: 03F35 03F50 03F55 PDFBibTeX XMLCite \textit{J. Carlström}, J. Symb. Log. 70, No. 2, 488--514 (2005; Zbl 1089.03051) Full Text: DOI Link
Rothmaler, Philipp Elementary epimorphisms. (English) Zbl 1093.03021 J. Symb. Log. 70, No. 2, 473-487 (2005). Reviewer: Mike Prest (Manchester) MSC: 03C60 03C07 16B70 PDFBibTeX XMLCite \textit{P. Rothmaler}, J. Symb. Log. 70, No. 2, 473--487 (2005; Zbl 1093.03021) Full Text: DOI
Lippel, David Finitely axiomatizable \(\omega\)-categorical theories and the Mazoyer hypothesis. (English) Zbl 1084.03029 J. Symb. Log. 70, No. 2, 460-472 (2005). Reviewer: J. M. Plotkin (East Lansing) MSC: 03C35 03C45 PDFBibTeX XMLCite \textit{D. Lippel}, J. Symb. Log. 70, No. 2, 460--472 (2005; Zbl 1084.03029) Full Text: DOI
Skvortsov, Dmitrij The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable. (English) Zbl 1086.03022 J. Symb. Log. 70, No. 2, 451-459 (2005). Reviewer: Osamu Sonobe (Follonica) MSC: 03B55 03B20 PDFBibTeX XMLCite \textit{D. Skvortsov}, J. Symb. Log. 70, No. 2, 451--459 (2005; Zbl 1086.03022) Full Text: DOI
Pikhurko, Oleg; Verbitsky, Oleg Descriptive complexity of finite structures: saving the quantifier rank. (English) Zbl 1105.03029 J. Symb. Log. 70, No. 2, 419-450 (2005). Reviewer: Heribert Vollmer (Hannover) MSC: 03C13 68Q19 03C10 PDFBibTeX XMLCite \textit{O. Pikhurko} and \textit{O. Verbitsky}, J. Symb. Log. 70, No. 2, 419--450 (2005; Zbl 1105.03029) Full Text: DOI arXiv
Friedman, Harvey; Miller, Chris Expansions of o-minimal structures by fast sequences. (English) Zbl 1089.03031 J. Symb. Log. 70, No. 2, 410-418 (2005). MSC: 03C64 PDFBibTeX XMLCite \textit{H. Friedman} and \textit{C. Miller}, J. Symb. Log. 70, No. 2, 410--418 (2005; Zbl 1089.03031) Full Text: DOI
Holland, W. C.; Kuhlmann, S.; McCleary, S. H. Lexicographic exponentiation of chains. (English) Zbl 1106.03032 J. Symb. Log. 70, No. 2, 389-409 (2005). Reviewer: Yuri Movsisyan (Yerevan) MSC: 03C64 03C60 06A05 PDFBibTeX XMLCite \textit{W. C. Holland} et al., J. Symb. Log. 70, No. 2, 389--409 (2005; Zbl 1106.03032) Full Text: DOI
Hart, Bradd; Shami, Ziv On the type-definability of the binding group in simple theories. (English) Zbl 1085.03023 J. Symb. Log. 70, No. 2, 379-388 (2005). Reviewer: Frank Wagner (Villeurbanne) MSC: 03C45 PDFBibTeX XMLCite \textit{B. Hart} and \textit{Z. Shami}, J. Symb. Log. 70, No. 2, 379--388 (2005; Zbl 1085.03023) Full Text: DOI
Montalbán, Antonio Up to equimorphism, hyperarithmetic is recursive. (English) Zbl 1089.03036 J. Symb. Log. 70, No. 2, 360-378 (2005). MSC: 03D45 03F30 PDFBibTeX XMLCite \textit{A. Montalbán}, J. Symb. Log. 70, No. 2, 360--378 (2005; Zbl 1089.03036) Full Text: DOI
Dunn, J. Michael; Hagge, Tobias J.; Moss, Lawrence S.; Wang, Zhenghan Quantum logic as motivated by quantum computing. (English) Zbl 1093.03036 J. Symb. Log. 70, No. 2, 353-359 (2005). Reviewer: Anatolij Dvurečenskij (Bratislava) MSC: 03G12 81P10 81P68 PDFBibTeX XMLCite \textit{J. M. Dunn} et al., J. Symb. Log. 70, No. 2, 353--359 (2005; Zbl 1093.03036) Full Text: DOI arXiv