The Journal of Symbolic Logic, Volume 65

Volume 65, Number 1, March 2000

• Richard Beigel, William I. Gasarch, Martin Kummer, Georgia Martin, Timothy McNicholl, Frank Stephan:
  The Comlexity of Odd^A_n. 1-18
  
• Stanislaw Bereznyuk, Richard Coles, Andrea Sorbi:
  The Distribution of Properly Sigma⁰₂ e-Degrees. 19-32
  
• Peter Apostoli:
  The Analytic Conception of Truth and The Foundations of Arithmetic. 33-102
  
• T. G. Kucera, Philipp Rothmaler:
  Pure-Projective Modules and Positive Constructibility. 103-110
  
• Sedki Boughattas:
  Trois Theoremes Sur L'Induction Pour Les Formules Ouvertes Munies De L'Exponentielle. 111-154
  
• Vera Puninskaya:
  Vaught's Conjecture for Modules Over A Serial Ring. 155-163
  
• Juichi Shinoda, Theodore A. Slaman:
  Recursive in A Generic Real. 164-172
  
• Kazuyuki Tanaka, Takeshi Yamazaki:
  A Non-Standard Construction of Haar Measure and Weak König's Lemma. 173-186
  
• Ross Willard:
  A Finite Basis Theorem for Residually Finite, Congruence Meet-Semidistributive Varieties. 187-200
  
• Alexis Bès:
  An Extension of The Cobham-Semënov Theorem. 201-211
  
• Francesco Orilia:
  Property Theory and The Revision Theory of Definitions. 212-246
  
• Paul Larson:
  Separating Stationary Reflection Principles. 247-258
  
• Saharon Shelah, Lee J. Stanley:
  Filters, Cohen Sets and Consistent Extensions of The Erdös-Dushnik-Miller Theorem. 259-271
  
• Saharon Shelah, Pauli Väisänen:
  On Inverse gamma-Systems and The Number of L_{infinite lambda}-Equivalent, Non-Isomorphic Models for lambda Singular. 272-284
  
• André Nies, Andrea Sorbi:
  Structural Properties and Sigma⁰₂ Enumeration Degrees. 285-292
  
• Bradd Hart, Byunghan Kim, Anand Pillay:
  Coordinatisation and Canonical Bases in Simple Theories. 293-309
  
• Giovanna D'Agostino, Marco Hollenberg:
  Logical Questions Concerning The mu-Calculus: Interpolation, Lyndon and Los-Tarski. 310-332
  
• Péter Komjáth, Saharon Shelah:
  Two Consistency Results on Set Mappings. 333-338
  
• Petr Hájek, Jeff B. Paris, John C. Shepherdson:
  The Liar Paradox and Fuzzy Logic. 339-346
  
• Wai Yan Pong:
  Some Applications of Ordinal Dimensions to The Theory of Differentially Closed Fields. 347-356
  
• Feng Ye:
  Toward A Constructive Theory of Unbounded Linear Operators. 357-370
  
• John T. Baldwin, Kitty L. Holland:
  Constructing omega-Stable Structures: Rank 2 Fields. 371-391
  
• Greg Hjorth:
  Actions by The Classical Banach Spaces. 392-420
  
• Willem L. Fouché:
  Arithmetical Representations of Brownian Motion I. 421-442
  
• Andreas Baudisch, Anand Pillay:
  A Free Pseudospace. 443-460
  
• Carlos A. Di Prisco, James M. Henle:
  Doughnuts, Floating Ordinals, Square Brackets, and Ultraflitters. 461-473
  
• Anand Pillay:
  A Note on CM-Triviality and The Geometry of Forking. 474-480
  

Volume 65, Number 2, June 2000

• Josep Maria Font, Miquel Rius:
  An Abstract Algebraic Logic Approach to Tetravalent Modal Logics. 481-518
  
• Daniel Gluschankof:
  The Hahn Representation Theorem for l-Groups in ZFA. 519-524
  
• Peter Dybjer:
  A General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory. 525-549
  
• Renling Jin, H. Jerome Keisler:
  Maharam Spectra of Loeb Spaces. 550-566
  
• Joel David Hamkins, Andy Lewis:
  Infinite Time Turing Machines. 567-604
  
• Alexander Bochman:
  Belief Contraction as Nonmonotonic Inference. 605-626
  
• Max Kubierschky:
  Yet Another Hierarchy Theorem. 627-640
  
• Janusz Czelakowski, Ramon Jansana:
  Weakly Algebraizable Logics. 641-668
  
