Volume 49,
Number 1,
March 1984
- Andreas Baudisch:
Magidor-Malitz Quantifiers in Modules.
1-8 BibTeX
- Robert E. Byerly:
Some Properties of Invariant Sets.
9-21 BibTeX
- Evangelos Kranakis:
Stepping Up Lemmas in Definable Partitions.
22-31 BibTeX
- Philipp Rothmaler:
Some Model Theory of Modules. III. On Infiniteness of Sets Definable in Modules.
32-46 BibTeX
- Frederic Brenton Fitch:
Correction to a Definition of Negation.
47-50 BibTeX
- Wolfgang Maass:
On the Orbits of Hyperhypersimple Sets.
51-62 BibTeX
- Jacek Cichon:
On the Compactness of Some Boolean Algebras.
63-67 BibTeX
- Stanley Burris:
Model Companions for Finitely Generated Universal Horn Classes.
68-74 BibTeX
- Solomon Feferman:
Toward Useful Type-Free Theories. I.
75-111 BibTeX
- Julius B. Barbanel, Carlos DiPrisco, It Beng Tan:
Many-Times Huge and Superhuge Cardinals.
112-122 BibTeX
- Nobuyoshi Motohashi:
Equality and Lyndon's Interpolation Theorem.
123-128 BibTeX
- D. Miller, Jeffrey B. Remmel:
Effectively Nowhere Simple Sets.
129-136 BibTeX
- Manuel Lerman, Jeffrey B. Remmel:
The Universal Splitting Property. II.
137-150 BibTeX
- David Rosenthal:
The Order Indiscernibles of Divisible Ordered Abelian Groups.
151-160 BibTeX
- Alexander S. Kechris:
The Axiom of Determinancy Implies Dependent Choices in L(R).
161-173 BibTeX
- Raymond D. Gumb:
An Extended Joint Consistency Theorem for a Family of Free Modal Logics with Equality.
174-183 BibTeX
- Yuri Gurevich, Harry R. Lewis:
The Word Problem for Cancellation Semigroups with Zero.
184-191 BibTeX
- Nicolas D. Goodman:
Epistemic Arithmetic is a Conservative Extension of Intuitionistic Arithmetic.
192-203 BibTeX
- Christian Hort, Horst Osswald:
On Nonstandard Models in Higher Order Logic.
204-219 BibTeX
- Berthold J. Maier:
Existentially Closed Torsion-Free Nilpotent Groups of Class Three.
220-230 BibTeX
- Ahmad Almukdad, David Nelson:
Constructible Falsity and Inexact Predicates.
231-233 BibTeX
- James E. Baumgartner:
Generic Graph Construction.
234-240 BibTeX
- Matt Kaufmann:
Filter Logics on omega.
241-256 BibTeX
- Dan Velleman:
Simplified Morasses.
257-271 BibTeX
- George Mills, Jeff B. Paris:
Regularity in Models of Arithmetic.
272-280 BibTeX
- Kay Smith:
Commutative Regular Rings and Boolean-Valued Fields.
281-297 BibTeX
- Tim Carlson, Kenneth Kunen, Arnold W. Miller:
A Minimal Degree Which Collapses omega1.
298-300 BibTeX
- J. W. Addison, Herbert B. Enderton:
Meeting of the Association for Symbolic Logic: Berkeley, 1983.
322-326 BibTeX
Volume 49,
Number 2,
June 1984
- Branislav R. Boricic:
A Note on Some Intermediate Propositional Calculi.
329-333 BibTeX
- Arnon Avron:
Relevant Entailment--Semantics and Formal Systems.
334-342 BibTeX
- Chris Freiling:
Banach Games.
343-375 BibTeX
- Peter Clote:
A Recursion Theoretic Analysis of the Clopen Ramsey Theorem.
376-400 BibTeX
- Robert Goldblatt:
Orthomodularity is not Elementary.
401-404 BibTeX
- Françoise Delon:
Espaces Ultrametriques.
405-424 BibTeX
- Julia F. Knight, Alistair H. Lachlan, Robert I. Soare:
Two Theorems on Degrees of Models of True Arithmetic.
425-436 BibTeX
- Edward R. Griffor, Dag Normann:
The Definability of E(alpha).
437-442 BibTeX
- Johan van Benthem:
Questions About Quantifiers.
443-466 BibTeX
- Andreas Blass:
There are not Exactly Five Objects.
467-469 BibTeX
- Steven Buechler:
Expansions of Models of omega-Stable Theories.
470-477 BibTeX
- Paul Bankston:
Expressive Power in First Order Topology.
478-487 BibTeX
- Dong Ping Yang:
On the Embedding of alpha-Recursive Presentable Lattices into the alpha-Recursive Degrees Below 0'.
488-502 BibTeX
- S. Barry Cooper:
Partial Degrees and the Density Problem. Part 2: The Enumeration Degrees of the sigma2 Sets are Dense.
503-513 BibTeX
- Ieke Moerdijk:
Heine-Borel Does not Imply the Fan Theorem.
514-519 BibTeX
- M. J. Cresswell:
An Incomplete Decidable Modal Logic.
520-527 BibTeX
- Rodney G. Downey:
Co-Immune Subspaces and Complementation in V.
528-538 BibTeX
- Ronald J. Watro:
On Partitioning the Infinite Subsets of Large Cardinals.
539-541 BibTeX
- James M. Henle:
Spector Forcing.
542-554 BibTeX
- James M. Henle:
Weak Strong Partition Cardinals.
555-557 BibTeX
- James E. Baumgartner, James M. Henle:
Infinite Subscripts from Infinite Exponents.
558-562 BibTeX
- Richard Watnick:
A Generalization of Tennenbaum's Theorem on Effectively Finite Recursive Linear Orderings.
563-569 BibTeX
- Pavel Pudlák, Antonín Sochor:
Models of the Alternative Set Theory.
570-585 BibTeX
- Klaus Ambos-Spies:
An Extension of the Nondiamond Theorem in Classical and alpha-Recursion Theory.
586-607 BibTeX
- Wlodzimierz Zadrozny:
Ordinal Definability in Jensen's Model.
608-620 BibTeX
- Maurice Boffa:
Arithmetic and the Theory of Types.
621-624 BibTeX
- Lou van den Dries:
Algebraic Theories with Definable Skolem Functions.
625-629 BibTeX
- Michael Beeson, Andre Scedrov:
Church's Thesis, Continuity, and Set Theory.
630-643 BibTeX
- Dan Saracino, Carol Wood:
QE Commutative Nilrings.
644-651 BibTeX
- Carl G. Jockusch Jr., Richard Laver, J. Donald Monk, Jan Mycielski, Jon Pearce:
Annual Meeting of the Association for Symbolic Logic: Denver, 1983.
674-682 BibTeX
- E. Casari, E. J. Fenstad, G. Lolli, G. Longo, Annalisa Marcja, Dirk van Dalen:
Meeting of the Association for Symbolic Logic: Florence, Italy 1982.
683-710 BibTeX
Volume 49,
Number 3,
September 1984
Volume 49,
Number 4,
December 1984
- Dan Velleman:
Simplified Morasses with Linear Limits.
1001-1021 BibTeX
- Saharon Shelah:
Diamonds, Uniformization.
1022-1033 BibTeX
- Saharon Shelah:
More on Proper Forcing.
1034-1038 BibTeX
- C. Ward Henson, Matt Kaufmann, H. Jerome Keisler:
The Strength of Nonstandard Methods in Arithmetic.
1039-1058 BibTeX
- Alasdair Urquhart:
The Undecidability of Entailment and Relevant Implication.
1059-1073 BibTeX
- Marcel Crabbé:
Typical Ambiguity and the Axiom of Choice.
1074-1078 BibTeX
- Jean-Yves Girard, Jacqueline Vauzeilles:
Functors and Ordinal Notations. II: A Functorial Construction of the Bachmann Hierarchy.
1079-1114 BibTeX
- Francis Oger:
The Model Theory of Finitely Generated Finite-by-Abelian Groups.
1115-1124 BibTeX
- Rodney G. Downey, Jeffrey B. Remmel:
The Universal Complementation Property.
1125-1136 BibTeX
- Christopher J. Ash, Rodney G. Downey:
Decidable Subspaces and Recursively Enumerable Subspaces.
1137-1145 BibTeX
- Rodney G. Downey:
Bases of Supermaximal Subspaces and Steinitz Systems. I.
1146-1159 BibTeX
- Lawrence V. Welch:
A Hierarchy of Families of Recursively Enumerable Degrees.
1160-1170 BibTeX
- James Loveys:
The Uniqueness of Envelopes in 0-Categorical, 0-Stable Structures.
1171-1184 BibTeX
- Saharon Shelah, W. Hugh Woodin:
Forcing the Failure of Ch by Adding a Real.
1185-1189 BibTeX
- Eberhard Herrmann:
Definable Structures in the Lattice of Recursively Enumerable Sets.
1190-1197 BibTeX
- Peter Koepke:
The Consistency Strength of the Free-Subset Property for omegaomega.
1198-1204 BibTeX
- Carl G. Jockusch Jr., Richard A. Shore:
Pseudo-Jump Operators. II: Transfinite Iterations, Hierarchies and Minimal Covers.
1205-1236 BibTeX
- Warren D. Goldfarb:
The Unsolvability of the Godel Class with Identity.
1237-1252 BibTeX
- Warren D. Goldfarb, Yuri Gurevich, Saharon Shelah:
A Decidable Subclass of the Minimal Godel Class with Identity.
1253-1261 BibTeX
- Nobuyoshi Motohashi:
A Normal Form Theorem for First Order Formulas and Its Application to Gaifman's Splitting Theorem.
1262-1267 BibTeX
- James M. Henle, E. M. Kleinberg, R. J. Watro:
On the Ultrafilters and Ultrapowers of Strong Partition Cardinals.
1268-1272 BibTeX
- Ramez L. Sami:
On Sigma11 Equivalence Relations with Borel Classes of Bounded Rank.
1273-1283 BibTeX
- Peter Schroeder-Heister:
A Natural Extension of Natural Deduction.
1284-1300 BibTeX
- Harold T. Hodes:
Finite Level Borel Games and a Problem Concerning the Jump Hierarchy.
1301-1318 BibTeX
- Giuseppe Longo, Eugenio Moggi:
The Hereditary Partial Effective Functionals and Recursion Theory in Higher Types.
1319-1332 BibTeX
- Cornelia Kalfa:
Decidable Properties of Finite Sets of Equations in Trivial Languages.
1333-1338 BibTeX
- Dirk van Dalen:
How to Glue Analysis Models.
1339-1349 BibTeX
- Anand Pillay, Gabriel Srour:
Closed Sets and Chain Conditions in Stable Theories.
1350-1362 BibTeX
- Melvin Fitting:
Linear Reasoning in Modal Logic.
1363-1378 BibTeX
- Jurgen Saffe:
Categoricity and Ranks.
1379-1392 BibTeX
- Harold T. Hodes:
Well-Behaved Modal Logics.
1393-1402 BibTeX
- Graham Priest:
Meeting of the Association for Symbolic Logic: Perth, 1983.
1426-1429 BibTeX
- Xavier Caicedo, Rolando Chuaqui, Newton C. A. da Costa, Carlos A. Di Prisco:
Meeting of the Association for Symbolic Logic: Caracas, Venezuela, 1983.
1430-1440 BibTeX
- George Boolos, Sy D. Friedman:
Annual Meeting of the Association for Symbolic Logic: Boston 1983.
1441-1449 BibTeX
Copyright © Sun May 17 00:12:01 2009
by Michael Ley (ley@uni-trier.de)
