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