• Petr Hájek, Jeff B. Paris, John C. Shepherdson:
  Rational Pavelka Predicate Logic Is A Conservative Extension of Lukasiewicz Predicate Logic. 669-682
  
• Kenneth Kunen, Franklin D. Tall:
  The Real Line in Elementary Submodels of Set Theory. 683-691
  
• Katrin Tent:
  A Note on The Model Theory of Generalized Polygons. 692-702
  
• Bruno Poizat, Frank O. Wagner:
  Liftez Les Sylows! Une Suite À "Sous-Groupes Périodiques D'Un Groupe Stable". 703-704
  
• Hélène Lejeune:
  Paires Élémentaires de Corps Pseudo-Finis: Dénombrement des Complétions. 705-718
  
• Karl Schlechta:
  New Techniques and Completeness Results for Preferential Structures. 719-746
  
• Jindrich Zapletal:
  Killing Ideals and Adding Reals. 747-755
  
• Alexej P. Pynko:
  Subprevarieties Versus Extensions. Application to The Logic of Paradox. 756-766
  
• David M. Evans, Frank O. Wagner:
  Supersimple omega-Categorical Groups and Theories. 767-776
  
• Jörg Flum, Martin Grohe:
  On Fixed-Point Logic With Counting. 777-787
  
• Arnon Avron:
  Implicational F-Structures and Implicational Relevance Logics. 788-802
  
• Tomek Bartoszynski, Andrzej Roslanowski, Saharon Shelah:
  After All, There Are Some Inequalities Which Are Provable in ZFC. 803-816
  
• Rahim Moosa:
  A Note On Uniform Definability and Minimal Fields of Definition. 817-821
  
• Ian E. Pratt, Dominik J. Schoop:
  Expressivity in Polygonal, Plane Mereotopology. 822-838
  
• Keith A. Kearnes:
  Categorical Quasivarieties via Morita Equivalence. 839-856
  
• Gábor Sági:
  A Completeness Theorem for Higher Order Logics. 857-884
  
• Tracey Baldwin McGrail:
  The Model Theory of Differential Fields with Finitely Many Commuting Derivations. 885-913
  
• Andreas Baudisch:
  Closures in Alef-Symbol₀-Categorical Bilinear Maps. 914-922
  
• Ágnes Kurucz:
  On Axiomatising Products of Kripke Frames. 923-945
  
• Yuri Gurevich, Alexander Moshe Rabinovich:
  Definability and Undefinability with Real Order at The Background. 946-958
  
• Jacek Cichon, Adam Krawczyk, Barbara Majcher-Iwanow, Bogdan Weglorz:
  Dualization of The Van Douwen Diagram. 959-968
  

Volume 65, Number 3, September 2000

• Jean A. Larson:
  An Ordinal Partition Avoiding Pentagrams. 969-978
  
• Giovanni Sambin, Giulia Battilotti, Claudia Faggian:
  Basic Logic: Reflection, Symmetry, Visibility. 979-1013
  
• Miklós Erdélyi-Szabó:
  Undecidability of The Real-Algebraic Structure of Models of Intuitionistic Elementary Analysis. 1014-1030
  
• Saharon Shelah:
  Was Sierpinski Right? IV. 1031-1054
  
• Saharon Shelah:
  On Quantification with A Finite Universe. 1055-1075
  
• Jonathan P. Seldin:
  On The Role of Implication in Formal Logic. 1076-1114
  
• Oleg V. Belegradek, Ya'acov Peterzil, Frank Wagner:
  Quasi-O-Minimal Structures. 1115-1132
  
• Dag Normann:
  Computability over The Partial Continuous Functionals. 1133-1142
  
• István Németi, Gábor Sági:
  On The Equational Theory of Representable Polyadic Equality Algebras. 1143-1167
  
• Steven Awodey, Carsten Butz:
  Topological Completeness for Higher-Order Logic. 1168-1182
  
• Thierry Coquand, Sara Sadocco, Giovanni Sambin, Jan M. Smith:
  Formal Topologies on The Set of First-Order Formulae. 1183-1192
  
• Philip D. Welch:
  Eventually Infinite Time Turing Machine Degrees: Infinite Time Decidable Reals. 1193-1203
  
• Amir Leshem:
  On The Consistency of The Definable Tree Property on Alef-Symbol₁. 1204-1214
  
• Hirotaka Kikyo:
  Model Companions of Theories with An Automorphism. 1215-1222
  
• Wolfgang Burr:
  Fragments of Heyting Arithmetic. 1223-1240
  
