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 BibTeX
- Stanislaw Bereznyuk, Richard Coles, Andrea Sorbi:
The Distribution of Properly Sigma02 e-Degrees.
19-32 BibTeX
- Peter Apostoli:
The Analytic Conception of Truth and The Foundations of Arithmetic.
33-102 BibTeX
- T. G. Kucera, Philipp Rothmaler:
Pure-Projective Modules and Positive Constructibility.
103-110 BibTeX
- Sedki Boughattas:
Trois Theoremes Sur L'Induction Pour Les Formules Ouvertes Munies De L'Exponentielle.
111-154 BibTeX
- Vera Puninskaya:
Vaught's Conjecture for Modules Over A Serial Ring.
155-163 BibTeX
- Juichi Shinoda, Theodore A. Slaman:
Recursive in A Generic Real.
164-172 BibTeX
- Kazuyuki Tanaka, Takeshi Yamazaki:
A Non-Standard Construction of Haar Measure and Weak König's Lemma.
173-186 BibTeX
- Ross Willard:
A Finite Basis Theorem for Residually Finite, Congruence Meet-Semidistributive Varieties.
187-200 BibTeX
- Alexis Bès:
An Extension of The Cobham-Semënov Theorem.
201-211 BibTeX
- Francesco Orilia:
Property Theory and The Revision Theory of Definitions.
212-246 BibTeX
- Paul Larson:
Separating Stationary Reflection Principles.
247-258 BibTeX
- Saharon Shelah, Lee J. Stanley:
Filters, Cohen Sets and Consistent Extensions of The Erdös-Dushnik-Miller Theorem.
259-271 BibTeX
- 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 BibTeX
- André Nies, Andrea Sorbi:
Structural Properties and Sigma02 Enumeration Degrees.
285-292 BibTeX
- Bradd Hart, Byunghan Kim, Anand Pillay:
Coordinatisation and Canonical Bases in Simple Theories.
293-309 BibTeX
- Giovanna D'Agostino, Marco Hollenberg:
Logical Questions Concerning The mu-Calculus: Interpolation, Lyndon and Los-Tarski.
310-332 BibTeX
- Péter Komjáth, Saharon Shelah:
Two Consistency Results on Set Mappings.
333-338 BibTeX
- Petr Hájek, Jeff B. Paris, John C. Shepherdson:
The Liar Paradox and Fuzzy Logic.
339-346 BibTeX
- Wai Yan Pong:
Some Applications of Ordinal Dimensions to The Theory of Differentially Closed Fields.
347-356 BibTeX
- Feng Ye:
Toward A Constructive Theory of Unbounded Linear Operators.
357-370 BibTeX
- John T. Baldwin, Kitty L. Holland:
Constructing omega-Stable Structures: Rank 2 Fields.
371-391 BibTeX
- Greg Hjorth:
Actions by The Classical Banach Spaces.
392-420 BibTeX
- Willem L. Fouché:
Arithmetical Representations of Brownian Motion I.
421-442 BibTeX
- Andreas Baudisch, Anand Pillay:
A Free Pseudospace.
443-460 BibTeX
- Carlos A. Di Prisco, James M. Henle:
Doughnuts, Floating Ordinals, Square Brackets, and Ultraflitters.
461-473 BibTeX
- Anand Pillay:
A Note on CM-Triviality and The Geometry of Forking.
474-480 BibTeX
Volume 65,
Number 2,
June 2000
- Josep Maria Font, Miquel Rius:
An Abstract Algebraic Logic Approach to Tetravalent Modal Logics.
481-518 BibTeX
- Daniel Gluschankof:
The Hahn Representation Theorem for l-Groups in ZFA.
519-524 BibTeX
- Peter Dybjer:
A General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory.
525-549 BibTeX
- Renling Jin, H. Jerome Keisler:
Maharam Spectra of Loeb Spaces.
550-566 BibTeX
- Joel David Hamkins, Andy Lewis:
Infinite Time Turing Machines.
567-604 BibTeX
- Alexander Bochman:
Belief Contraction as Nonmonotonic Inference.
605-626 BibTeX
- Max Kubierschky:
Yet Another Hierarchy Theorem.
627-640 BibTeX
- Janusz Czelakowski, Ramon Jansana:
Weakly Algebraizable Logics.
641-668 BibTeX
- Petr Hájek, Jeff B. Paris, John C. Shepherdson:
Rational Pavelka Predicate Logic Is A Conservative Extension of Lukasiewicz Predicate Logic.
669-682 BibTeX
- Kenneth Kunen, Franklin D. Tall:
The Real Line in Elementary Submodels of Set Theory.
683-691 BibTeX
- Katrin Tent:
A Note on The Model Theory of Generalized Polygons.
692-702 BibTeX
- Bruno Poizat, Frank O. Wagner:
Liftez Les Sylows! Une Suite À "Sous-Groupes Périodiques D'Un Groupe Stable".
703-704 BibTeX
- Hélène Lejeune:
Paires Élémentaires de Corps Pseudo-Finis: Dénombrement des Complétions.
705-718 BibTeX
- Karl Schlechta:
New Techniques and Completeness Results for Preferential Structures.
719-746 BibTeX
- Jindrich Zapletal:
Killing Ideals and Adding Reals.
747-755 BibTeX
- Alexej P. Pynko:
Subprevarieties Versus Extensions. Application to The Logic of Paradox.
756-766 BibTeX
- David M. Evans, Frank O. Wagner:
Supersimple omega-Categorical Groups and Theories.
767-776 BibTeX
- Jörg Flum, Martin Grohe:
On Fixed-Point Logic With Counting.
777-787 BibTeX
- Arnon Avron:
Implicational F-Structures and Implicational Relevance Logics.
788-802 BibTeX
- Tomek Bartoszynski, Andrzej Roslanowski, Saharon Shelah:
After All, There Are Some Inequalities Which Are Provable in ZFC.
803-816 BibTeX
- Rahim Moosa:
A Note On Uniform Definability and Minimal Fields of Definition.
817-821 BibTeX
- Ian Pratt, Dominik J. Schoop:
Expressivity in Polygonal, Plane Mereotopology.
822-838 BibTeX
- Keith A. Kearnes:
Categorical Quasivarieties via Morita Equivalence.
839-856 BibTeX
- Gábor Sági:
A Completeness Theorem for Higher Order Logics.
857-884 BibTeX
- Tracey Baldwin McGrail:
The Model Theory of Differential Fields with Finitely Many Commuting Derivations.
885-913 BibTeX
- Andreas Baudisch:
Closures in Alef-Symbol0-Categorical Bilinear Maps.
914-922 BibTeX
- Ágnes Kurucz:
On Axiomatising Products of Kripke Frames.
923-945 BibTeX
- Yuri Gurevich, Alexander Moshe Rabinovich:
Definability and Undefinability with Real Order at The Background.
946-958 BibTeX
- Jacek Cichon, Adam Krawczyk, Barbara Majcher-Iwanow, Bogdan Weglorz:
Dualization of The Van Douwen Diagram.
959-968 BibTeX
Volume 65,
Number 3,
September 2000
- Jean A. Larson:
An Ordinal Partition Avoiding Pentagrams.
969-978 BibTeX
- Giovanni Sambin, Giulia Battilotti, Claudia Faggian:
Basic Logic: Reflection, Symmetry, Visibility.
979-1013 BibTeX
- Miklós Erdélyi-Szabó:
Undecidability of The Real-Algebraic Structure of Models of Intuitionistic Elementary Analysis.
1014-1030 BibTeX
- Saharon Shelah:
Was Sierpinski Right? IV.
1031-1054 BibTeX
- Saharon Shelah:
On Quantification with A Finite Universe.
1055-1075 BibTeX
- Jonathan P. Seldin:
On The Role of Implication in Formal Logic.
1076-1114 BibTeX
- Oleg V. Belegradek, Ya'acov Peterzil, Frank Wagner:
Quasi-O-Minimal Structures.
1115-1132 BibTeX
- Dag Normann:
Computability over The Partial Continuous Functionals.
1133-1142 BibTeX
- István Németi, Gábor Sági:
On The Equational Theory of Representable Polyadic Equality Algebras.
1143-1167 BibTeX
- Steven Awodey, Carsten Butz:
Topological Completeness for Higher-Order Logic.
1168-1182 BibTeX
- Thierry Coquand, Sara Sadocco, Giovanni Sambin, Jan M. Smith:
Formal Topologies on The Set of First-Order Formulae.
1183-1192 BibTeX
- Philip D. Welch:
Eventually Infinite Time Turing Machine Degrees: Infinite Time Decidable Reals.
1193-1203 BibTeX
- Amir Leshem:
On The Consistency of The Definable Tree Property on Alef-Symbol1.
1204-1214 BibTeX
- Hirotaka Kikyo:
Model Companions of Theories with An Automorphism.
1215-1222 BibTeX
- Wolfgang Burr:
Fragments of Heyting Arithmetic.
1223-1240 BibTeX
- Kerkko Luosto:
Hierarchies of Monadic Generalized Quantifiers.
1241-1263 BibTeX
- Andreas Blass, Yuri Gurevich:
The Logic of Choice.
1264-1310 BibTeX
- Saharon Shelah, Jouko A. Väänänen:
Stationary Sets and Infinitary Logic.
1311-1320 BibTeX
- Ramón Pino Pérez, Carlos Uzcátegui:
On Representation Theorems for Nonmonotonic Consequence Relations.
1321-1337 BibTeX
- Gaisi Takeuti:
Gödel Sentences of Bounded Arithmetic.
1338-1346 BibTeX
- Françoise Point:
On Decidable Extensions of Presburger Arithmetic: From A. Bertrand Numeration Systems to Pisot Numbers.
1347-1374 BibTeX
- Toshiyasu Arai:
Ordinal Diagrams for PI3-Reflection.
1375-1394 BibTeX
- Masahiro Kumabe:
A 1-Generic Degree with A Strong Minimal Cover.
1395-1442 BibTeX
- Zoé Chatzidakis, Carol Wood:
Minimal Types in Separably Closed Fields.
1443-1450 BibTeX
- Mariagnese Giusto, Stephen G. Simpson:
Located Sets and Reverse Mathematics.
1451-1480 BibTeX
Volume 65,
Number 4,
December 2000
- Ziv Shami:
Definability in Low Simple Theories.
1481-1490 BibTeX
- Albin L. Jones:
A Polarized Partition Relation Using Elementary Substructures.
1491-1498 BibTeX
- Roy Dyckhoff, Sara Negri:
Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic.
1499-1518 BibTeX
- Graham Priest:
Inconsistent Models of Arithmetic Part II: The General Case.
1519-1529 BibTeX
- Bart Kuijpers, Jan Paredaens, Jan Van den Bussche:
Topological Elementary Equivalence of Closed Semi-Algebraic Sets in The Real Plane.
1530-1555 BibTeX
- John Cantwell:
Logics of Belief Change without Linearity.
1556-1575 BibTeX
- Camillo Fiorentini:
All Intermediate Logics with Extra Axions in One Variable, Except Eight, Are Not Strongly omega-Complete.
1576-1604 BibTeX
- Julia F. Knight, Michael Stob:
Computable Boolean Algebras.
1605-1623 BibTeX
- Saharon Shelah:
Applications of PCF Theory.
1624-1674 BibTeX
- Natacha Portier:
Le Problème des Grandes Puissances Et Celui des Grandes Racines.
1675-1685 BibTeX
- Wafik Boulos Lotfallah:
Strong 0-1 Laws in Finite Model Theory.
1686-1704 BibTeX
- Markus Junker:
A Note On Equational Theories.
1705-1712 BibTeX
- Masaru Kada:
More on Cichon's Diagram and Infinite Games.
1713-1724 BibTeX
- Timothy McNicholl:
On The Commutativity of Jumps.
1725-1748 BibTeX
- Martin Otto:
Epsilon-Logic Is More Expressive Than First-Order Logic Over Finite Structures.
1749-1757 BibTeX
- Thomas Scanlon:
A Model Complete Theory of Valued D-Fields.
1758-1784 BibTeX
- Jeremy Avigad:
Interpreting Classical Theories in Constructive Ones.
1785-1812 BibTeX
- Martin Zeman:
Diamond at Mahlo Cardinals.
1813-1822 BibTeX
- Ofer Shafir, Saharon Shelah:
More on Entangled Orders.
1823-1832 BibTeX
- Frank O. Wagner:
Minimal Fields.
1833-1835 BibTeX
- S. Salbany, Todor Todorov:
Nonstandard Analysis in Topology: Nonstandard and Standard Compactifications.
1836-1840 BibTeX
- Sachio Hirokawa, Yuichi Komori, Misao Nagayama:
A Lambda Proof of The P-W Theorem.
1841-1849 BibTeX
- Martin W. Bunder:
Expedited Broda-Damas Bracket Abstraction.
1850-1857 BibTeX
- Marcel Crabbé:
The Rise and Fall of Typed Sentences.
1858-1862 BibTeX
- Ralph McKenzie:
Recursive Inseparability for Residual Bounds of Finite Algebras.
1863-1880 BibTeX
- Slawomir Solecki:
Actions of Non-Compact and Non-Locally Compact Polish Groups.
1881-1894 BibTeX
- Arthur W. Apter, James Cummings:
Identity Crises, Strong Compactness.
1895-1910 BibTeX
- Olivier Esser:
Inconsistency of The Axiom of Choice with The Positive Theory GPK+infinite.
1911-1916 BibTeX
- Dieter Spreen:
Corrigendum.
1917-1918 BibTeX
Copyright © Tue Nov 18 20:42:53 2008
by Michael Ley (ley@uni-trier.de)
