The Journal of Symbolic Logic, Volume 70

Volume 70, Number 1, March 2005

• Michal Krynicki, Konrad Zdanowski:
  Theories of arithmetics in finite models. 1-28
  
• Marcus Tressl:
  Model completeness of o-minimal structures expanded by Dedekind cuts. 29-60
  
• Giovanni Panti:
  Generic substitutions. 61-83
  
• Clint J. van Alten:
  The finite model property for knotted extensions of propositional linear logic. 84-98
  
• Piotr Kowalski:
  Derivations of the Frobenius map. 99-110
  
• Russell Miller:
  The computable dimension of trees of infinite height. 111-141
  
• Bektur Sembiuly Baizhanov, John T. Baldwin, Saharon Shelah:
  Subsets of superstable structures are weakly benign. 142-150
  
• Steffen Lempp, Charles F. D. McCoy, Russell Miller, Reed Solomon:
  Computable categoricity of trees of finite height. 151-215
  
• Ziv Shami:
  On Kueker simple theories. 216-222
  
• Balder ten Cate:
  Interpolation for extended modal languages. 223-234
  
• Evgueni Vassiliev:
  On the weak non-finite cover property and the n-tuples of simple structures. 235-251
  
• Yue Yang, Liang Yu:
  On the definable ideal generated by nonbounding c.e. degrees. 252-270
  
• A. J. Wilkie:
  Fusing o-minimal structures. 271-281
  
• Lars Hansen:
  On an algebra of lattice-valued logic. 282-318
  
• Alexander Raichev:
  Relative randomness and real closed fields. 319-330
  
• Wesley Calvert:
  The isomorphism problem for computable Abelian p-groups of bounded length. 331-345
  
• Arnold W. Miller:
  On relatively analytic and Borel subsets. 346-352
  

Volume 70, Number 2, June 2005

• J. Michael Dunn, Tobias J. Hagge, Lawrence S. Moss, Zhenghan Wang:
  Quantum logic as motivated by quantum computing. 353-359
  
• Antonio Montalbán:
  Up to equimorphism, hyperarithmetic is recursive. 360-378
  
• Bradd Hart, Ziv Shami:
  On the type-definability of the binding group in simple theories. 379-388
  
• W. C. Holland, S. Kuhlmann, S. H. McCleary:
  Lexicographic exponentiation of chains. 389-409
  
• Harvey Friedman, Chris Miller:
  Expansions of o-minimal structures by fast sequences. 410-418
  
• Oleg Pikhurko, Oleg Verbitsky:
  Descriptive complexity of finite structures: Saving the quantifier rank. 419-450
  
• Dmitrij P. Skvortsov:
  The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable. 451-459
  
• David Lippel:
  Finitely axiomatizable omega-categorical theories and the Mazoyer hypothesis. 460-472
  
• Philipp Rothmaler:
  Elementary epimorphisms. 473-487
  
• Jesper Carlström:
  Interpreting descriptions in intensional type theory. 488-514
  
• André Nies, Frank Stephan, Sebastiaan Terwijn:
  Randomness, relativization and Turing degrees. 515-535
  
• Katalin Bimbó:
  The Church-Rosser property in symmetric combinatory logic. 536-556
  
• Andrés Eduardo Caicedo:
  Projective well-orderings and bounded forcing axioms. 557-572
  
• Françoise Point:
  Asymptotic theory of modules of separably closed fields. 573-592
  
• Y. Firat Çelikler:
  Dimension theory and parameterized normalization for D-semianalytic sets over non-Archimedean fields. 593-618
  
• Jan Krajícek:
  Structured pigeonhole principle, search problems and hard tautologies. 619-630
  
• Jonathan Kirby:
  A Schanuel condition for Weierstrass equations. 631-638
  
• Olivier Lessmann:
  Upward categoricity from a successor cardinal for tame abstract classes with amalgamation. 639-660
  
• Jerry Gagelman:
  A note on superstable groups. 661-663
  
• Françoise Delon:
  Une fonction de Kolchin pour les corps imparfaits de degré d'imperfection fini. 664-680
  

Volume 70, Number 3, September 2005

• Spiros A. Argyros, Pandelis Dodos, Vassilis Kanellopoulos:
  Tree structures associated to a family of functions. 681-695
  