• Kerkko Luosto:
  Hierarchies of Monadic Generalized Quantifiers. 1241-1263
  
• Andreas Blass, Yuri Gurevich:
  The Logic of Choice. 1264-1310
  
• Saharon Shelah, Jouko A. Väänänen:
  Stationary Sets and Infinitary Logic. 1311-1320
  
• Ramón Pino Pérez, Carlos Uzcátegui:
  On Representation Theorems for Nonmonotonic Consequence Relations. 1321-1337
  
• Gaisi Takeuti:
  Gödel Sentences of Bounded Arithmetic. 1338-1346
  
• Françoise Point:
  On Decidable Extensions of Presburger Arithmetic: From A. Bertrand Numeration Systems to Pisot Numbers. 1347-1374
  
• Toshiyasu Arai:
  Ordinal Diagrams for PI₃-Reflection. 1375-1394
  
• Masahiro Kumabe:
  A 1-Generic Degree with A Strong Minimal Cover. 1395-1442
  
• Zoé Chatzidakis, Carol Wood:
  Minimal Types in Separably Closed Fields. 1443-1450
  
• Mariagnese Giusto, Stephen G. Simpson:
  Located Sets and Reverse Mathematics. 1451-1480
  

Volume 65, Number 4, December 2000

• Ziv Shami:
  Definability in Low Simple Theories. 1481-1490
  
• Albin L. Jones:
  A Polarized Partition Relation Using Elementary Substructures. 1491-1498
  
• Roy Dyckhoff, Sara Negri:
  Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic. 1499-1518
  
• Graham Priest:
  Inconsistent Models of Arithmetic Part II: The General Case. 1519-1529
  
• Bart Kuijpers, Jan Paredaens, Jan Van den Bussche:
  Topological Elementary Equivalence of Closed Semi-Algebraic Sets in The Real Plane. 1530-1555
  
• John Cantwell:
  Logics of Belief Change without Linearity. 1556-1575
  
• Camillo Fiorentini:
  All Intermediate Logics with Extra Axions in One Variable, Except Eight, Are Not Strongly omega-Complete. 1576-1604
  
• Julia F. Knight, Michael Stob:
  Computable Boolean Algebras. 1605-1623
  
• Saharon Shelah:
  Applications of PCF Theory. 1624-1674
  
• Natacha Portier:
  Le Problème des Grandes Puissances Et Celui des Grandes Racines. 1675-1685
  
• Wafik Boulos Lotfallah:
  Strong 0-1 Laws in Finite Model Theory. 1686-1704
  
• Markus Junker:
  A Note On Equational Theories. 1705-1712
  
• Masaru Kada:
  More on Cichon's Diagram and Infinite Games. 1713-1724
  
• Timothy McNicholl:
  On The Commutativity of Jumps. 1725-1748
  
• Martin Otto:
  Epsilon-Logic Is More Expressive Than First-Order Logic Over Finite Structures. 1749-1757
  
• Thomas Scanlon:
  A Model Complete Theory of Valued D-Fields. 1758-1784
  
• Jeremy Avigad:
  Interpreting Classical Theories in Constructive Ones. 1785-1812
  
• Martin Zeman:
  Diamond at Mahlo Cardinals. 1813-1822
  
• Ofer Shafir, Saharon Shelah:
  More on Entangled Orders. 1823-1832
  
• Frank O. Wagner:
  Minimal Fields. 1833-1835
  
• S. Salbany, Todor Todorov:
  Nonstandard Analysis in Topology: Nonstandard and Standard Compactifications. 1836-1840
  
• Sachio Hirokawa, Yuichi Komori, Misao Nagayama:
  A Lambda Proof of The P-W Theorem. 1841-1849
  
• Martin W. Bunder:
  Expedited Broda-Damas Bracket Abstraction. 1850-1857
  
• Marcel Crabbé:
  The Rise and Fall of Typed Sentences. 1858-1862
  
• Ralph McKenzie:
  Recursive Inseparability for Residual Bounds of Finite Algebras. 1863-1880
  
• Slawomir Solecki:
  Actions of Non-Compact and Non-Locally Compact Polish Groups. 1881-1894
  
• Arthur W. Apter, James Cummings:
  Identity Crises, Strong Compactness. 1895-1910
  
• Olivier Esser:
  Inconsistency of The Axiom of Choice with The Positive Theory GPK⁺_infinite. 1911-1916
  
• Dieter Spreen:
  Corrigendum. 1917-1918
  

Last update Thu May 23 15:14:04 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page