Volume 65,
Number 1,
March 2000
- Richard Beigel, William I. Gasarch, Martin Kummer, Georgia Martin, Timothy McNicholl, Frank Stephan:
The Comlexity of OddAn.
1-18
- Stanislaw Bereznyuk, Richard Coles, Andrea Sorbi:
The Distribution of Properly Sigma02 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 Linfinite lambda-Equivalent, Non-Isomorphic Models for lambda Singular.
272-284
- André Nies, Andrea Sorbi:
Structural Properties and Sigma02 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-Symbol0-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-Symbol1.
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 PI3-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
Copyright © Fri Mar 12 17:30:37 2010
by Michael Ley (ley@uni-trier.de)