• Johan van Benthem:
  Minimal predicates, fixed-points, and definability. 696-712
  
• J. Michael Dunn, Mai Gehrke, Alessandra Palmigiano:
  Canonical extensions and relational completeness of some substructural logics. 713-740
  
• S. Barry Cooper, Angsheng Li, Andrea Sorbi, Yue Yang:
  Bounding and nonbounding minimal pairs in the enumeration degrees. 741-766
  
• John Krueger:
  Strong compactness and stationary sets. 767-777
  
• Patrick Caldon, Aleksandar Ignjatovic:
  On mathematical instrumentalism. 778-794
  
• Frank Wolter, Michael Zakharyaschev:
  A logic for metric and topology. 795-828
  
• Itay Ben-Yaacov:
  Uncountable dense categoricity in cats. 829-860
  
• Till Tantau:
  Weak cardinality theorems. 861-878
  
• Claire Kouwenhoven-Gentil, Jaap van Oosten:
  Algebraic set theory and the effective topos. 879-890
  
• Verónica Becher, Serge Grigorieff:
  Random reals and possibly infinite computations Part I: Randomness in EMPTY SET '. 891-913
  
• Jakob Kellner, Saharon Shelah:
  Preserving preservation. 914-945
  
• Trevor M. Wilson:
  A continuous movement version of the Banach - Tarski paradox: A solution to de Groot's Problem. 946-952
  
• Andrea Formisano, Eugenio G. Omodeo, Alberto Policriti:
  The axiom of elementary sets on the edge of Peircean expressibility. 953-968
  
• Laura Crosilla, Hajime Ishihara, Peter Schuster:
  On constructing completions. 969-978
  
• Greg Hjorth:
  Bi-Borel reducibility of essentially countable Borel equivalence relations. 979-992
  
• David Gabelaia, Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
  Products of 'transitive' modal logics. 993-1021
  
• Philip Ehrlich:
  Corrigendum to "Number systems with simplicity hierarchies: A generalization of Conway's theory of surreal numbers". 1022
  
• Jonathan Kirby:
  Corrigendum to "A Schanuel Condition for Weierstrass Equations". 1023
  

Volume 70, Number 4, December 2005

• Herwig Nübling:
  Reducts of stable, CM-trivial theories. 1025-1036
  
• Tetsuya Ishiu:
  Club guessing sequences and filters. 1037-1071
  
• Martin Lange, Carsten Lutz:
  2-ExpTime lower bounds for propositional dynamic logics with intersection. 1072-1086
  
• Klaus Aehlig:
  Induction and inductive definitions in fragments of second order arithmetic. 1087-1107
  
• Francesco Paoli, Greg Restall:
  The geometry of non-distributive logics. 1108-1126
  
• John R. Steel:
  Distinct iterable branches. 1127-1136
  
• Vladimir V. Rybakov:
  Logical consecutions in discrete linear temporal logic. 1137-1149
  
• Sergio Fratarcangeli:
  Elimination of imaginaries in expansions of o-minimal structures by generic sets. 1150-1160
  
• Agatha Walczak-Typke:
  The first-order structure of weakly Dedekind-finite sets. 1161-1170
  
• Dan E. Willard:
  An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency. 1171-1209
  
• Dominique Lecomte:
  omega-powers and descriptive set theory. 1210-1232
  
• Michael Rathjen:
  The disjunction and related properties for constructive Zermelo-Fraenkel set theory. 1233-1254
  
• John R. Steel:
  PFA implies AD^L(R). 1255-1296
  
• Mor Doron, Saharon Shelah:
  A dichotomy in classifying quantifiers for finite models. 1297-1324
  
• Christian Rosendal:
  Cofinal families of Borel equivalence relations and quasiorders. 1325-1340
  
• Katarzyna Slomczynska:
  Free spectra of linear equivalential algebras. 1341-1358
  
• Gregory L. Cherlin, Marko Djordjevic, Ehud Hrushovski:
  A note on orthogonality and stable embeddedness. 1359-1364
  
• Frank Wagner:
  Subsimple groups. 1365-1370
  

Last update Sat May 18 20:44:16 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page