Volume 48,
Number 1,
March 1983
- Harrie C. M. de Swart:
A Gentzen- or Beth-Type System, a Practical Decision Procedure and a Constructive Completeness Proof for the Counterfactual Logics VC and VCS.
1-20 BibTeX
- Henry A. Kierstead, Jeffrey B. Remmel:
Indiscernibles and Decidable Models.
21-32 BibTeX
- Menachem Magidor, Saharon Shelah, Jonathan Stavi:
On the Standard Part of Nonstandard Models of Set Theory.
33-38 BibTeX
- G. P. Monro:
On Generic Extensions Without the Axiom of Choice.
39-52 BibTeX
- G. C. Nelson:
Logic of Reduced Power Structures.
53-59 BibTeX
- Bruno Poizat:
Post-Scriptum À "Théories Instables".
60-62 BibTeX
- Solomon Feferman, Gerhard Jäger:
Choice Principles, the Bar Rule and Autonomously Iterated Comprehension Schemes in Analysis.
63-70 BibTeX
- William G. Fleissner:
Sone of George and V = L.
71-77 BibTeX
- A. J. Dodd:
Core Models.
78-90 BibTeX
- Stevo Todorcevic:
Real Functions on the Family of All Well-Ordered Subsets of a Partially Ordered Set.
91-96 BibTeX
- Jean Porte:
Antitheses in Systems of Relevant Implication.
97-99 BibTeX
- Iraj Kalantari, Anne Leggett:
Maximality in Effective Topology.
100-112 BibTeX
- Penelope Maddy:
Proper Classes.
113-139 BibTeX
- Chantal Berline, Gregory L. Cherlin:
QE Rings in Characteristic pn.
140-162 BibTeX
- Anand Pillay:
A Note on Finitely Generated Models.
163-166 BibTeX
- Eugene W. Madison:
The Existence of Countable Totally Nonconstructive Extensions of the Countable Atomless Boolean Algebra.
167-170 BibTeX
- Terrence Millar:
Omitting Types, Type Spectrums, and Decidability.
171-181 BibTeX
- Daniel Leivant:
The Optimality of Induction as an Axiomatization of Arithmetic.
182-184 BibTeX
- Chi Tat Chong:
Hyperhypersimple Supersets in Admissible Recursion Theory.
185-192 BibTeX
- Yuri Gurevich:
Decision Problem for Separated Distributive Lattices.
193-196 BibTeX
- Elisabeth Bouscaren, Daniel Lascar:
Countable Models of Nonmultidimensional 0-Stable Theories.
197-205 BibTeX
Volume 48,
Number 2,
June 1983
- Patrick Dehornoy:
An Application of Ultrapowers to Changing Cofinality.
225-235 BibTeX
- T. E. Forster:
Further Consistency and Independence Results in NF Obtained by the Permutation Method.
236-238 BibTeX
- Bruno Poizat:
Paires de Structures Stables.
239-249 BibTeX
- William S. Heck:
Large Families of Incomparable A-Isols.
250-252 BibTeX
- Henryk Kotlarski:
On Cofinal Extensions of Models of Arithmetic.
253-262 BibTeX
- Matt Kaufmann:
Set Theory With a Filter Quantifier.
263-287 BibTeX
- Piergiorgio Odifreddi:
Forcing and Reducibilities.
288-310 BibTeX
- Roman Kossak:
A Certain Class of Models of Peano Arithmetic.
311-320 BibTeX
- Robert E. Woodrow, Julia F. Knight:
A Complete Theory with Arbitrarily Large Minimality Ranks.
321-328 BibTeX
- William P. Hanf, Dale Myers:
Boolean Sentence Algebras: Isomorphism Constructions.
329-338 BibTeX
- Bruno Poizat:
Groupes Stables, Avec Types Generiques Reguliers.
339-355 BibTeX
- Stephen G. Simpson, Galen Weitkamp:
High and Low Kleene Degrees of Coanalytic Sets.
356-368 BibTeX
- Dev Kumar Roy:
R.E. Presented Linear Orders.
369-376 BibTeX
- Elisabeth Bouscaren:
Countable Models of Multidimensional 0-Stable Theories.
377-383 BibTeX
- E. Bencivenga:
Compactness of a Supervaluational Language.
384-386 BibTeX
- Yuri Gurevich, Menachem Magidor, Saharon Shelah:
The Monadic Theory of omega12.
387-398 BibTeX
- E. A. Cichon, Stanley S. Wainer:
The Slow-Growing and the Grzecorczyk Hierarchies.
399-408 BibTeX
- Ned I. Rosen:
A Characterization of 2-Square Ultrafilters.
409-414 BibTeX
- George Bealer:
Completeness in the Theory of Properties, Relations, and Propositions.
415-426 BibTeX
- Kevin J. Compton:
Some Useful Preservation Theorems.
427-440 BibTeX
- Harold T. Hodes:
More About Uniform Upper Bounds on Ideals of Turing Degrees.
441-457 BibTeX
- John P. Hartley:
The Countably Based Functionals.
458-474 BibTeX
- Kenneth Kunen, Donald H. Pelletier:
On a Combinatorial Property of Menas Related to the Partition Property for Measures on Supercompact Cardinals.
475-481 BibTeX
- Jon Barwise, Robert L. Vaught, Yiannis N. Moschovakis:
Meeting of the Association for Symbolic Logic: San Francisco, 1981.
505-513 BibTeX
- Jon Barwise, Robert I. Soare, Terrence Millar:
Meeting of the Association for Symbolic Logic: Milwaukee, 1981.
514-518 BibTeX
- W. G. Malcolm, M. J. Cresswell:
Meeting of the Association for Symbolic Logic: Wellington, New Zealand, 1981.
519-526 BibTeX
Volume 48,
Number 3,
September 1983
- Claudio Bernardi, Andrea Sorbi:
Classifying Positive Equivalence Relations.
529-538 BibTeX
- Libo Lo:
On the Number of Countable Homogeneous Models.
539-541 BibTeX
- Matatyahu Rubin, Saharon Shelah:
On the Expressibility Hierarchy of Magidor-Malitz Quantifiers.
542-557 BibTeX
- L. V. Shabunin:
On the Interpretation of Combinators with Weak Reduction.
558-563 BibTeX
- Jeff B. Paris, C. Dimitracopoulos:
A Note on the Undefinability of Cuts.
564-569 BibTeX
- Philipp Rothmaler:
Some Model Theory of Modules. I. On Total Transcendence of Modules.
570-574 BibTeX
- Arnold W. Miller:
Mapping a Set of Reals Onto the Reals.
575-584 BibTeX
- Lefteris M. Kirousis:
A Selection Theorem.
585-594 BibTeX
- E. G. K. López-Escobar:
A Second Paper "On the Interpolation Theorem for the Logic of Constant Domains".
595-599 BibTeX
- William J. Mitchell:
Sets Constructed from Sequences of Measures: Revisited.
600-609 BibTeX
- Iraj Kalantari, Jeffrey B. Remmel:
Degrees of Recursively Enumerable Topological Spaces.
610-622 BibTeX
- Julia F. Knight:
Additive Structure in Uncountable Models for a Fixed Completion of P.
623-628 BibTeX
- Sy D. Friedman:
Some Recent Developments in Higher Recursion Theory.
629-642 BibTeX
- Uri Abraham, Saharon Shelah:
Forcing Closed Unbounded Sets.
643-657 BibTeX
- Uri Abraham:
On Forcing Without the Continuum Hypothesis.
658-661 BibTeX
- Robert E. Byerly:
Definability of R. E. Sets in a Class of Recursion Theoretic Structures.
662-669 BibTeX
- R. J. Grayson:
Forcing in Intuitionistic Systems Without Power-Set.
670-682 BibTeX
- Holger Eisenmenger:
Some Local Definability Results on Countable Topological Structures.
683-692 BibTeX
- Eberhard Herrmann:
Orbits of Hyperhypersimple Sets and the Lattice of Sigma03 Sets.
693-699 BibTeX
- Libo Lo:
The tau-Theory for Free Groups Is Undecidable.
700-703 BibTeX
- Petr Hájek:
Arithmetical Interpretations of Dynamic Logic.
704-713 BibTeX
- Matthew Foreman:
Games Played on Boolean Algebras.
714-723 BibTeX
- Piergiorgio Odifreddi:
Forcing and Reducibilities. II. Forcing in Fragments of Analysis.
724-743 BibTeX
- Hirokazu Nishimura:
Hauptsatz for Higher-Order Modal Logic.
744-751 BibTeX
- Erik Ellentuck:
Incompatible Extensions of Combinatorial Functions.
752-755 BibTeX
- Heinrich Rolletschek:
Closure Properties of Almost-Finiteness Classes in Recursive Function Theory.
756-763 BibTeX
- Stuart A. Kurtz:
Notions of Weak Genericity.
764-770 BibTeX
- Martin W. Bunder:
A Weak Absolute Consistency Proof for Some Systems of Illative Combinatory Logic.
771-776 BibTeX
- David Guaspari:
Sentences Implying Their Own Provability.
777-789 BibTeX
- Steven Homer:
Intermediate beta-R.E. Degrees and the Half-Jump.
790-796 BibTeX
- Fred Richman:
Church's Thesis Without Tears.
797-803 BibTeX
- W. F. Gross:
The Inverse of a Regressive Object.
804-815 BibTeX
- Yuri Gurevich, Saharon Shelah:
Interpreting Second-Order Logic in the Monadic Theory of Order.
816-828 BibTeX
- Jeanleah Mohrherr:
Kleene Index Sets and Functional m-Degrees.
829-840 BibTeX
- John L. Bell:
On the Strength of the Sikorski Extension Theorem for Boolean Algebras.
841-846 BibTeX
- Marcel Masseron:
Rungs and Trees.
847-863 BibTeX
- Ayda I. Arruda, Xavier Caicedo, Rolando Chuaqui, Newton C. A. da Costa:
Meeting of the Association for Symbolic Logic: Bogota, Colombia, 1981.
884-892 BibTeX
- Chi Tat Chong:
Meeting of the Association for Symbolic Logic: Singapore 1981.
893-897 BibTeX
- Simon Kochen, Hugues Leblanc, Charles D. Parsons:
Annual Meeting of the Association for Symbolic Logic: Philadelphia 1981.
898-910 BibTeX
Volume 48,
Number 4,
December 1983
- William J. Collins, Paul Young:
Discontinuities of Provably Correct Operators on the Provably Recursive Real Numbers.
913-920 BibTeX
- Michael Stob:
Wtt-Degrees and T-Degrees of R.E. Sets.
921-930 BibTeX
- Henk Barendregt, Mario Coppo, Mariangiola Dezani-Ciancaglini:
A Filter Lambda Model and the Completeness of Type Assignment.
931-940 BibTeX
- Willem J. Blok, P. Kohler:
Algebraic Semantics for Quasi-Classical Modal Logics.
941-964 BibTeX
- Dag Normann:
Characterizing the Continuous Functionals.
965-969 BibTeX
- Philipp Rothmaler:
Some Model Theory of Modules. II. On Stability and Categoricity of Flat Modules.
970-985 BibTeX
- Vitezslav Svejdar:
Modal Analysis of Generalized Rosser Sentences.
986-999 BibTeX
- Michael Sheard:
Indecomposable Ultrafilters Over Small Large Cardinals.
1000-1007 BibTeX
- J. K. Truss:
The Noncommutativity of Random and Generic Extensions.
1008-1012 BibTeX
- Piergiorgio Odifreddi:
Forcing and Reducibilities. III. Forcing in Fragments of Set Theory.
1013-1034 BibTeX
- Ilias G. Kastanas:
On the Ramsey Property for Sets of Reals.
1035-1045 BibTeX
- Dan Velleman:
On a Generalization of Jensen's, and Strategic Closure of Partial Orders.
1046-1052 BibTeX
- Matt Kaufmann:
Blunt and Topless End Extensions of Models of Set Theory.
1053-1073 BibTeX
- Julia F. Knight:
Degrees of Types and Independent Sequences.
1074-1081 BibTeX
- Kurt Wolfsdorf:
A Baire-Type Theorem for Cardinals.
1082-1089 BibTeX
- Peter Clote, Kenneth Mcaloon:
Two Further Combinatorial Theorems Equivalent to the 1-Consistency of Peano Arithmetic.
1090-1104 BibTeX
- Yuri Gurevich, Saharon Shelah:
Rabin's Uniformization Problem.
1105-1119 BibTeX
- Yuri Gurevich, Saharon Shelah:
Random Models and the Godel Case of the Decision Problem.
1120-1124 BibTeX
- Moshe Jarden, William H. Wheeler:
Model-Complete Theories of e-Free AX Fields.
1125-1129 BibTeX
- William H. Wheeler:
Model-Complete Theories of Formally Real Fields and Formally p-Adic Fields.
1130-1139 BibTeX
- Teo Grunberg:
A Tableau System of Proof for Predicate-Functor Logic with Identity.
1140-1144 BibTeX
- G. C. Nelson:
Addendum to "Logic of Reduced Power Structures".
1145 BibTeX
- Jerome I. Malitz:
Downward Transfer of Satisfiability for Sentences of L 1, 1.
1146-1150 BibTeX
- Bruno Poizat:
Une Theorie de Galois Imaginaire.
1151-1170 BibTeX
- J. Richard Büchi:
State-Strategies for Games in F G.
1171-1198 BibTeX
- J. Stern:
The Herbrand Symposium: (Marseilles July 16-July 24 1981).
1210-1232 BibTeX
- H. Jerome Keisler:
Meeting of the Association for Symbolic Logic: Madison 1982.
1233-1239 BibTeX
Copyright © Wed Jun 4 19:15:40 2008
by Michael Ley (ley@uni-trier.de)
