Volume 66,
Number 1,
March 2001
- Peter Cholak, Carl G. Jockusch Jr., Theodore A. Slaman:
On The Strength of Ramsey's Theorem for Pairs.
1-55 BibTeX
- Jacques Duparc:
Wadge Hierarchy and Veblen Hierarchy Part I: Borel Sets of Finite Rank.
56-86 BibTeX
- M. Randall Holmes:
Strong Axioms of Infinity in NFU.
87-116 BibTeX
- Koichiro Ikeda:
Minimal But Not Strongly Minimal Structures with Arbitrary Finite Dimensions.
117-126 BibTeX
- Daniel Lascar, Anand Pillay:
Hyperimaginaries and Automorphism Groups.
127-143 BibTeX
- Daniel Evan Seabold:
Chang's Conjecture and The Non-Stationary Ideal.
144-170 BibTeX
- Michael Alekhnovich, Samuel R. Buss, Shlomo Moran, Toniann Pitassi:
Minimum Propositional Proof Length Is NP-Hard to Linearly Approximate.
171-191 BibTeX
- Reed Solomon:
PI11-CA0 and Order Types of Countable Ordered Groups.
192-206 BibTeX
- Vera Stebletsova, Yde Venema:
Undecidable Theories of Lyndon Algebras.
207-224 BibTeX
- Loïc Colson, Serge Grigorieff:
Syntactical Truth Predicates For Second Order Arithmetic.
225-256 BibTeX
- Milos S. Kurilic:
Cohen-Stable Families of Subsets of Integers.
257-270 BibTeX
- Vera Puninskaya:
Modules with Few Types over A Hereditary Noetherian Prime Ring.
271-280 BibTeX
- Rosalie Iemhoff:
On The Admissible Rules of Intuitionistic Propositional Logic.
281-294 BibTeX
- Daniel J. Lehmann, Menachem Magidor, Karl Schlechta:
Distance Semantics for Belief Revision.
295-317 BibTeX
- Janusz Pawlikowski:
Cohen Reals From Small Forcings.
318-324 BibTeX
- Benoît Mariou:
Modèles Saturés et Modèles Engendrés Par des Indiscernables.
325-348 BibTeX
- Zofia Adamowicz, Teresa Bigorajska:
Existentially Closed Structures and Gödel's Second Incompleteness Theorem.
349-356 BibTeX
- Sanjay Jain, Jochen Nessel:
Some Independence Results for Control Structures in Complete Numberings.
357-382 BibTeX
- Paul C. Gilmore:
An Intensional Type Theory: Motivation and Cut-Elimination.
383-400 BibTeX
- Su Gao:
A Remark on Martin's Conjecture.
401-406 BibTeX
- René David, Walter Py:
lambda mu - Calculus and Böhm's Theorem.
407-413 BibTeX
- Alberto Zanardo, Amílcar Sernadas, Cristina Sernadas:
Fibring: Completeness Preservation.
414-439 BibTeX
Volume 66,
Number 2,
June 2001
- Denis R. Hirschfeldt:
Degree Spectra of Intrinsically C.E. Relations.
441-469 BibTeX
- Russell Miller:
The delta02-Spectrum of A Linear Order.
470-486 BibTeX
- A. R. D. Mathias:
Slim Models of Zermelo Set Theory.
487-496 BibTeX
- Robert Goldblatt:
Quasi-Modal Equivalence of Canonical Structures.
497-508 BibTeX
- Mario Piazza:
Exchange Rules.
509-516 BibTeX
- Herman Jurjus, Harrie C. M. de Swart:
Implication with Possible Exceptions.
517-535 BibTeX
- Dan E. Willard:
Self-Verifying Axiom Systems, The Incompleteness Theorem and Related Reflection Principles.
536-596 BibTeX
- Andreja Prijatelj:
Free Ordered Algebraic Structures Towards Proof Theory.
597-608 BibTeX
- Andreas Weiermann:
Some Interesting Connections Between The Slow Growing Hierarchy and The Ackermann Function.
609-628 BibTeX
- Arthur W. Apter:
Supercompactness and Measurable Limits of Strong Cardinals.
629-639 BibTeX
- Steve Jackson:
The Weak Square Property.
640-657 BibTeX
- Howard Becker, Steve Jackson:
Supercompactness within The Projective Hierarchy.
658-672 BibTeX
- Peter J. Cameron, Wilfrid Hodges:
Some Combinatorics of Imperfect Information.
673-684 BibTeX
- Martin Otto:
Two Variable First-Order Logic over Ordered Domains.
685-702 BibTeX
- Frank Wagner:
Fields of Finite Morley Rank.
703-706 BibTeX
- Saharon Shelah, Juris Steprans:
The Covering Numbers of Mycielski Ideals Are All Equal.
707-718 BibTeX
- Anand Pillay:
A Note on Existentially Closed Difference Fields with Algebraically Closed Fixed Field.
719-721 BibTeX
- Luis Jaime Corredor:
Fusion of 2-Elements in Groups of Finite Morley Rank.
722-730 BibTeX
- Frank Stephan:
On The Structures Inside Truth-Table Degrees.
731-770 BibTeX
- Franz-Viktor Kuhlmann:
Elementary Properties of Power Series Fields over Finite Fields.
771-791 BibTeX
- Aleksander Blaszczyk, Saharon Shelah:
Regular Subalgebras of Complete Boolean Algebras.
792-800 BibTeX
- Itay Neeman, Jindrich Zapletal:
Proper Forcing and L(Real).
801-810 BibTeX
- James E. Baumgartner, András Hajnal:
Polarized Partition Relations.
811-821 BibTeX
- Byunghan Kim:
Simplicity, and Stability in There.
822-836 BibTeX
- Marko Djordjevic:
Finite Variable Logic, Stability and Finite Models.
837-858 BibTeX
- Ludomir Newelski:
Small Profinite Groups.
859-872 BibTeX
- Tamara Lakins Hummel, Carl G. Jockusch Jr.:
Ramsey's Theorem for Computably Enumerable Colorings.
873-880 BibTeX
- Peter Cholak, Marcia J. Groszek, Theodore A. Slaman:
An Almost Deep Degree.
881-901 BibTeX
- Su Gao:
Some Dichotomy Theorems for Isomorphism Relations of Countable Models.
902-922 BibTeX
- Eberhard Herrmann:
Infinite Chains and Antichains in Computable Partial Orderings.
923-934 BibTeX
- Gerhard Jäger, Thomas Strahm:
Upper Bounds for Metapredicative Mahlo in Explicit Mathematics and Admissible Set Theory.
935-958 BibTeX
- Renling Jin:
Existence of Some Sparse Sets of Nonstandard Natural Numbers.
959-973 BibTeX
Volume 66,
Number 3,
September 2001
- Carlos Areces, Patrick Blackburn, Maarten Marx:
Hybrid Logics: Characterization, Interpolation and Complexity.
977-1010 BibTeX
- Mark Reynolds:
An Axiomatization of Full Computation Tree Logic.
1011-1057 BibTeX
- Greg Hjorth:
A Boundedness Lemma for Iterations.
1058-1072 BibTeX
- Gerhard Jäger:
First Order Theories for Nonmonotone Inductive Definitions: Recursively Inaccessible and Mahlo.
1073-1089 BibTeX
- J. Vickers, Philip D. Welch:
On Elementary Embeddings from An Inner Model to The Universe.
1090-1116 BibTeX
- Zoe Chatzidakis, Peter Pappas:
A Note on The Isomorphism Problem for SK[G].
1117-1120 BibTeX
- J. Todd Wilson:
An Intuitionistic Version of Zermelo's Proof That Every Choice Set Can Be Well-Ordered.
1121-1126 BibTeX
- Enrique Casanovas, Martin Ziegler:
Stable Theories with A New Predicate.
1127-1140 BibTeX
- Timothy Surendonk:
Canonicity for Intensional Logics with Even Axioms.
1141-1156 BibTeX
- Dieter Spreen:
Can Partial Indexings be Totalized?
1157-1185 BibTeX
- Joel David Hamkins:
Unfoldable Cardinals and The GCH.
1186-1198 BibTeX
- Sebastiaan Terwijn, Domenico Zambella:
Computational Randomness and Lowiness.
1199-1205 BibTeX
- Daniel Pitteloud:
Existence of Prime Elements in Rings of Generalized Power Series.
1206-1216 BibTeX
- Neil Immerman, Jonathan F. Buss, David A. Mix Barrington:
Number of Variables Is Equivalent to Space.
1217-1230 BibTeX
- Philp Ehrlich:
Number Systems with Simplicity Hierarchies: A Generalization of Conway's Theory of Surreal Numbers.
1231-1258 BibTeX
- Michael Hrusák, Juris Steprans, Yi Zhang:
Confinitary Groups, Almost Disjoint and Dominating Families.
1259-1276 BibTeX
- Arnold Beckmann:
Exact Bounds for Lengths of Reductions in Typed lambda-Calculus.
1277-1285 BibTeX
- Tapani Hyttinen, Saharon Shelah:
Main Gap for Locally Saturated Elementary Submodels of A Homogeneous Structure.
1286-1302 BibTeX
- Jan Kraszewski:
Properties of Ideals on The Generalized Cantor Spaces.
1303-1320 BibTeX
- P. V. Andreev, E. I. Gordon:
An Axiomatics for Nonstandard Set Theory, Based on von Neumann-Bernays-Gödel Theory.
1321-1341 BibTeX
- Gregory L. Cherlin, Niandong Shi:
Forbidden Subgraphs and Forbidden Substructures.
1342-1352 BibTeX
- Christopher Hardin, Daniel J. Velleman:
The Mean Value Theorem in Second Order Arithmetic.
1353-1358 BibTeX
- Saharon Shelah, Lee J. Stanley:
Forcing Many Positive Polarized Partition Relations Between A Cardinal and Its Powerset.
1359-1370 BibTeX
- Rodney G. Downey, Denis R. Hirschfeldt, Steffen Lempp, Reed Solomon:
A delta02 Set with No Infinite Low Subset in Either It or Its Complement.
1371-1381 BibTeX
- Bektur Sembiuly Baizhanov:
Expansion of A Model of A Weakly O-Minimal Theory by A Family of Unary Predicates.
1382-1414 BibTeX
- Frank Wolter, Michael Zakharyaschev:
Decidable Fragments of First-Order Modal Logics.
1415-1438 BibTeX
- Steve Warner:
The Cofinality of The Random Graph.
1439-1446 BibTeX
- Julia F. Knight:
Minimality and Completions of PA.
1447-1457 BibTeX
- Andrei S. Morozov, J. K. Truss:
On Computable Automorphisms of The Rational Numbers.
1458-1470 BibTeX
- Francis Oger:
Elementary Equivalence for Abelian-By-Finite and Nilpotent Groups.
1471-1480 BibTeX
- Ralf-Dieter Schindler:
Proper Forcing and Remarkable Cardinals II.
1481-1492 BibTeX
- Ingo Brigandt:
Quantifier Elimination in Tame Infinite p-ADIC Fields.
1493-1503 BibTeX
Volume 66,
Number 4,
December 2001
- Ernest Schimmerling, W. Hugh Woodin:
The Jensen Covering Property.
1505-1523 BibTeX
- Misao Nagayama, Mitsuhiro Okada:
A New Correctness Criterion for The Proof Nets of Non-Commutative Multiplicative Linear Logics.
1524-1542 BibTeX
- Timothy McNicholl:
On The Convergence of Query-Bounded Computations and Logical Closure Properties of C.E. Sets.
1543-1560 BibTeX
- Martin W. Bunder, Wil Dekkers:
Pure Type Systems with More Liberal Rules.
1561-1580 BibTeX
- Sven Ove Hansson, Eduardo L. Fermé, John Cantwell, Marcelo A. Falappa:
Credibility Limited Revision.
1581-1596 BibTeX
- William P. R. Mitchell, Harold Simmons:
Monoid Based Semantics for Linear Formulas.
1597-1619 BibTeX
- Xavier Caicedo, Roberto Cignoli:
An Algebraic Approach to Intuitionistic Connectives.
1620-1636 BibTeX
- Bruno Poizat:
Quelques Modestes Remarques A Propos D'Une Conséquence Inattendue D'Un Résultat Surprenant de Monsieur Frank Olaf Wagner.
1637-1646 BibTeX
- Bruno Poizat:
L'Égalité au Cube.
1647-1676 BibTeX
- Tapani Hyttinen, Mika Rautila:
The Canary Tree Revisited.
1677-1694 BibTeX
- Douglas S. Bridges, Ayan Mahalanobis:
Bounded Variation Implies Regulated: A Constructive Proof.
1695-1700 BibTeX
- Timothy Bays:
On Tarski on Models.
1701-1726 BibTeX
- J. Zashev:
On The Recursion Theorem in Iterative Operative Spaces.
1727-1748 BibTeX
- Douglas A. Cenzer, André Nies:
Initial Segments of The Lattice of PI01 Classes.
1749-1765 BibTeX
- Ali Enayat:
Power-Like Models of Set Theory.
1766-1782 BibTeX
- Christopher L. Miller:
Expansions of Dense Linear Orders with The Intermediate Value Property.
1783-1790 BibTeX
- William C. Calhoun, Manuel Lerman:
Embedding Finite Lattices into The Ideals of Computably Enumerable Turing Degrees.
1791-1802 BibTeX
- Sara Negri, Jan von Plato:
Sequent Calculus in Natural Deduction Style.
1803-1816 BibTeX
- Joseph Johns:
An Open Mapping Theorem for O-Minimal Structures.
1817-1836 BibTeX
- Matthew Foreman, Menachem Magidor, Ralf-Dieter Schindler:
The Consistency Strength of Successive Cardinals with The Tree Property.
1837-1847 BibTeX
- Sergei Tupailo:
Realization of Analysis into Explicit Mathematics.
1848-1864 BibTeX
- Chaz Schlindwein:
Shelah's Work on Non-Semi-Proper Iterations, II.
1865-1883 BibTeX
- Steven Buechler, Colleen Hoover:
The Classification of Small Types of Rank omega, Part I.
1884-1898 BibTeX
- Timothy Bays:
Partitioning Subsets of Stable Models.
1899-1908 BibTeX
- José Iovino:
On The Maximality of Logics with Approximations.
1909-1918 BibTeX
- Arthur W. Apter:
Some Structural Results Concerning Supercompact Cardinals.
1919-1927 BibTeX
- J. Donald Monk:
Continuum Cardinals Generalized to Boolean Algebras.
1928-1958 BibTeX
- Volker Halbach:
Disquotational Truth and Analyticity.
1959-1973 BibTeX
Copyright © Tue Nov 18 20:42:53 2008
by Michael Ley (ley@uni-trier.de)
