The Journal of Symbolic Logic, Volume 53
Volume 53, Number 1, March 1988
Azriel Levy: Alfred Tarski's Work in Set Theory. 2-6- Lou van den Dries: Alfred Tarski's Elimination Theory for Real Closed Fields. 7-19
- John Etchemendy: Tarski on Truth and Logical Consequence. 51-79
- Patrick Suppes: Philosophical Implications of Tarski's Work. 80-91
- C. A. Johnson: Seminormal lambda-Generated Ideals on Pk lambda. 92-102
- Robert S. Lubarsky: Correction to "Simple R. E. Degree Structures". 103-104
- Stefano Berardi: Equalization of Finite Flowers. 105-123
- Bruno Poizat: MM. Borel, Tits, Zil'ber et le General Nonsense. 124-131
- Bruno Poizat: Missionary Mathematics. 132-145
- Laura L. Mayer: Vaught's Conjecture for o-Minimal Theories. 146-159
- Gaisi Takeuti: Boolean Simple Groups and Boolean Simple Rings. 160-173
- Steffen Lempp: A High Strongly Noncappable Degree. 174-187
- Gary A. Martin: Definability in Reducts of Algebraically Closed Fields. 188-199
- Mitsuhiro Okada: On a Theory of Weak Implications. 200-211
- Michael E. Mytilinaios, Theodore A. Slaman: sigma2-Collection and the Infinite Injury Priority Method. 212-221
- Ian M. Hodkinson, H. D. Macpherson: Relational Structures Determined by Their Finite Induced Substructures. 222-230
- Rami P. Grossberg: A Downward Lowenheim-Skolem Theorem for Infinitary Theories which have the Unsuperstability Property. 231-242
- Miroslaw Kutylowski: Finite Automata, Real Time Processes and Counting Problems in Bounded Arithmetics. 243-258
- Ilias G. Kastanas: Initial Segments of triangle1 2n + 1 -Degrees. 259-268
- T. G. Kucera: Generalizations of Deissler's Minimality Rank. 269-283
- T. G. Kucera: Positive Deissler Rank and the Complexity of Injective Modules. 284-293
- R. Gurevic: On Ultracoproducts of Compact Hausdorff Spaces. 294-300
- Krister Segerberg: Meeting of the Association for Symbolic Logic: Auckland, 1986. 330-334
Volume 53, Number 2, June 1988
- Wilfried Sieg: Hilbert's Program Sixty Years Later. 338-348
- Stephen G. Simpson: Partial Realizations of Hilbert's Program. 349-363
- Solomon Feferman: Hilbert's Program Relativized: Proof-Theoretical and Foundational Reductions. 364-384
- Yo Matsubara: Splitting P k lambda into Stationary Subsets. 385-389
- John P. Burgess: Addendum to "The Truth is Never Simple". 390-392
- Jaime I. Ihoda: Strong Measure Zero Sets and Rapid Filters. 393-402
- Fabio Bellissima: Finite and Finitely Separable Intermediate Propositional Logics. 403-420
- Françoise Delon: Extensions Separees et Immediates de Corps Values. 421-428
- Kenneth Kunen: Where Ma First Fails. 429-433
- Joseph Barback: On Infinite Series of Infinite Isols. 443-462
- Dan Haran: Quantifier Elimination in Separably Closed Fields of Finite Imperfectness Degree. 463-469
- Masahiro Yasumoto: Algebraic Extensions in Nonstandard Models and Hilbert's Irreducibility Theorem. 470-480
- Penelope Maddy: Believing the Axioms I. 481-511
- Michael C. Laskowski: Uncountable Theories that are Categorical in a Higher Power. 512-530
- Michael Moses: Decidable Discrete Linear Orders. 531-539
- Pierre Matet: Some Filters of Partitions. 540-553
- Herbert H. J. Riedel: Existentially Closed Algebras and Boolean Products. 571-596
- Mark Howard: A Proofless Proof of the Barwise Compactness Theorem. 597-602
- Steven Buechler: The Classification of Small Weakly Minimal Sets II. 625-635
- Jaime I. Ihoda: sigma12-Sets of Reals. 636-642
Volume 53, Number 3, September 1988
- Sidney C. Bailin: A Normalization Theorem for Set Theory. 673-695
- Howard Becker: A Characterization of Jump Operators. 708-728
- Penelope Maddy: Believing the Axioms II. 736-764
- Harold Hodes: Cardinality Logics. Part II: Definability in Languages Based on 'Exactly'. 765-784
- Lou van den Dries: On the Elementary Theory of Restricted Elementary Functions. 796-808
- M. C. Stanley: Backwards Easton Forcing and 0#. 809-833
- Hajnal Andréka, William Craig, István Németi: A System of Logic for Partial Functions Under Existence-Dependent Kleene Equality. 834-839
- Jan M. Smith: The Independence of Peano's Fourth Axiom from Martin-Lof's Type Theory Without Universes. 840-845
- Balázs Biró, Saharon Shelah: Isomorphic but not Lower Base-Isomorphic Cylindric Set Algebras. 846-853
- D. J. Walker: On the Transversal Hypothesis and the Weak Kurepa Hypothesis. 854-877
- Kate Copestake: 1-Genericity in the Enumeration Degrees. 878-887
- E. G. K. López-Escobar: Circumscription within Monotonic Inferences. 888-904
- Philip Scowcroft: A Note on Definable Skolem Functions. 905-911
- Philip Scowcroft: More on Definable Sets of p-Adic Numbers. 912-920
- Max A. Dickmann: The Model Theory of Chain-Closed Fields. 921-930
- Akito Tsuboi: Strongly 2-Dimensional Theories. 931-936
- Ursula Gropp: Coinductive Formulas and a Many-Sorted Interpolation Theorem. 937-960
- Stephen G. Simpson: Ordinal Numbers and the Hilbert Basis Theorem. 961-974
- Steven Buechler: The Classification of Small Weakly Minimal Sets. III: Modules. 975-979
- Harold Simmons: Large Discrete Parts of the E-Tree. 980-984
- Julia F. Knight: Meeting of the Association for Symbolic Logic: San Antonio, 1987. 1000-1006
Volume 53, Number 4, December 1988
- Jean-Pierre Ressayre: Formal Languages Defined by the Underlying Structure of their Words. 1009-1026
- Charles McCarty: Constructive Validity is Nonarithmetic. 1036-1041
- Charles McCarty: Markov's Principle, Isols and Dedekind Finite Sets. 1042-1069
- Robert S. Lubarsky: Definability and Initial Segments of c-Degrees. 1070-1081
- Wolfgang Maass: On the Use of Inaccessible Numbers and Order Indiscernibles in Lower Bound Arguments for Random Access Machines. 1098-1109
- Klaus Ambos-Spies, Peter A. Fejer: Degree Theoretical Splitting Properties of Recursively Enumerable Sets. 1110-1137
- Philip Scowcroft, Lou van den Dries: On the Structure of Semialgebraic Sets Over p-Adic Fields. 1138-1164
- Anand Pillay: Sheaves of Continuous Definable Functions. 1165-1169
- Piotr Zakrzewski: On Universal Semiregular Invariant Measures. 1170-1176
- Wendy MacCaull: On the Validity of Hilbert's Nullstellensatz, Artin's Theorem, and Related Results in Grothendieck Toposes. 1177-1187
- Mitchell Spector: Ultrapowers Without the Axiom of Choice. 1208-1219
- James D. French: The False Assumption Underlying Berry's Paradox. 1220-1223
- Remi Legrand: A Basis Result in Combinatory Logic. 1224-1226
- Jeff B. Paris, A. J. Wilkie, Alan R. Woods: Provability of the Pigeonhole Principle and the Existence of Infinitely Many Primes. 1235-1244
- Daniel N. Osherson, Michael Stob, Scott Weinstein: Mechanical Learners Pay a Price for Bayesianism. 1245-1251
- Martin Davis, Rohit Parikh: Meeting of the Association for Symbolic Logic: New York City, May 1987. 1270-1274
- Roderic A. Girle, I. C. Hinckfuss: Australasian Association for Logic Annual Conference, 1987, Brisbane, 1987. 1283-1286
- Nicolas D. Goodman, Harold T. Hodes, Carl G. Jockusch Jr., Kenneth McAloon: Annual Meeting of the Association for Symbolic Logic, New York City, December 1987. 1287-1299
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team