default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 55
Volume 55, Number 1, March 1990
- Mark E. Nadel, Jonathan Stavi:
On Models of the Elementary Theory of (Z, +, 1). 1-20 - Saharon Shelah
:
Strong Negative Partition Above the Continuum. 21-31 - V. Michele Abrusci, Jean-Yves Girard, Jacques Van de Wiele:
Some Uses of Dilators in Combinatorial Problems, II. 32-40 - David N. Yetter:
Quantales and (Noncommutative) Linear Logic. 41-64 - Juha Oikkonen:
On Ehrenfeucht-Fraïssé Equivalence of Linear Orderings. 65-73 - Wayne D. Blizard:
A Formal Theory of Objects, Space and Time. 74-89 - J. Roger Hindley, David Meredith:
Principal Type-Schemes and Condensed Detachment. 90-105 - E. G. K. López-Escobar:
Remarks on the Church-Rosser Property. 106-112 - Miklós Ajtai, Ronald Fagin:
Reachability Is Harder for Directed than for Undirected Finite Graphs. 113-150 - Frank O. Wagner:
Subgroups of Stable Groups. 151-156 - Lew Gordeev:
Generalizations of the Kruskal-Friedman Theories. 157-181 - Nicolas D. Goodman:
Mathematics and Natural Science. 182-193 - Robert S. Lubarsky:
An Introduction to gamma-Recursion Theory (Or What to Do in KP-Foundation). 194-206 - Giangiacomo Gerla:
Pointless Metric Spaces. 207-219 - James G. Williams:
On the Formalization of Semantic Conventions. 220-243 - Andrea Cantini:
A Theory of Formal Truth Arithmetically Equivalent to ID1. 244-259 - Serge Grigorieff:
Every Recursive Linear Ordering Has a Copy in DTIME-SPACE(n, log(n)). 260-276 - Labib Haddad, Marianne Morillon:
L'Axiome de Normalité pour les Espaces Totalement Ordonnés. 277-283 - John W. L. Merrill:
UFA Fails in the Bell-Kunen Model. 284-296 - Timothy Williamson:
Two Incomplete Anti-Realist Modal Epistemic Logics. 297-314 - Samy Zafrany:
On Analytic Filters and Prefilters. 315-322 - Gérard Leloup:
Théeories Compléetes de Paires de Corps Valuées Henseliens. 323-339
Volume 55, Number 2, June 1990
- Claude Laflamme:
Upward Directedness of the Rudin-Keisler Ordering of P-Points. 449-456 - Winfried Just, A. R. D. Mathias, Karel Prikry, Petr Simon:
On the Existence of Large p-Ideals. 457-465 - Alan H. Mekler:
Universal Structures in Power aleph1. 466-477 - Alexandre V. Borovik, Bruno Poizat:
Tores et p-Groupes. 478-491 - Arthur W. Apter:
Successors of Singular Cardinals and Measurability Revisited. 492-501 - Derrick Albert DuBose:
The Equivalence of Determinacy and Iterated Sharps. 502-525 - R. David:
Some Results on Higher Suslin Trees. 526-536 - Alain Louveau, Jean Saint-Raymond:
On the Quasi-Ordering of Borel Linear Orders under Embeddability. 537-560 - Lyubomir Ivanov:
Operative vs. Combinatory Spaces. 561-572 - Klaus Sutner:
The Ordertype of beta-R.E. sets. 573-576 - Hajnal Andréka, István Németi, R. J. Thompson:
Weak Cylindric Set Algebra and Weak Subdirect Indecomposability. 577-588 - Paul Bankston:
Taxonomies of Model-Theoretically Defined Topological Properties. 589-603 - Bosko Zivaljevic:
Some Results about Borel Sets in Descriptive Set Theory of Hyperfinite Sets. 604-614 - Jacek Malinowski:
The Deduction Theorem for Quantum Logic - Some Negative Results. 615-625 - John T. Baldwin:
The Spectrum of Resplendency. 626-636 - Carl G. Jockusch Jr., James C. Owings:
Weakly Semirecursive Sets. 637-644 - Paul E. Howard:
Definitions of Compact. 645-655 - Martin W. Bunder:
Some Improvements to Turner's Algorithm for Bracket Abstraction. 656-669 - Hans B. Gute, K. K. Reuter:
The Last Word on Elimination of Quantifiers in Modules. 670-673 - Janusz Pawlikowski:
Finite Support Iteration and Strong Measure Zero Sets. 674-677 - Edmund Robinson, Giuseppe Rosolini:
Colimit Completions and the Effective Topos. 678-699 - David Booth:
Hereditarily Finite Finsler Sets. 700-706 - Arnon Avron:
Relevance and Paraconsistency - A New Approach. 707-732 - Masahiro Kumabe:
A 1-Generic Degree which Bounds a Minimal Degree. 733-743 - Peter Cholak:
Boolean Algebras and Orbits of the Lattice of R.E. Sets Modulo the Finite Sets. 744-760 - Andreas Blass:
Infinitary Combinatorics and Modal Logic. 761-778 - Margarita Otero:
On Diophantine Equations Solvable in Models of Open Induction. 779-786 - Julia F. Knight:
A Metatheorem for Constructions by Finitely Many Workers. 787-804 - Jaap van Oosten:
Lifschitz' Realizability. 805-821 - Thomas Jech, Saharon Shelah:
Full Reflection of Stationary Sets Below alephomega. 822-830 - Andrea Sorbi:
Some Remarks on the Algebraic Structure of the Medvedev Lattice. 831-853 - Normam Feldman:
Cylindric Algebra with Terms. 854-866
Volume 55, Number 3, September 1990
- Tapani Hyttinen, Jouko A. Väänänen:
On Scott and Karp Trees of Uncountable Models. 897-908 - Haim Judah, Saharon Shelah:
The Kunen-Miller Chart (Lebesgue Measure, the Baire Property, Laver Reals and Preservation Theorems for Forcing). 909-927 - James Loveys:
Weakly Minimal Groups of Unbounded Exponent. 928-937 - James M. Henle:
Partition Properties and Prikry Forcing on Simple Spaces. 938-947 - Paul Bankston, Wim Ruitenburg:
Notions of Relative Ubiquity for Invariant Sets of Relational Structures. 948-986 - Christine Ann Haught, Richard A. Shore:
Undecidability and Initial Segments of the R.E. tt-Degrees. 987-1006 - Shih Ping Tung:
Decidable Fragments of Field Theories. 1007-1018 - Dan Velleman:
Partitioning Pairs of Countable Sets of Ordinals. 1019-1021 - Arnold W. Miller:
Set Theoretic Properties of Loeb Measure. 1022-1036 - Ludomir Newelski:
Omitting Types for Stable CCC Theories. 1037-1047 - Jeffrey S. Carroll:
Maximal R.E. Equivalence Relations. 1048-1058 - Alessandro Berarducci:
The Interpretability Logic of Peano Arithmetic. 1059-1089 - Sergei N. Artëmov, Giorgie Dzhaparidze:
Finite Kripke Models and Predicate Logics of Provability. 1090-1098 - Pierluigi Minari, Mitio Takano, Hiroakira Ono:
Intermediate Predicate Logics Determined by Ordinals. 1099-1124 - John Pas:
On the Angular Component Map Modulo P. 1125-1129 - James H. Schmerl:
Coinductive aleph0-Categorical Theories. 1130-1137 - Anand Pillay:
Differentially Algebraic Group Chunks. 1138-1142 - Michiel van Lambalgen:
The Axiomatization of Randomness. 1143-1167 - John Chisholm:
Effective Model Theory vs. Recursive Model Theory. 1168-1191 - Alain Touraille:
Théories d'Algébres de Boole Munies d'Idéaux Distingués, II. 1192-1212 - John Chisholm:
The Complexity of Intrinsically R.E. Subsets of Existentially Decidable Models. 1213-1232 - David Ross:
The Special Model Axiom in Nonstandard Analysis. 1233-1242 - David Marker, Anand Pillay:
Reducts of (C, +, *) which Contain +. 1243-1251 - Alex Heller:
An Existence Theorem for Recursion Categories. 1252-1268 - William M. Farmer:
A Partial Functions Version of Church's Simple Theory of Types. 1269-1291 - Michael H. Albert, Rami P. Grossberg:
Rich Models. 1292-1298
Volume 55, Number 4, December 1990
- Herbert B. Enderton:
Cumulative Index to Volumes 27-55 (1962-1990). 1329
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 2026-08-14 21:54 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
