default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 54
Volume 54, Number 1, March 1989
- Klaas Pieter Hart:
Ultrafilters of Character omega1. 1-15 - Lyubomir Ivanov:
Abstract Hierarchies and Degrees. 16-25 - Christopher C. Leary:
Patching Ideal Families and Enforcing Reflection. 26-37 - Michael E. Mytilinaios:
Finite Injury and sum-1-Induction. 38-49 - Andreas Blass, Claude Laflamme:
Consistency Results About Filters and the Number of Inequivalent Growth Types. 50-56 - Ingrid Lindström:
A Construction of Non-Well-Founded Sets within Martin-Lof's Type Theory. 57-64 - Thomas Ede Zimmermann
:
Intensional Logic and Two-Sorted Type Theory. 65-77 - Jaime I. Ihoda, Saharon Shelah:
Martin's Axioms, Measurability and Equiconsistency Results. 78-94 - Saharon Shelah, Simon Thomas:
Subgroups of Small Index in Infinite Symmetric Groups II. 95-99 - Lew Gordeev:
Generalizations of the One-Dimensional Version of the Kruskal-Friedman Theorems. 100-121 - Rami P. Grossberg:
Models with Second Order Properties in Successors of Singulars. 122-137 - Andreas Baudisch:
Classification and Interpretation. 138-159 - Theodore A. Slaman, John R. Steel:
Complementation in the Turing Degrees. 160-176 - Roman Kossak:
Models with the omega-Property. 177-189 - Alan S. Stern:
Sequential Theories and Infinite Distributivity in the Lattice of Chapters. 190-206 - Ehud Hrushovski:
Kueker's Conjecture for Stable Theories. 207-220 - Ehud Hrushovski:
Finitely Based Theories. 221-225 - Thomas Jech:
Positive sum Operations on Ordinals and Normal Filters on Greatly Mahlo Cardinals. 226-233 - H. Luckhardt:
Herbrand-Analysen Zweier Beweise Des Satzes von Roth: Polynomiale Anzahlschranken. 234-263 - Terrence Millar:
Finite Extensions and the Number of Countable Models. 264-270 - Marc Bezem:
Compact and Majorizable Functionals of Finite Type. 271-280
Volume 54, Number 2, June 1989
- Yuri Gurevich, Saharon Shelah:
On the Strength of the Interpretation Method. 305-323 - S. Barry Cooper:
A Jump Class of Noncappable Degrees. 324-353 - Anthony Robinson:
Equational Logic of Partial Functions Under Kleene Equality: A Complete and an Incomplete Set of Rules. 354-362 - David M. Clark:
The Structure of Algebraically and Existentially Closed Stone and Double Stone Algebras. 363-375 - Steffen Lempp, Theodore A. Slaman:
A Limit on Relative Genericity in the Recursively Enumerable Sets. 376-395 - James H. Schmerl:
Partially Ordered Sets and the Independence Property. 396-401 - Jörg H. Siekmann, Peter Szabó:
The Undecidability of the DA-Unification Problem. 402-414 - Ron Sigal:
Undecidable Complexity Statements in E alpha S-Arithmetic. 415-427 - Ivan N. Soskov:
Definability Via Enumerations. 428-440 - Alan H. Mekler, Saharon Shelah:
Uniformization Principles. 441-459 - Warren D. Goldfarb:
Random Models and the Maslov Class. 460-466 - Qi Feng:
An Ideal Characterization of Mahlo Cardinals. 467-473 - M. Victoria Marshall R.:
Higher Order Reflection Principles. 474-489 - Robert S. Lubarsky:
Sacks Forcing Sometimes Needs Help to Produce a Minimal Upper Bound. 490-498 - Françoise Delon, François Lucas:
Inclusions et Produits de Groupes Abeliens Ordonnes Etudies au Premier Ordre. 499-511 - Zoé Chatzidakis:
An Expansion of ~ Fp. 512-521 - James S. Royer:
Two Recursion Theoretic Characterizations of Proof Speed-Ups. 522-526 - S. Barry Cooper:
The Strong Anticupping Property for Recursively Enumerable Degrees. 527-539 - Akihiro Kanamori:
Regressive Partitions and Borel Diagonalization. 540-552 - Rodney G. Downey:
Recursively Enumerable m- and tt-Degrees. I: The Quantity of m- Degrees. 553-567 - C. A. Johnson:
On Ideals and Stationary Reflection. 568-575 - Petr Hájek, Antonín Kucera:
On Recursion Theory in I Sigma1. 576-589 - Martin W. Bunder, J. Roger Hindley, Jonathan P. Seldin:
On Adding (xi) to Weak Equality in Combinatory Logic. 590-607 - Stanley S. Wainer:
Slow Growing Versus Fast Growing. 608-614 - Heinz-Dieter Ebbinghaus, José Fernández-Prida, Manuel Garrido, Daniel Lascar, Mario Rodríguez-Artalejo:
European Summer Meeting of the Association for Symbolic Logic. 647-672 - Yang Dongping:
The Third Asian Conference in Mathematical Logic. 673-685 - Hajnal Andréka, Miklós Ferenczi, István Németi, György Serény:
Algebraic Logic Conference. 686
Volume 54, Number 3, September 1989
- Fred Appenzeller:
An Independence Result in Quadratic Form Theory: Infinitary Combinatorics Applied to epsilon-Hermitian Spaces. 689-699 - Moti Gitik:
On Generic Elementary Embeddings. 700-707 - D. H. Fremlin, Peter Nyikos:
Saturating Ultrafilters on N. 708-718 - Tomek Bartoszynski, Jaime I. Ihoda, Saharon Shelah:
The Cofinality of Cardinal Invariants Related to Measure and Category. 719-726 - Galen Weitkamp:
The Sigma12 Theory of Axioms of Symmetry. 727-734 - Klaus Ambos-Spies, Manuel Lerman:
Lattice Embeddings into the Recursively Enumerable Degrees II. 735-760 - James C. Owings:
A Cardinality Version of Biegel's Nonspeedup Theorem. 761-767 - Luis Jaime Corredor:
Bad Groups of Finite Morley Rank. 768-773 - Friedrich Wehrung:
Nonabsoluteness of Elementary Embeddings. 774-778 - Clement F. Kent, Bernard R. Hodgson:
Extensions of Arithmetic For Proving Termination of Computations. 779-794 - William Craig:
Near-Equational and Equational Systems of Logic for Partial Functions I. 795-827 - Tomek Bartoszynski, Jaime I. Ihoda:
On the Cofinality of the Smallest Covering of the Real Line by Meager Sets. 828-832 - J. C. E. Dekker, Erik Ellentuck:
Isols and the Pigeonhole Principle. 833-846 - Bruno Poizat:
Generix Strikes Again. 847-857 - Anand Pillay:
A Note on Subgroups of the Automorphism Group of a Saturated Model, and Regular Types. 858-864 - Alain Louveau:
Two Results on Borel Orders. 865-874 - John T. Baldwin:
Diverse Classes. 875-893 - Harvey Friedman, Lee J. Stanley:
A Borel Reducibility Theory for Classes of Countable Structures. 894-914 - Alexander S. Kechris, David Marker, Ramez L. Sami:
pi11 Borel Sets. 915-920 - David Marker:
Non Sigman Axiomatizable Almost Strongly Minimal Theories. 921-927 - Lou van den Dries, David Marker, Gary Martin:
Definable Equivalence Relations on Algebraically Closed Fields. 928-935 - Roman Kossak, Mark E. Nadel, James H. Schmerl:
A Note on the Multiplicative Semigroup of Models of Peano Arithmetic. 936-940 - J. Denef, Leonard Lipshitz:
Decision Problems for Differential Equations. 941-950 - Roger D. Maddux:
Nonfinite Axiomatizability Results for Cylindric and Relation Algebras. 951-974 - Douglas A. Cenzer, Rick L. Smith:
On the Ranked Points of A pi01 Set. 975-991 - Giovanni Sambin, Virginia Vaccaro:
A New Proof of Sahlqvist's Theorem on Modal Definability and Completeness. 992-999 - Peter Fletcher:
Nonstandard Set Theory. 1000-1008 - Martin Kummer:
A Note on Direct Sums of Friedbergnumberings. 1009-1010 - Lee A. Rubel:
Digital Simulation of Analog Computation and Church's Thesis. 1011-1017 - Peter Perkins:
Finite Axiomatizability for Equational Theories of Computable Groupoids. 1018-1022 - Franco Montagna, Andrea Sorbi:
Creativeness and Completeness in Recursion Categories of Partial Recursive Operators. 1023-1041 - Josep Maria Font, Ventura Verdú:
A First Approach to Abstract Modal Logics. 1042-1062 - Jan Krajícek, Pavel Pudlák:
Propositional Proof Systems, the Consistency of First Order Theories and the Complexity of Computations. 1063-1079 - Ali Nesin:
Groups of Finite Morley Rank with Transitive Group Automorphisms. 1080-1082 - Yuri Gurevich, Saharon Shelah:
Time Polynomial in Input or Output. 1083-1088
Volume 54, Number 4, December 1989
- Penelope Maddy:
The Roots of Contemporary Platonism. 1121-1144 - Sy D. Friedman:
Coding Over a Measurable Cardinal. 1145-1159 - Rodney G. Downey:
On Hyper-Torre Isols. 1160-1166 - H. Jerome Keisler, Kenneth Kunen, Arnold W. Miller, Steven C. Leth:
Descriptive Set Theory Over Hyperfinite Sets. 1167-1180 - William Craig:
Near-Equational and Equational Systems of Logic for Partial Functions II. 1181-1215 - Yiannis N. Moschovakis:
The Formal Language of Recursion. 1216-1252 - Denis Richard:
Definability in Terms of the Successor Function and the Coprimeness Predicate in the Set of Arbitrary Integers. 1253-1287 - Carl G. Jockusch Jr., Manuel Lerman, Robert I. Soare, Robert Solovay:
Recursively Enumerable Sets Modulo Iterated Jumps and Extensions of Arslanov's Completeness Criterion. 1288-1323 - Gregory L. McColm:
Some Restrictions on Simple Fixed Points of the Integers. 1324-1345 - Bradd Hart:
A Proof of Morley's Conjecture. 1346-1358 - Rami P. Grossberg, Bradd Hart:
The Classification of Excellent Classes. 1359-1381 - James H. Schmerl:
Large Resplendent Models Generated by Indiscernibles. 1382-1388 - Michiel van Lambalgen:
Algorithmic Information Theory. 1389-1400 - Marco Forti, Roland Hinnion:
The Consistency Problem for Positive Comprehension Principles. 1401-1418 - Gerard R. Renardel de Lavalette:
Interpolation in Fragments of Intuitionistic Propositional Logic. 1419-1430 - Saharon Shelah:
The Number of Pairwise Non-Elementary-Embeddable Models. 1431-1455 - Harvey Friedman, Michael Sheard:
The Equivalence of the Disjunction and Existence Properties for Modal Arithmetic. 1456-1459 - Fabio Bellissima, Massimo Mirolli:
A General Treatment of Equivalent Modalities. 1460-1471 - George Epstein:
Fifth Southeastern Logic Symposium. 1498
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-06 01:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
