Stop the war!Остановите войну!
for scientists:
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
a service of 
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 2024-04-15 21:32 CEST 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:
