THE JOURNAL OF SYMBOLIC LOGIC. VOL 41. Number 1. 1976.

C. T. Chong. “An infinite injury method of the unbounded type” The journal of symbolic logic. Vol. 41. Number 1, 1976 página 1-17

Michael Beeson. “The unprovability in intuitionistic formal systems of the continuity of effective operations on the reals” The journal of symbolic logic. Vol. 41. Number 1, 1976 página 18-24

Julia F. Knight. “Omitting types in set theory and arithmetic” The journal of symbolic logic. Vol. 41. Number 1, 1976 página 25-32

William Boos. “Infinitary compactness without strong inaccessibility” The journal of symbolic logic. Vol. 41. Number 1, 1976 página 33-38

Charles E. Hughes. “Two variable implicational calculi of prescribed many-one degrees of unsolvabilyty” The journal of symbolic logic. Vol. 41. Number 1, 1976 página 39-44

Charles E. Hughes. “A reduction class containing formulas with one monadic predicate and one binary function symbol” The journal of symbolic logic. Vol. 41. Number 1, 1976 pagina 45-49

Ronald Fagin. “Probabilities on finite models” The journal of symbolic logic. Vol. 41. Number 1, 1976 página 50-58

Victor Harnik. “Approximation theorems and model theoretic forcing” The journal of symbolic logic. Vol. 41. Number 1, 1976 página 59-72

Zofia Adamowicz. “One more aspect of forcing and omitting types” The journal of symbolic logic. Vol. 41. Number 1, 1976 página 73-80

Dov M. Gabbay. “Completeness properties of Heytings predicate calculus with respect to RE models” The journal of symbolic logic. Vol. 41. Number 1, 1976 página 81-94

Volker Weispfennig. “Negative- existentially complete structures and definability in free extensions” The journal of symbolic logic. Vol. 41. Number 1, 1976 página 95-108

Anders M. Nyberg. “Uniform inductive definability and infinitary languages” The journal of symbolic logic. Vol. 41. Number 1, 1976 página 109-120

THE JOURNAL OF SYMBOLIC LOGIC. VOL 41. Number 2. 1976.

A. H. Lanchlan and R. Lebeuf. “Countable initial segments of degrees of unsolvability” The journal of symbolic logic. Vol. 41. Number 2, 1976 página 289-300

J. F. A. K. Van Benthem. “Modal reduction principles” The journal of symbolic logic. Vol. 41. Number 2, 1976 página 301-312

Zofia Adamowicz. “On finite lattices of degrees of constructibility of reals.” The journal of symbolic logic. Vol. 41. Number 2, 1976 página 313-322

William C. Powell. “A completeness theorem for Zermelo- Fraenkel set theory” The journal of symbolic logic. Vol. 41. Number 2, 1976 página 323-327

Michael J. Beeson. “Derived rules of inference related to the continuity of effective operations” The journal of symbolic logic. Vol. 41. Number 2, 1976 página 328-336

Scott K. Lehmann. “A interpretation of modal first- order languages in classical second- order languages” The journal of symbolic logic. Vol. 41. Number 2, 1976 página 337- 340

Harry R. Lewis. “Krom formulas with one dyadic predicate letter” The journal of symbolic logic. Vol. 41. Number 2, 1976 página 341-362

Harvey Friedman. “Uniformly defined descending sequences of degrees” The journal of symbolic logic. Vol. 41. Number 2, 1976 página 363-367

John Paulos. “Noncharacterizability of the syntax set” The journal of symbolic logic. Vol. 41. Number 2, 1976 página 368-372

Douglas R. Busch. “-scales-, Souslin sets and a new definition of analytic sets” The journal of symbolic logic. Vol. 41. Number 2, 1976 página 373-378

H. Simmons. “Large and small existentially closed structures” The journal of symbolic logic. Vol. 41. Number 2, 1976 página 379-390

J. C. E. Dekker. “Projective planes of infinite but isolic order” The journal of symbolic logic. Vol. 41. Number 2, 1976 página 391-404

Manuel Lerman. “Congrence relations, filters, ideals, and definability in lattices of recursively enumerable sets” The journal of symbolic logic. Vol. 41. Number 2, 1976 página 405-418

Manuel Lerman. “Types of simple –recursively enumerable sets” The journal of symbolic logic. Vol. 41. Number 2, 1976 página 419-426

F. Lowenthal. “Equivalence of some definitions of recursion in a higher type object” The journal of symbolic logic. Vol. 41. Number 2, 1976 página 427-435

J. F. A. K. Van Benthem. “Modal formulas are either or not elementary” The journal of symbolic logic. Vol. 41. Number 2, 1976 página 436-438

Larry W. Miller. “Normal functions and constructive ordinal notations” The journal of symbolic logic. Vol. 41. Number 2, 1976 página 439-459

Yuri Gurevich. “The decision problem for standard classes” The journal of symbolic logic. Vol. 41. Number 2, 1976 página 460-464 THE JOURNAL OF SYMBOLIC LOGIC. VOL 41. Number 3. 1976.

Charles Rackoff. “On the complexity of the theories of weak direct powers” The journal of symbolic logic. Vol. 41. Number 3, 1976 página 561-573

Nicolas D. Goodman. “The theory of the Godel functionals” The journal of symbolic logic. Vol. 41. Number 3, 1976 página 574-582

Julia F. Knight. “Hanf numbers for omitting types over particular theories” The journal of symbolic logic. Vol. 41. Number 3, 1976 página 583-588

George F. McNulty. “Undecidable properties of finite sets of equations” The journal of symbolic logic. Vol. 41. Number 3, 1976 página 589-604

Angus MacIntyre. “On definable subsets of p-adic fiels” The journal of symbolic logic. Vol. 41. Number 3, 1976 página 605-610

J. B. Remmel. “Co-hipersimple structures” The journal of symbolic logic. Vol. 41. Number 3, 1976 página 611-625

Robert P. Daley. “Noncomplex sequences: characterizations and examples” The journal of symbolic logic. Vol. 41. Number 3, 1976 página 626-638

Erik Ellentuck. “Categoricity ragained” The journal of symbolic logic. Vol. 41. Number 3, 1976 página 639-643

H. de Swart. “Another intuitionistic completeness proof” The journal of symbolic logic. Vol. 41. Number 3, 1976 página 644-662

John Gregory. “Higher Souslin trees and the generalized continuum hypothesis” The journal of symbolic logic. Vol. 41. Number 3, 1976 página 663-671

Robert E. Woodrow. “A note on countable complete theories having theree isomorphism types of countable models” The journal of symbolic logic. Vol. 41. Number 3, 1976 página 672-680

Richard A. Shore. “Types of simple recursively enumerable sets” The journal of symbolic logic. Vol. 41. Number 3, 1976 página 681-694

J.R. Shoenfield. “Degrees of classes of RE sets” The journal of symbolic logic. Vol. 41. Number 3, 1976 página 695-696

THE JOURNAL OF SYMBOLIC LOGIC. VOL 41. Number 4. 1976.

M. H. Lob. “Embedding first order predicate logic in fragments of intutionistic” The journal of symbolic logic. Vol. 41. Number 4, 1976 página 705-718

Johan Moldestad and Dag Normann. “Models for recursion theory” The journal of symbolic logic. Vol. 41. Number 4, 1976 página 719-729

Kenneth Slonneger. “A complete infinitary logic” The journal of symbolic logic. Vol. 41. Number 4, 1976 página 730-746

Alonzo Church. “Comparison of Russells resolution of sementical antinomies with that of Tarski” The journal of symbolic logic. Vol. 41. Number 4, 1976 página 747-760

Stephen C. Kleene. “The work of Kurt Godel” The journal of symbolic logic. Vol. 41. Number 4, 1976 página 761-778

George Boolos. “On deciding the truth of certain statements involving the notion of consistency” The journal of symbolic logic. Vol. 41. Number 4, 1976 página 779-781

THE JOURNAL OF SYMBOLIC LOGIC. VOL 42. Number 1. 1977.

John M. MacIntyre. “Transfinite extensions of Friedbergs completeness criterion” The journal of symbolic logic. Vol. 42. Number 1, 1977 página 1-10

Jonathan P. Seldin. “A sequent for calculus for type assignment” The journal of symbolic logic. Vol. 42. Number 1, 1977 página 11-28

Ernest Snapper. “Omitting models” The journal of symbolic logic. Vol. 42. Number 1, 1977 página 29-32

Jonathan Stavi. “The pure part of HYP (M)” The journal of symbolic logic. Vol. 42. Number 1, 1977 página 33-46

Barry E. Jacobs. “On generalized computational complexity” The journal of symbolic logic. Vol. 42. Number 1, 1977 página 47-58

Julia F. Knight. “A complete sentence characterizing” The journal of symbolic logic. Vol. 42. Number 1, 1977 página 59-62

Nobuyoshi Motohashi. “A remark on Scotts interpolation theorem for” The journal of symbolic logic. Vol. 42. Number 1, 1977 página 63

Petr Stepanek and Bohuslav Balcar. “Embedding theorems for Boolean algebras and consistency results on ordinal definable sets” The journal of symbolic logic. Vol. 42. Number 1, 1977 página 64-76

Stanley H. Stahl. “Primitive recursive ordinal functions with added constants” The journal of symbolic logic. Vol. 42. Number 1, 1977 página 77-82

Nobuyoshi Motohashi. “Partially ordered interpretations” The journal of symbolic logic. Vol. 42. Number 1, 1977 página 83-93

Julia F. Knight. “Skolem functions and elementary embeddings” The journal of symbolic logic. Vol. 42. Number 1, 1977 página 94-98

C. Smorynski. “A note on the number of zeros of polynomials and exponential polynomials” The journal of symbolic logic. Vol. 42. Number 1, 1977 página 99-106

THE JOURNAL OF SYMBOLIC LOGIC. VOL 42. Number 2. 1977.

Philip W. Grant. “Strict- Il predicates on countable and cofinality transitive sets” The journal of symbolic logic. Vol. 42. Number 2, 1977 página 161-173

James H. Schmerl. “An axiomatization for a class of two-cardinal models” The journal of symbolic logic. Vol. 42. Number 2, 1977 página 174-178

David Pincus and Robert M. Solovay. “Definability of measures and ultrafilters” The journal of symbolic logic. Vol. 42. Number 2, 1977 página 179-190

George Boolos. “On deciding the provability of certain fixed point statements” The journal of symbolic logic. Vol. 42. Number 2, 1977 página 191-193

A. S. Troelstra. “Some models for intuitionistic finite type arithmetic with fan functional” The journal of symbolic logic. Vol. 42. Number 2, 1977 página 194-202

James E. Baumgartner, Alan D. Taylor and Stanley Wagon. “On splitting stationary subsets of large cardinals” The journal of symbolic logic. Vol. 42. Number 2, 1977 página 203-214

M. Boffa. “The consistency problem for N. F.” The journal of symbolic logic. Vol. 42. Number 2, 1977 página 215-220

George F. McNulty. “Fragments of first order logic, I: universal Horn logic” The journal of symbolic logic. Vol. 42. Number 2, 1977 página 221-237

D. van Dalen. “The use of Kripkes schema as a reduction principle” The journal of symbolic logic. Vol. 42. Number 2, 1977 página 238-240

Richard Mansfield. “Sheaves and normal submodels” The journal of symbolic logic. Vol. 42. Number 2, 1977 página 241-250

Alan Mekler. “Theories with models of prescribed cardinalities” The journal of symbolic logic. Vol. 42. Number 2, 1977 página 251-253

Rainer Deissler. “Minimal models” The journal of symbolic logic. Vol. 42. Number 2, 1977 página 254-260

M. Magidor and J. Malitz. “Compactness and transfer for a fragment of L” The journal of symbolic logic. Vol. 42. Number 2, 1977 página 261-268

Dov M. Gabbray. “Craig interpolation theorem for intuitionistic logic and extensions, Part III” The journal of symbolic logic. Vol. 42. Number 2, 1977 página 269-271

Menachem Magidor. “Changs conconjeture and powers of singular cardinals” The journal of symbolic logic. Vol. 42. Number 2, 1977 página 272-276

John T. Baldwin and Joel Berman. “A model theoretic approach to Malcev conditions” The journal of symbolic logic. Vol. 42. Number 2, 1977 página 277-288

Charles K. Landraitis. “Definability in well quasi-ordered sets of structures” The journal of symbolic logic. Vol. 42. Number 2, 1977 página 289-291

Jon Barwise. “On Moschovakis closure ordinals” The journal of symbolic logic. Vol. 42. Number 2, 1977 página 292-296

Jan Mycielski. “A lattice of interpretability types of theories” The journal of symbolic logic. Vol. 42. Number 2, 1977 página 297-305

Dov M. Gabbay. “A new version of Beth sementics for intuitionistic logic” The journal of symbolic logic. Vol. 42. Number 2, 1977 página 306-308

THE JOURNAL OF SYMBOLIC LOGIC. VOL 42. Number 3. 1977.

Herman Dishkant. “Imbedding of the quantum logic in the model system of Brower” The journal of symbolic logic. Vol. 42. Number 3, 1977 página 321-328

C. P. Schnorr and P. Fuchs. “General random sequences and learnable sequences” The journal of symbolic logic. Vol. 42. Number 3, 1977 página 329-340

Malgorzata Dubiel. “Generalized quantifiers and elementary extensions of countable models” The journal of symbolic logic. Vol. 42. Number 3, 1977 página 341-348

Zofia Adamowicz. “On finite lattices ofdegrees of constructibility” The journal of symbolic logic. Vol. 42. Number 3, 1977 página 349-371

Andreas Blass. “Amalgamation of nonstandard models of arithmetic” The journal of symbolic logic. Vol. 42. Number 3, 1977 página 372-386

Andreas Blass. “Ramseys theorem in the hierarchy of choice principles” The journal of symbolic logic. Vol. 42. Number 3, 1977 página 387-390

S. K. Thomason. “Modal operators and functional competeness” The journal of symbolic logic. Vol. 42. Number 3, 1977 página 391-399

J. B. Remmel. “Maximal and cohesive vector spaces” The journal of symbolic logic. Vol. 42. Number 3, 1977 página 400-418

THE JOURNAL OF SYMBOLIC LOGIC. VOL 42. Number 4. 1977.

Iraj Kalantari and Allen Retzlaff. “Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spaces” The journal of symbolic logic. Vol. 42. Number 4, 1977 página 481-491

John Stewart Schlipf. “Ordinal spectra of first-order theories” The journal of symbolic logic. Vol. 42. Number 4, 1977 página 492-505

Harvey Friedman. “On the derivability of instantiation properties” The journal of symbolic logic. Vol. 42. Number 4, 1977 página 506-514

Petr Hájek. “Experimental logics and II therries” The journal of symbolic logic. Vol. 42. Number 4, 1977 página 515-522

J. M. Henle. “Some consequences of an infinite-exponent partition relation” The journal of symbolic logic. Vol. 42. Number 4, 1977 página 523-526

M. W. Bunder. “Consistency notions in illative combinatory logic” The journal of symbolic logic. Vol. 42. Number 4, 1977 página 527-529

C. Smorynski. “On axiomatizing fragments” The journal of symbolic logic. Vol. 42. Number 4, 1977 página 530-544

Robert I. Soare. “Computational complexity, speedable and levelable sets” The journal of symbolic logic. Vol. 42. Number 4, 1977 página 545-563

H. C. M. de Swart. “An intuitionistically plausible interpretation of intuionistic logic” The journal of symbolic logic. Vol. 42. Number 4, 1977 página 564-578

THE JOURNAL OF SYMBOLIC LOGIC. VOL 43. Number 1. 1978.

M. W. Bunder and R. K. Meyer. “On the inconsistency of systems similar to F21*” The journal of symbolic logic. Vol. 43. Number 1, 1978 página 1-2

H. de Swart. “First steps in intuitionistic model theory” The journal of symbolic logic. Vol. 43. Number 1, 1978 página 3-12

Richard A. Shore. “Controlling the dependence degree of a recursively enumerable vector space” The journal of symbolic logic. Vol. 43. Number 1, 1978 página 13-22

Nicolas D. Goodman. “Relativized realizability in intuitionistic arithmetic of all finite types” The journal of symbolic logic. Vol. 43. Number 1, 1978 página 23-44

Henk Barendregt, Jan Bergstra, Jan Willem Klop and Henri Volken. “Degrees of sensible lambda theories” The journal of symbolic logic. Vol. 43. Number 1, 1978 página 45-55

R. Bednarek and S. M. Ulam. “Projective algebra and the calculus of relations” The journal of symbolic logic. Vol. 43. Number 1, 1978 página 56-64 A. Kenneth Kunen. “Saturated ideals” The journal of symbolic logic. Vol. 43. Number 1, 1978 página 65-76

Robert A. Van Wesep. “Separation principles and the axiom of determinateness” The journal of symbolic logic. Vol. 43. Number 1, 1978 página 77-81

Michael F. Singer. “The model theory ordered differential fiels” The journal of symbolic logic. Vol. 43. Number 1, 1978 página 82-91

Bruce I. Rose. “Rings which admit elimination of quantifiers” The journal of symbolic logic. Vol. 43. Number 1, 1978 página 92-112

J. B. Paris. “Note on an induction axiom” The journal of symbolic logic. Vol. 43. Number 1, 1978 página 113-117

W. Buchholz and W. Pohlers. “Provable wellorderings of formal teories for transfinitely iterated inductive definitions” The journal of symbolic logic. Vol. 43. Number 1, 1978 página 118-125

D. Saracino. “Existentially complete torsion-free nilpotent groups” The journal of symbolic logic. Vol. 43. Number 1, 1978 página 126-134

Stephen G. Simpson. “Sets which do not have subsets of every higher degree” The journal of symbolic logic. Vol. 43. Number 1, 1978 página 135-138

THE JOURNAL OF SYMBOLIC LOGIC. VOL 43. Number 2. 1978.

W. Pohlers. “Ordinals conneted formal theories for transfinitely iterated inductive definitions” The journal of symbolic logic. Vol. 43. Number 2, 1978 página 161-182

John Stewart Schlipf. “Toward mopdel theory through recursive saturation” The journal of symbolic logic. Vol. 43. Number 2, 1978 página 183-206

Alan Rose. “Formalisations of further valued Lukasiewicz Propositional calculi” The journal of symbolic logic. Vol. 43. Number 2, 1978 página 207-210

George F. Schumm. “An incomplete nonnormal extension of S3” The journal of symbolic logic. Vol. 43. Number 2, 1978 página 211-212

Michael Beeson. “A TYPE- FREE Godel interpretation” The journal of symbolic logic. Vol. 43. Number 2, 1978 página 213-227

Michael Beeson. “Some relations between classical and constructive mathematics” The journal of symbolic logic. Vol. 43. Number 2, 1978 página 228-246

Jonathan P. Seldin. “Some anomalies in Fitchs system QD” The journal of symbolic logic. Vol. 43. Number 2, 1978 página 247-249

Bruce I. Rose. “The categoricity of strictly upper triangular matrix rings over algebraically closed fields” The journal of symbolic logic. Vol. 43. Number 2, 1978 página 250-259

Allen Retzlaff. “Simple and hyperhypersimple vetor spaces” The journal of symbolic logic. Vol. 43. Number 2, 1978 página 260-269

Wolfgang Maass. “The uniform regular set theorem in recursion theory” The journal of symbolic logic. Vol. 43. Number 2, 1978 página 270-279

D. Posner and R. Epstein. “Diagonalization in degree constructions” The journal of symbolic logic. Vol. 43. Number 2, 1978 página 280-283

F. Galvin, T. Jech and M. Magidor. “An ideal game” The journal of symbolic logic. Vol. 43. Number 2, 1978 página 284-292

Iraj Kalantari. “Major subspaces of recursively enumerable vector spaces” The journal of symbolic logic. Vol. 43. Number 2, 1978 página 293-303

Kim B. Bruce. “Ideal models and some not so ideal problems in the model theory of L (Q)” The journal of symbolic logic. Vol. 43. Number 2, 1978 página 304-321

Richard A. Shore. “Nowhere simple sets and the lattice of recursively enumerable sets” The journal of symbolic logic. Vol. 43. Number 2, 1978 página 322-330

Julia F. Knight. “An inelastic model with indiscernibles” The journal of symbolic logic. Vol. 43. Number 2, 1978 página 331-334

James P, Jones. “Theree universal representations of recursively enumerable sets” The journal of symbolic logic. Vol. 43. Number 2, 1978 página 335-351

Ayda I. Arruda, Francisco Miró Quesada, Newton C. A. Da Costa and Rolando Chuaqui. “Meeting of the Association for Symbolic Logic, CAMPINAS, Brazil, 1976” The journal of symbolic logic. Vol. 43. Number 2, 1978 página 352-364

THE JOURNAL OF SYMBOLIC LOGIC. VOL 43. Number 3. 1978.

Julia F. Knight. “Prime and atomic models” The journal of symbolic logic. Vol. 43. Number 3, 1978 página 385-393

C. A. DiPrisco and J. Henle. “On the compactness” The journal of symbolic logic. Vol. 43. Number 3, 1978 página 394-401

William H. Wheeler. “A characterization of companionable, universal theories” The journal of symbolic logic. Vol. 43. Number 3, 1978 página 402-429

J. Remmel. “A r-maximal vector space not contained in any maximal vector space” The journal of symbolic logic. Vol. 43. Number 3, 1978 página 430-441

Robert E. Woodrow. “Theories with a finite number of countable models” The journal of symbolic logic. Vol. 43. Number 3, 1978 página 442-455

Anne Leggett. “- Degrees of maximal sets” The journal of symbolic logic. Vol. 43. Number 3, 1978 página 456-474

Saharon Shelah. “On the number of minimal models” The journal of symbolic logic. Vol. 43. Number 3, 1978 página 475-480

H. Jerome Keisler. “The stability function of a theory” The journal of symbolic logic. Vol. 43. Number 3, 1978 página 481-486

Dag Normann. “A continuos functional with noncollapsing hierarchy” The journal of symbolic logic. Vol. 43. Number 3, 1978 página 487-491

Anand Pillay. “Number of countable models” The journal of symbolic logic. Vol. 43. Number 3, 1978 página 492-496

Nicolas D. Goodman. “The nonconstructive content of sentences of arithmetic” The journal of symbolic logic. Vol. 43. Number 3, 1978 página 497-501

Alexander S. Kechris. “Minimal upper bounds for sequences of degrees” The journal of symbolic logic. Vol. 43. Number 3, 1978 página 502-507

Nigel Cutland. “Compactness in languages stronger than” The journal of symbolic logic. Vol. 43. Number 3, 1978 página 508-520

Jon Barwise and Yiannis N. Moschovakis. “Global inductive definability” The journal of symbolic logic. Vol. 43. Number 3, 1978 página 521-534

Ruggero Ferro. “Interpolation theorems for” The journal of symbolic logic. Vol. 43. Number 3, 1978 página 535-549

Saharon Shelah. “End extensions and numbers of countable models” The journal of symbolic logic. Vol. 43. Number 3, 1978 página 550-562

George Mills. “A model of Peano arithmetic with no elementary end extension” The journal of symbolic logic. Vol. 43. Number 3, 1978 página 563-567

John P. Burgess. “On the Hanf number of Souslin logics” The journal of symbolic logic. Vol. 43. Number 3, 1978 página 568-571

Fred G. Abramson and Leo A. Harrington. “Models without indiscernibles” The journal of symbolic logic. Vol. 43. Number 3, 1978 página 572-600

Harold T. Hodes. “Uniform upper bounds on ideals of turing degrees” The journal of symbolic logic. Vol. 43. Number 3, 1978 página 601-612

Stephen C. Kleene. “An addendum to “The work of Kurt Godel”” The journal of symbolic logic. Vol. 43. Number 3, 1978 página 613

Carl G. Jockusch, Jr., Robert I. Soare, William Tait and Gaisi Takeuti. “Meeting of the Association for Symbolic Logic, Chicago, 1977” The journal of symbolic logic. Vol. 43. Number 3, 1978 página 614-619 THE JOURNAL OF SYMBOLIC LOGIC. VOL 43. Number 4. 1978.

Ko-Wei Lih. “Type two partial degrees” The journal of symbolic logic. Vol. 43. Number 4, 1978 página 623-629

Alexander S. Kechris. “The perfect set theorem and definable wellorderings of the continuum” The journal of symbolic logic. Vol. 43. Number 4, 1978 página 630-634

Petr Stepánek. “Cardinal collapsing and ordinal definability” The journal of symbolic logic. Vol. 43. Number 4, 1978 página 635-642

Jonathan P. Seldin. “A sequent calculñus formulation of type assignment with equality rules for the calculus” The journal of symbolic logic. Vol. 43. Number 4, 1978 página 643-649

Joram Hirschfeld. “Examples in the theory of existential completeness” The journal of symbolic logic. Vol. 43. Number 4, 1978 página 650-658

Judy Green. “Suslin logic” The journal of symbolic logic. Vol. 43. Number 4, 1978 página 659-666

Martin K. Solomon. “Some results on measure independent Golden speed- ups” The journal of symbolic logic. Vol. 43. Number 4, 1978 página 667-672

Paul E. Howard, Arthur L. Rubin ansd Jean E. Rubin. “Independence results for class forms of the axiom of choice” The journal of symbolic logic. Vol. 43. Number 4, 1978 página 673-684

Leo Harrington. “Analytic determinacy and 0” The journal of symbolic logic. Vol. 43. Number 4, 1978 página 685-693

Nancy Johnson. “Classifications of generalized index sets of open classes” The journal of symbolic logic. Vol. 43. Number 4, 1978 página 694-714

Carl G. Jockusch, Jr. and David B. Posner. “Double jumps of minimal degrees” The journal of symbolic logic. Vol. 43. Number 4, 1978 página 715-724

J. B. Paris. “Some independence results for Peano arithmetic” The journal of symbolic logic. Vol. 43. Number 4, 1978 página 725-731

THE JOURNAL OF SYMBOLIC LOGIC. VOL 44. Number 1. 1979.

J. F. A. K. Van Benthem. “Canonical modal logics and ultrafilter extensions” The journal of symbolic logic. Vol. 44. Number 1, 1979 página 1-8

Douglas E. Miller. “An application of invariant sets to global definability” The journal of symbolic logic. Vol. 44. Number 1, 1979 página 9-14

H. J. Keisler. “La (F)” The journal of symbolic logic. Vol. 44. Number 1, 1979 página 15- 28

Douglas E. Miller. “On classes closed under unions of chains” The journal of symbolic logic. Vol. 44. Number 1, 1979 página 29-31

Nobuyoshi Motohashi. “A remark on Africks paper on Scotts interpolation theorem for Lw1w” The journal of symbolic logic. Vol. 44. Number 1, 1979 página 32

George Boolos. “Reflection principles and iterated consistency assertions” The journal of symbolic logic. Vol. 44. Number 1, 1979 página 33-35

Stephen A. Cook and Robert A. Reckhow. “The relative efficiency of propositional proof systems” The journal of symbolic logic. Vol. 44. Number 1, 1979 página 36-50

Keith J. Devlin. “Variations on” The journal of symbolic logic. Vol. 44. Number 1, 1979 página 51-58

Manuel Lerman and James H. Schmerl. “Theories with recursive models ” The journal of symbolic logic. Vol. 44. Number 1, 1979 página 59-76

Steven Gravaglia. “Direct product decomposition of theories of modules” The journal of symbolic logic. Vol. 44. Number 1, 1979 página 77-88

K.-P. Podewski and Joachim Reineke. “Algebraically closed commutative local rings” The journal of symbolic logic. Vol. 44. Number 1, 1979 página 89-94

Sy D. Friedman. “HC of an admissible set” The journal of symbolic logic. Vol. 44. Number 1, 1979 página 95-102

Carl F. Morgenstern. “The measure quantifier” The journal of symbolic logic. Vol. 44. Number 1, 1979 página 103-108

Bruce I. Rose. “Corrigendum: “Rings which admit elimination of quantifiers”” The journal of symbolic logic. Vol. 44. Number 1, 1979 página 109-110

Wolfgang Schonfeld. “An undecidability result for relation algebras” The journal of symbolic logic. Vol. 44. Number 1, 1979 página 111-115

THE JOURNAL OF SYMBOLIC LOGIC. VOL 44. Number 2. 1979.

John Cowles. “The relative expressive power of some logics extending first-order logic” The journal of symbolic logic. Vol. 44. Number 2, 1979 página 129-146

Judy Green. “Some model theory for game logics” The journal of symbolic logic. Vol. 44. Number 2, 1979 página 147-152

George Loullis. “Sheaves and Boolean valued model theory” The journal of symbolic logic. Vol. 44. Number 2, 1979 página 153-183

Michal Krynicki and Alistair H. Lachlan. “On the semantics of the Henkin quantifier” The journal of symbolic logic. Vol. 44. Number 2, 1979 página 184-200

Kit Fine. “Failures of the interpolation lemma in quantified modal logic” The journal of symbolic logic. Vol. 44. Number 2, 1979 página 201-206

Michael J. Carroll. “Reduction to first degree in quantificational S5” The journal of symbolic logic. Vol. 44. Number 2, 1979 página 207-214

Sharon Selah. “On uniqueness of prime models” The journal of symbolic logic. Vol. 44. Number 2, 1979 página 215-220

Luis E. Sanchis. “Reducibilities in two models for combinatory logic” The journal of symbolic logic. Vol. 44. Number 2, 1979 página 221-234

Phokion G. Kolaitis. “Recursion in a quantifier vs. elementary induction” The journal of symbolic logic. Vol. 44. Number 2, 1979 página 235-259

William Mitchell. “Ramsey cardinals and constructibility” The journal of symbolic logic. Vol. 44. Number 2, 1979 página 260-266

D. A. Turner. “Another algorithm for bracket abstraction” The journal of symbolic logic. Vol. 44. Number 2, 1979 página 267-270

THE JOURNAL OF SYMBOLIC LOGIC. VOL 44. Number 3. 1979.

Victor Harnik. “Refinements of Vaughts normal form theorem” The journal of symbolic logic. Vol. 44. Number 3, 1979 página 289-306

Terrence S. Miller. “A complete decidable theory with two decidable models” The journal of symbolic logic. Vol. 44. Number 3, 1979 página 307-312

Michael L. Wage. “Almost disjoint sets and Martins axiom” The journal of symbolic logic. Vol. 44. Number 3, 1979 página 313-318

Saharon Shelah. “Hanf number of omitting type for simple first- order theories” The journal of symbolic logic. Vol. 44. Number 3, 1979 página 319-324

Helmut Schwichtenberg. “On bar recursion of types 0 and 1” The journal of symbolic logic. Vol. 44. Number 3, 1979 página 325-329

Daniel Lascar and Bruno Poizat. “An introduction to forking” The journal of symbolic logic. Vol. 44. Number 3, 1979 página 330-350

Warren D. Goldfarb. “Logic in the twenties: the nature of the quantifier” The journal of symbolic logic. Vol. 44. Number 3, 1979 página 351-368

Hughes Leblanc and Bas C. Van Fraassen. “On carnap and popper probability funtions” The journal of symbolic logic. Vol. 44. Number 3, 1979 página 369-373

Fred G. Abramson. “Separation” The journal of symbolic logic. Vol. 44. Number 3, 1979 página 374-382

G. Metakides and J. B. Remmel. “Recursion theory on orderings. I. A. model theoretic setting” The journal of symbolic logic. Vol. 44. Number 3, 1979 página 383-402

Charles Landraitis. “”A combinatorial property of the homomorphism relation between countable order types The journal of symbolic logic. Vol. 44. Number 3, 1979 página 403-411

Carol Wood. “Notes on the stability of separably closed field” The journal of symbolic logic. Vol. 44. Number 3, 1979 página 412-416

Gaisi Takeuti. “A transfer principle in harmonic analysis” The journal of symbolic logic. Vol. 44. Number 3, 1979 página 417-440

Leszek Pacholski. “European meeting of the Association for Symbolic Logic, Wroclaw 1997” The journal of symbolic logic. Vol. 44. Number 3, 1979 página 441

John Addison, Jon Barwise, H. Jerome Keisler, Kenneth Kunen, and Yiannis N. Moschovakis. “The Kleene symposium and the summer meeting of the Association for Symbolic Logic, Madison 1978” The journal of symbolic logic. Vol. 44. Number 3, 1979 página 469

THE JOURNAL OF SYMBOLIC LOGIC. VOL 44. Number 4. 1979.

Yuri Gurevich. “Modest theory of short chains .I.” The journal of symbolic logic. Vol. 44. Number 4, 1979 página 481-490

Yuri Gurevich and Saharon Shelah. “Modest theory of short chains .II.” The journal of symbolic logic. Vol. 44. Number 4, 1979 página 491-502

D. A. Martin and W. Mitchell. “Ion the ultrafilter of closed, unbounded sets” The journal of symbolic logic. Vol. 44. Number 4, 1979 página 503-506

Matt Kaufmann. “A new omitting types theorem for L(Q)” The journal of symbolic logic. Vol. 44. Number 4, 1979 página 507-521

Saharon Shelah and Martin Ziegler. “Algebraically closed groups of large cardinality” The journal of symbolic logic. Vol. 44. Number 4, 1979 página 522-532

J. B. Remmel. “R- maximal Boolean algebras” The journal of symbolic logic. Vol. 44. Number 4, 1979 página 533-548

Carl F. Morgenstern. “On amalgamations of languages with Magidor- Malitz quantifiers” The journal of symbolic logic. Vol. 44. Number 4, 1979 página 549-558

S. Shelah. “Weakly compact cardinals: A combinatorial proof”” The journal of symbolic logic. Vol. 44. Number 4, 1979 página 559-562

Carl F. Morgenstern. “On the ordering of certain large cardinals” The journal of symbolic logic. Vol. 44. Number 4, 1979 página 563-565

John P. Burgess. “Logic and time” The journal of symbolic logic. Vol. 44. Number 4, 1979 página 566-582

Kenneth L. Manders. “The theory of all substructures of a structure: Characterization and decision problems” The journal of symbolic logic. Vol. 44. Number 4, 1979 página 583-598

John T. Baldwin. “Stability theory and algebra” The journal of symbolic logic. Vol. 44. Number 4, 1979 página 599-608

Iraj Kalantari and Allen Retzlaff. “Recursive constructions in topological spaces” The journal of symbolic logic. Vol. 44. Number 4, 1979 página 609-625

A. H. Lachlan. “Bounding minimal pairs” The journal of symbolic logic. Vol. 44. Number 4, 1979 página 626-642

Werner Stegbauer. “A generalized model companion for a theory of partially ordered fields” The journal of symbolic logic. Vol. 44. Number 4, 1979 página 643-652

T. G. McLaughlin. “Meeting of the Association for Symbolic Logic, Houston Texas, 1978” The journal of symbolic logic. Vol. 44. Number 4, 1979 página 660-664

THE JOURNAL OF SYMBOLIC LOGIC. VOL 45. Number 1. 1980.

T. Jech, Magidor, W. Mitchell and K. Prikry. “Precipitous ideals” The journal of symbolic logic. Vol. 45. Number 1, 1980 página 1-8

David Guaspari. “Definability in models of set theory” The journal of symbolic logic. Vol. 45. Number 1, 1980 página 9-19

J. Remmel. “On r.e. and co-r.e. vector spaces with nonextendible bases” The journal of symbolic logic. Vol. 45. Number 1, 1980 página 20-34

Victor Harnik. “Game sentences, recursive saturation and definability” The journal of symbolic logic. Vol. 45. Number 1, 1980 página 35-46

J. Mead and G. C. Nelson. “Model companions and k-model completeness for the complete theories of Boolean algebras” The journal of symbolic logic. Vol. 45. Number 1, 1980 página 47-55

Saharon Shelah. “A note on cardinal exponentiation” The journal of symbolic logic. Vol. 45. Number 1, 1980 página 56-66

Masahiko Sato. “A cut-free Gentzen-type system for the modal logic S5” The journal of symbolic logic. Vol. 45. Number 1, 1980 página 67-84

James E. Baumgartner. “Chains and antichains in P (w)” The journal of symbolic logic. Vol. 45. Number 1, 1980 página 85-92

Joram Hirschfeld. “Finite forcing, existential types and complete types” The journal of symbolic logic. Vol. 45. Number 1, 1980 página 93-102

J. V. Tucker. “Computability and the algebra of fields: Some affine constructions” The journal of symbolic logic. Vol. 45. Number 1, 1980 página 103-120

Alfred B. Manaster and Joseph G. Rosenstein. “Two- dimensional partial orderings: Recursive model theory” The journal of symbolic logic. Vol. 45. Number 1, 1980 página 121-132

Alfred B. Manaster and Joseph G. Rosenstein. “Two- dimensional partial orderings: Undecidability” The journal of symbolic logic. Vol. 45. Number 1, 1980 página 133-143

Larry Manevitz and Johathan Stavi. “Operators and alternating sentences in arithmetic” The journal of symbolic logic. Vol. 45. Number 1, 1980 página 144-154

Steven Garavaglia. “Decomposition of totally transcendental modules” The journal of symbolic logic. Vol. 45. Number 1, 1980 página 155-164

Corrado Bohn and Silvio Micali. “Minimal forms in calculus computations” The journal of symbolic logic. Vol. 45. Number 1, 1980 página 165-171

W. Richard Stark. “Martins axiom in the model theory of La” The journal of symbolic logic. Vol. 45. Number 1, 1980 página 172-176

THE JOURNAL OF SYMBOLIC LOGIC. VOL 45. Number 2. 1980.

John Bacon. “Substance and first-oder quantification over individual-concepts” The journal of symbolic logic. Vol. 45. Number 2, 1980 página 193-203

Harold T. Hodes. “Jumping through the transfinite: the master code hierarchy of Turing degreews” The journal of symbolic logic. Vol. 45. Number 2, 1980 página 204-220

W. J. Blok. “The lattice of modal logics: an algebraic investigation” The journal of symbolic logic. Vol. 45. Number 2, 1980 página 221-236

Richard Gostanian. “Constructible models of subsystems of ZF” The journal of symbolic logic. Vol. 45. Number 2, 1980 página 237-250

Aaron Beller and Ami Litman. “A strengthening of Jensens principles” The journal of symbolic logic. Vol. 45. Number 2, 1980 página 251-264

Matatyahu Rubimn and Saharon Shelah. “On the elementary equivalence of automorphism groups of Boolean algebras; downward Skolem Lowenheim theorems and compactness of related quantifiers” The journal of symbolic logic. Vol. 45. Number 2, 1980 página 265-283

Lee Badger. “Beths property fails in L” The journal of symbolic logic. Vol. 45. Number 2, 1980 página 284-290

Gregory Cherlin. “On – categorical nilrings. II.” The journal of symbolic logic. Vol. 45. Number 2, 1980 página 291-301

Anand Pillay. “Theories with exactly three countable models and theories with algebraic prime models” The journal of symbolic logic. Vol. 45. Number 2, 1980 página 302-310

Roger Maddux. “The equational theory of CA3 is undecidable” The journal of symbolic logic. Vol. 45. Number 2, 1980 página 311-316

J. B. Remmel. “Recursion theory on orderings” The journal of symbolic logic. Vol. 45. Number 2, 1980 página 317-333

Wolfgang Thomas. “On the bounded monadic theory of well – ordered structures” The journal of symbolic logic. Vol. 45. Number 2, 1980 página 334-338

Hirokazu Nishimura. “Sequential method in quantum logic” The journal of symbolic logic. Vol. 45. Number 2, 1980 página 339-352

Viggo Stoltenberg-Hansen. “On computational complexity in weakly admissible structures” The journal of symbolic logic. Vol. 45. Number 2, 1980 página 353-358

Chris Ash and John Rosenthal. “Some theories associated with algebraically closed fields” The journal of symbolic logic. Vol. 45. Number 2, 1980 página 359-362

Daniel Leivant. “Innocuous substitutions” The journal of symbolic logic. Vol. 45. Number 2, 1980 página 363-368

THE JOURNAL OF SYMBOLIC LOGIC. VOL 45. Number 3. 1980.

Victor L. Bennison. “Recursively enumerable complexity sequences and measure independence” The journal of symbolic logic. Vol. 45. Number 3, 1980 página 417-438

Kim B. Bruce. “Model constructions in stationary logic. Part I Forcing” The journal of symbolic logic. Vol. 45. Number 3, 1980 página 439-454

William H. Wheeler. “Model theory of strictly upper triangular matrix rings” The journal of symbolic logic. Vol. 45. Number 3, 1980 página 455-463

Hilary Putnam. “Models and reality” The journal of symbolic logic. Vol. 45. Number 3, 1980 página 464-482

René David. “A result of relative consistency about the predicative WO” The journal of symbolic logic. Vol. 45. Number 3, 1980 página 483-492

W. A. Howard. “Ordinal analysis of terms of finite type” The journal of symbolic logic. Vol. 45. Number 3, 1980 página 493-504

Saharon Shelah. “Independence of strong partition relation for small cardinals, and the free-subset problem” The journal of symbolic logic. Vol. 45. Number 3, 1980 página 505-509

Daniel E. Cohen. “Degree problems for modular machines” The journal of symbolic logic. Vol. 45. Number 3, 1980 página 510-528

Frederic B. Fitch. “A consistent combinatory logic with an inverse to equality” The journal of symbolic logic. Vol. 45. Number 3, 1980 página 529-543

Wilfrid Hodges. “Constructing pure injective hulls” The journal of symbolic logic. Vol. 45. Number 3, 1980 página 544-548

Dag Normann and Stan S. Wainer. “The 1-section of a countable functional” The journal of symbolic logic. Vol. 45. Number 3, 1980 página 549-562

Saharon Shelah. “Independence results” The journal of symbolic logic. Vol. 45. Number 3, 1980 página 563-573

Sabine Koppelberg. “Cardinalities of ultraproducts of finite sets” The journal of symbolic logic. Vol. 45. Number 3, 1980 página 574-584

James H. Schmerl. “Decidability and categoricity of partially ordered sets” The journal of symbolic logic. Vol. 45. Number 3, 1980 página 585-611

Mark Nadel. “On a problem of MacDowell and Specker” The journal of symbolic logic. Vol. 45. Number 3, 1980 página 612-622

Mitchell Spector. “A measurable cardinal with a nonwellfounded ultraproduct” The journal of symbolic logic. Vol. 45. Number 3, 1980 página 623-628

THE JOURNAL OF SYMBOLIC LOGIC. VOL 45. Number 4. 1980.

“Editorial note” The journal of symbolic logic. Vol. 45. Number 4, 1980 página 641-642

“Index of contributed papers” The journal of symbolic logic. Vol. 45. Number 4, 1980 página 643-668

“Index of abstracts” The journal of symbolic logic. Vol. 45. Number 4, 1980 página 669- 705

“Index of reviews by subjects” The journal of symbolic logic. Vol. 45. Number 4, 1980 página 707-803

“List of officers and members of the Association for Symbolic Logic” The journal of symbolic logic. Vol. 45. Number 4, 1980 página 805-833

THE JOURNAL OF SYMBOLIC LOGIC. VOL 46. Number 1. 1981.

Erik Ellentuck. “Hyper- torre isols” The journal of symbolic logic. Vol. 46. Number 1, 1981 página 1-5

Ándre Boileau and André Joyal. “La logique des topos” The journal of symbolic logic. Vol. 46. Number 1, 1981 página 6-16

W. A. Howard. “Ordinal analysis of simple cases of bar recursion” The journal of symbolic logic. Vol. 46. Number 1, 1981 página 17-30

Mitchell Spector. “The k-closed unbounded filter and supercompact cardinals” The journal of symbolic logic. Vol. 46. Number 1, 1981 página 31-40

John R. Steel. “Determinateness and the separation property” The journal of symbolic logic. Vol. 46. Number 1, 1981 página 41-44

Barbara Veit. “A proof of the associated sheaf theorem by means of categorical logic” The journal of symbolic logic. Vol. 46. Number 1, 1981 página 45-55

Chantal Berline. “Rings which admit elimination of quantifiers” The journal of symbolic logic. Vol. 46. Number 1, 1981 página 56-58

A. Kanamori. “On P- points over a measurable cardinal” The journal of symbolic logic. Vol. 46. Number 1, 1981 página 59-66

Frederic B. Fitch. “The consistency of system Q” The journal of symbolic logic. Vol. 46. Number 1, 1981 página 67-76

John T. Kearnes. “Modal semantics of semantics without possible worlds” The journal of symbolic logic. Vol. 46. Number 1, 1981 página 77-86

E. G. K. López- Escobar. “On the interpolation theorem for the logic of constant domains” The journal of symbolic logic. Vol. 46. Number 1, 1981 página 87-88

Arthur W. Alter. “Changing cofinalities and infinite exponents” The journal of symbolic logic. Vol. 46. Number 1, 1981 página 89-95

Fred G. Abramson. “Locally countable models of separation” The journal of symbolic logic. Vol. 46. Number 1, 1981 página 96-100

James H. Schmerl. “Decidability and finite axiomatizability of theorems categorical partially ordered sets” The journal of symbolic logic. Vol. 46. Number 1, 1981 página 101-120

W. Gielen, H. de Swart and W. Veldman. “The continuum hypothesisin intuitionism” The journal of symbolic logic. Vol. 46. Number 1, 1981 página 121-136-

Bruno Poizat. “Sous - groupes définissables d un group estable” The journal of symbolic logic. Vol. 46. Number 1, 1981 página 137-146

Andreas Blass. “Some initial segments of the Rudin - Keisler ordering” The journal of symbolic logic. Vol. 46. Number 1, 1981 página 147-157

THE JOURNAL OF SYMBOLIC LOGIC. VOL 46. Number 2. 1981.

Dag Normann. “Countable functionals and the projective hierarchy” The journal of symbolic logic. Vol. 46. Number 2, 1981 página 209-215

Robert A. Di Paola. “A lift of a theorem of Friedberg: A Banach- Mazur functional that coincides with no recursive functional on the class of recursive functions” The journal of symbolic logic. Vol. 46. Number 2, 1981 página 216-232

G. Charlwood. “An axiomatic version of positive semilattice relevance logic” The journal of symbolic logic. Vol. 46. Number 2, 1981 página 233-239

Daniel Leivant. “Implicational complexity in intuitionistic arithmetic” The journal of symbolic logic. Vol. 46. Number 2, 1981 página 240-248

Arthur W. Apter. “Measurability and degrees of strong compactness” The journal of symbolic logic. Vol. 46. Number 2, 1981 página 249-254

William S. Hatcher and Bernard R. Hodgson. “Complexity bounds on proofs” The journal of symbolic logic. Vol. 46. Number 2, 1981 página 255-258

C. Smorynski. “Recursively saturated nonstandard models of arithmetic” The journal of symbolic logic. Vol. 46. Number 2, 1981 página 259-286

Adam Krawczyk. “Patterns of projecta” The journal of symbolic logic. Vol. 46. Number 2, 1981 página 287-295

Yuzuru Kakuda. “On a condition for Cohen extensions which preserve precipitous ideals” The journal of symbolic logic. Vol. 46. Number 2, 1981 página 296-300

M. Makkai. “An example concerning Scott heights” The journal of symbolic logic. Vol. 46. Number 2, 1981 página 301-318

Michael C. Nagle. “The decidability of normal K5 logics” The journal of symbolic logic. Vol. 46. Number 2, 1981 página 319-328

C. Smorynski. “Calculating self-referential statements: Guaspari sentences of the first kind” The journal of symbolic logic. Vol. 46. Number 2, 1981 página 329-344

Saharon Shelah. “Canonization theorems and applications” The journal of symbolic logic. Vol. 46. Number 2, 1981 página 345-353

Warren D. Goldfarb. “On the Gödel class with identity” The journal of symbolic logic. Vol. 46. Number 2, 1981 página 354-364

Shizuo Kamo. “Nonstandard natural systems and nonstandard models” The journal of symbolic logic. Vol. 46. Number 2, 1981 página 365-376

Julia F. Knight. “Algebraic independence” The journal of symbolic logic. Vol. 46. Number 2, 1981 página 377-384

Peter la Roche. “Effective Galois theory” The journal of symbolic logic. Vol. 46. Number 2, 1981 página 385-392

Wlodzimierz Zadrozny. “A new inner model for ZFC” The journal of symbolic logic. Vol. 46. Number 2, 1981 página 393-396

Terrence Millar. “Vaughts theorem recursively revisited” The journal of symbolic logic. Vol. 46. Number 2, 1981 página 397-411

THE JOURNAL OF SYMBOLIC LOGIC. VOL 46. Number 3. 1981.

J. L. Bell. “Isomorphism of structures in S-toposes” The journal of symbolic logic. Vol. 46. Number 3, 1981 página 449-459

Robert R. Daley. “Busy beaver sets and the degrees of unsolvability” The journal of symbolic logic. Vol. 46. Number 3, 1981 página 460-474

R. D. Kopperman. “First-oder topological axioms” The journal of symbolic logic. Vol. 46. Number 3, 1981 página 475-489

Douglas E. Miller. “The metamathematics of model theory: Discovering language in action” The journal of symbolic logic. Vol. 46. Number 3, 1981 página 490-498

Pat Rogers. “Preservation of saturation and stability in a variety of nilpotent groups.” The journal of symbolic logic. Vol. 46. Number 3, 1981 página 499-512

Bruno Poizat. “Théories instables.” The journal of symbolic logic. Vol. 46. Number 3, 1981 página 513-522

Daniele Mundici. “An algebraic result about soft model theoretical equivalence relations with an application to H. Friedmans fourth problem” The journal of symbolic logic. Vol. 46. Number 3, 1981 página 523-530

Daniel Leivant. “On the proof theory of the modal logic for arithmetic provability” The journal of symbolic logic. Vol. 46. Number 3, 1981 página 531-538

J. C. E. Dekker. “Twilight graphs” The journal of symbolic logic. Vol. 46. Number 3, 1981 página 539-571

Jeffrey B. Remmel. “Recursive Boolean algebras with recursive atoms” The journal of symbolic logic. Vol. 46. Number 3, 1981 página 572-594

Jeffrey B. Remmel. “Recursively presented Abelian groups: Effective p-group theory. I.” The journal of symbolic logic. Vol. 46. Number 3, 1981 página 595-616

Charlotte Lin. “Recursively presented Abelian groups: Effective p- group theory. I.” The journal of symbolic logic. Vol. 46. Number 3, 1981 página 617-624

Jan Mycielski. “Analysis without actual infinity” The journal of symbolic logic. Vol. 46. Number 3, 1981 página 625-633

Jean-Yves Girard and Peter Pappinghaus. “A result on implications of sentences and its application to normal form theorems” The journal of symbolic logic. Vol. 46. Number 3, 1981 página 634-642

E. M. Kleinberg. “Producing measurable cardinals beyond” The journal of symbolic logic. Vol. 46. Number 3, 1981 página 643-648

W. V. Quine. “Predicate functors revisited” The journal of symbolic logic. Vol. 46. Number 3, 1981 página 649-652

Hao Wang. “Some facts about Kurt Gödel” The journal of symbolic logic. Vol. 46. Number 3, 1981 página 653-659

THE JOURNAL OF SYMBOLIC LOGIC. VOL 46. Number 4. 1981.

David B. Posner. “The upper semilattice by degrees O is complemented” The journal of symbolic logic. Vol. 46. Number 4, 1981 página 705- 713

David B. Posner and Robert W. Robinson. “Degrees joining to O” The journal of symbolic logic. Vol. 46. Number 4, 1981 página 714- 722

Linda Jean Richter. “Dregrees of structures” The journal of symbolic logic. Vol. 46. Number 4, 1981 página 723- 731

Andreas Blass. “The model of set theory generated by countably many generic reals” The journal of symbolic logic. Vol. 46. Number 4, 1981 página 732- 752

Harold T. Hodes. “Upper bounds on locally countable admissible initial segments of a Turing degree hierarchy” The journal of symbolic logic. Vol. 46. Number 4, 1981 página 753-760

Gregory L. Cherlin and Peter H. Schmitt. “Undecidable L theories of topological abelian groups” The journal of symbolic logic. Vol. 46. Number 4, 1981 página 761- 772

E. G. K. López- Escobar. “Equivalence between semantics for intuitionism. I.” The journal of symbolic logic. Vol. 46. Number 4, 1981 página 773-780

Alan H. Mekler. “Stability of nilpotent groups of class 2 and prime exponent” The journal of symbolic logic. Vol. 46. Number 4, 1981 página 781-788

Alfred B. Manaster and Jeffrey B. Remmel. “Partial orderings of fixed finite dimension: Model companions and density” The journal of symbolic logic. Vol. 46. Number 4, 1981 página 789-802

Alexander S. Kechris. “Forcing with perfect trees and minimal degrees” The journal of symbolic logic. Vol. 46. Number 4, 1981 página 803-816

William Weiss. “The equivalence of a generalized Martins axiom to a combinatorial principle” The journal of symbolic logic. Vol. 46. Number 4, 1981 página 817- 821

Howard Becker. “AD and the supercompactness of 1” The journal of symbolic logic. Vol. 46. Number 4, 1981 página 822- 842

Volker Weispfenning. “The model-theoretic significance of complemented existential formulas” The journal of symbolic logic. Vol. 46. Number 4, 1981 página 843- 850

Rick L. Smith. “Effective aspects of profinite groups” The journal of symbolic logic. Vol. 46. Number 4, 1981 página 851- 863

THE JOURNAL OF SYMBOLIC LOGIC. VOL 47. Number 1. 1982.

A. M. Dawes. “Splitting theorems for speed-up related to order of enumeration” The journal of symbolic logic. Vol. 47. Number 1, 1982 página 1-7

Richard A. Shore. “On homogeneity and definability in the first- order theory of the Turing degrees” The journal of symbolic logic. Vol. 47. Number 1, 1982 página 8-16

R. Statman. “Completeness, invariance and definability” The journal of symbolic logic. Vol. 47. Number 1, 1982 página 17-26

C. H. Applebaum. “An introduction to extensions of groups” The journal of symbolic logic. Vol. 47. Number 1, 1982 página 27-36

Uri Avraham and Saharon Shelah. “Forcing wich stable posets” The journal of symbolic logic. Vol. 47. Number 1, 1982 página 37-42

Thomas Jech. “On hereditarily countable sets” The journal of symbolic logic. Vol. 47. Number 1, 1982 página 43-47

Robert E. Byerly. “An invariance notion in recursion theory” The journal of symbolic logic. Vol. 47. Number 1, 1982 página 48-66

Robert E. Byerly. “Recursion theory and the lambda-calculus” The journal of symbolic logic. Vol. 47. Number 1, 1982 página 67-83

Julius B. Barbanel. “Supercompact cardinals, elementary embeddings and fixed points” The journal of symbolic logic. Vol. 47. Number 1, 1982 página 84-88

Julius B. Barbanel. “Supercompact cardinals and trees of normal ultrafilters” The journal of symbolic logic. Vol. 47. Number 1, 1982 página 89-109

Stal O. Aanderaa, Egon Borger and Harry R. Lewis. “Conservative reduction classes of Krom formulas” The journal of symbolic logic. Vol. 47. Number 1, 1982 página 110-130

Marcel Crabbeé. “On the consistency of a impredicative subsystem of Quines NF” The journal of symbolic logic. Vol. 47. Number 1, 1982 página 131-136

James M. Henle and William S. Zwicker. “Ultrafilters on spaces of partitions” The journal of symbolic logic. Vol. 47. Number 1, 1982 página 137-146

Anand Pillay. “Dimension theory and homogeneity for elementary extensions of a model” The journal of symbolic logic. Vol. 47. Number 1, 1982 página 147-160

E. M. Kleinberg. “A measure representation theorem for strong partition cardinals” The journal of symbolic logic. Vol. 47. Number 1, 1982 página 161-168

Iraj Kalantari and Anne Leggett. “Simplicity in effective topology” The journal of symbolic logic. Vol. 47. Number 1, 1982 página 169-183

E. G. K. López- Escobar. “Implicational logics in natural deduction systems” The journal of symbolic logic. Vol. 47. Number 1, 1982 página 184-186

Carl Morgenstern. “On generalized quantifiers in arithmetic” The journal of symbolic logic. Vol. 47. Number 1, 1982 página 187-190

George Boolos. “Extremely undecidable sentences” The journal of symbolic logic. Vol. 47. Number 1, 1982 página 191-196

THE JOURNAL OF SYMBOLIC LOGIC. VOL 47. Number 2. 1982.

Michael Stob. “Index sets and degrees of unsolvability” The journal of symbolic logic. Vol. 47. Number 2, 1982 página 241-248

Daniel Lascar. “On the category of models of a complete theory” The journal of symbolic logic. Vol. 47. Number 2, 1982 página 249-266

Britta Schinzel. “On decomposition of Gödelnumberings” The journal of symbolic logic. Vol. 47. Number 2, 1982 página 267-274

Arnold W. Miller. “The baire category theorem and cardinals of countable cofinality” The journal of symbolic logic. Vol. 47. Number 2, 1982 página 275-288

Charles Parsons. “Intensional logic in extensional language” The journal of symbolic logic. Vol. 47. Number 2, 1982 página 289-328

C. T. Chong. “Double jumps of minimal degrees over cardinals” The journal of symbolic logic. Vol. 47. Number 2, 1982 página 329-334

Jouko Vaananen. “Abstract logic and set theory. II. Large cardinals” The journal of symbolic logic. Vol. 47. Number 2, 1982 página 335-346

John R. Steell. “A classification of jump operators” The journal of symbolic logic. Vol. 47. Number 2, 1982 página 347-358 Vladimir Lifschitz. “Constructive assertions in a extension of classical mathematics” The journal of symbolic logic. Vol. 47. Number 2, 1982 página 259-387

Ashok Maitra. “A effective selection theorem” The journal of symbolic logic. Vol. 47. Number 2, 1982 página 388-394

Jan Terlouw. “On definition trees of ordinal recursive funtionals: Reduction of the recursion orders by means of type level raising” The journal of symbolic logic. Vol. 47. Number 2, 1982 página 395-402

Kenneth McAloon. “On the complexity of models of arithmetic” The journal of symbolic logic. Vol. 47. Number 2, 1982 página 403-415

L. A. S. Kirby. “Flipping properties in arithmetic” The journal of symbolic logic. Vol. 47. Number 2, 1982 página 416-422

James H. Schmerl and Stephen G. Simpson. “On the role of Ramsey quantifiers in first order arithmetic” The journal of symbolic logic. Vol. 47. Number 2, 1982 página 423- 435

THE JOURNAL OF SYMBOLIC LOGIC. VOL 47. Number 3. 1982.

Norman Feldman. “Axiomatization of polynomial substitution algebras” The journal of symbolic logic. Vol. 47. Number 3, 1982 página 481-492

C. Smorynsky. “Recursively saturated nonstandard models of arithmetic; addendum” The journal of symbolic logic. Vol. 47. Number 3, 1982 página 493- 494

Haim Gaifman and Marc Snir. “Probabilities over rich languages, testing and randomness” The journal of symbolic logic. Vol. 47. Number 3, 1982 página 495-548

James P. Jones. “Universal Diophantine equation” The journal of symbolic logic. Vol. 47. Number 3, 1982 página 549-571

John T. Balwin and Douglas E. Miller. “Some contributions to definability theory for languages with generalized quantifiers” The journal of symbolic logic. Vol. 47. Number 3, 1982 página 572-586

Julia Knight and Mark Nadel. “Expansions of models and turing degrees” The journal of symbolic logic. Vol. 47. Number 3, 1982 página 587-604

Douglas N. Hoover. “A normal form theorem for Lw1 with applications” The journal of symbolic logic. Vol. 47. Number 3, 1982 página 605-624

J. F. Pabion. “Saturated models of Peano arithmetic” The journal of symbolic logic. Vol. 47. Number 3, 1982 página 625-637

George Boolos. “On the nonexistence of certain normal forms in the logic of provebility” The journal of symbolic logic. Vol. 47. Number 3, 1982 página 638-640

Bruno Poizat. “Deux ou trois choses que je sais de Ln” The journal of symbolic logic. Vol. 47. Number 3, 1982 página 641-658

James F. Lynch. “On sets of relations definable by addition” The journal of symbolic logic. Vol. 47. Number 3, 1982 página 659-668

Walter Baur. “On the elementary theory of pairs of real closed fields. II.” The journal of symbolic logic. Vol. 47. Number 3, 1982 página 669-679

Jurg Schmid. “Model companions of distributive p- algebras” The journal of symbolic logic. Vol. 47. Number 3, 1982 página 680-688

THE JOURNAL OF SYMBOLIC LOGIC. VOL 47. Number 4. 1982.

Ulf R. Schmerl. “Iterated reflection principles and the w-rule” The journal of symbolic logic. Vol. 47. Number 4, 1982 página 721-733

Bruce I. Rose. “Preservation of elementary equivalence under scalar extention” The journal of symbolic logic. Vol. 47. Number 4, 1982 página 734-738

C. P. Farrington. “Constructible lattices of c- degrees” The journal of symbolic logic. Vol. 47. Number 4, 1982 página 739-754

Menachem Magidor. “Reflecting stationary sets” The journal of symbolic logic. Vol. 47. Number 4, 1982 página 755-771

Michael Katz. “Real-valued models with metric equality and uniformly continuous predicates” The journal of symbolic logic. Vol. 47. Number 4, 1982 página 772-792

John Bacon. “First-order logic based on inclusion and abstraction” The journal of symbolic logic. Vol. 47. Number 4, 1982 página 793-808

Wolfgang Maass. “Recursively enumerable generic sets” The journal of symbolic logic. Vol. 47. Number 4, 1982 página 809-823

Louise Hay and Douglas Miller. “A topological analog to the Rice-Shapiro index theorem” The journal of symbolic logic. Vol. 47. Number 4, 1982 página 824-832

Julia Knight and Mark Nadel. “Models of arithmetic and closed ideals” The journal of symbolic logic. Vol. 47. Number 4, 1982 página 833-840

Michael Parigot. “Théories d arbres” The journal of symbolic logic. Vol. 47. Number 4, 1982 página 841-853

S. B. Cooper. “Partial degrees and the density problem” The journal of symbolic logic. Vol. 47. Number 4, 1982 página 854-859

Galen Weitkamp. “Analytic sets having incomparable Kleene degrees” The journal of symbolic logic. Vol. 47. Number 4, 1982 página 860-868

E. P. Martin and R. K. Meyer. “Solution to the P-W problem” The journal of symbolic logic. Vol. 47. Number 4, 1982 página 869-887

Keith J. Devlin. “The combinatorial principle” The journal of symbolic logic. Vol. 47. Number 4, 1982 página 888-899

THE JOURNAL OF SYMBOLIC LOGIC. VOL 48. Number 1. 1983.

H. C. M. De Smart. “A Gentzen- or bethe- type system, a practical decision procedure and a constructive completenees proof for the counterfactual logics VC and VCS” The journal of symbolic logic. Vol. 48. Number 1, 1983 página 1-20

H. A. Kierstead and J. B. Remmel. “Indiscernibles and decidable models” The journal of symbolic logic. Vol. 48. Number 1, 1983 página 21-32

Mena-chem Magidor, Saharon Shelah and Jonathan Stavi. “On the standard part of nonstandard models of set theory” The journal of symbolic logic. Vol. 48. Number 1, 1983 página 33-38

G. P. Monro. “On generic extensions without the axiom of choice” The journal of symbolic logic. Vol. 48. Number 1, 1983 página 39-52

G. C. Nelson. “Logic of reduced power structures ” The journal of symbolic logic. Vol. 48. Number 1, 1983 página 53-59

Bruno Poizat. “Post-scriptum a Théories instables” The journal of symbolic logic. Vol. 48. Number 1, 1983 página 60-62

S. Feferman and G. Jager. “Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis” The journal of symbolic logic. Vol. 48. Number 1, 1983 página 63-70

William G. Fleissner. “Son of George and V= L” The journal of symbolic logic. Vol. 48. Number 1, 1983 página 71-77

A. J. Dodd. “Core models” The journal of symbolic logic. Vol. 48. Number 1, 1983 página 78-90

Stevo Todorcevic´. “Real functions on the family of all well – ordered subsets of a partially ordered sets” The journal of symbolic logic. Vol. 48. Number 1, 1983 página 91-96

Jean Porte. “Antitheses in systems of relevant implication” The journal of symbolic logic. Vol. 48. Number 1, 1983 página 97-99

Iraj Kalantari and Anne Leggett. “Maximality in effective topology” The journal of symbolic logic. Vol. 48. Number 1, 1983 página 100-112

Penelope Maddy. “Proper classes” The journal of symbolic logic. Vol. 48. Number 1, 1983 página 113-139

Chantal Berline and Gregory Cherlin. “QE rings in characteristic pn” The journal of symbolic logic. Vol. 48. Number 1, 1983 página 140-162

Anand Pillay. “A note on finitely generated models” The journal of symbolic logic. Vol. 48. Number 1, 1983 página 163-166

E. W. Madison. “The existence of countable totally nonconstructive extensions of the countable atomles Boolean algebra” The journal of symbolic logic. Vol. 48. Number 1, 1983 página 167-170

Terrence Millar. “Omitting types, type spectrums, and decidability” The journal of symbolic logic. Vol. 48. Number 1, 1983 página 171-181

Daniel Leivant. “The optimality of induction as an axiomatization of arithmetic” The journal of symbolic logic. Vol. 48. Number 1, 1983 página 182-184

C. T. Chong. “Hyperhypersimples supersets in admissible recursion theory” The journal of symbolic logic. Vol. 48. Number 1, 1983 página 185-192

Yuri Gurevich. “Decision problem for separated distributive lattices” The journal of symbolic logic. Vol. 48. Number 1, 1983 página 193-196

Elisabeth Bouscaren and Daniel Lascar. “Countable models of nonmultidimensional No- stable theories” The journal of symbolic logic. Vol. 48. Number 1, 1983 página 197-205

THE JOURNAL OF SYMBOLIC LOGIC. VOL 48. Number 2. 1983.

Patrick Dehornoy. “An application of ultrapowers to changing cofinality” The journal of symbolic logic. Vol. 48. Number 2, 1983 página 225-235

T. E. Forster. “Further consistency and independence results in NF obtained by the permutation method” The journal of symbolic logic. Vol. 48. Number 2, 1983 página 236-238

Bruno Poizat. “Paires de structures stables” The journal of symbolic logic. Vol. 48. Number 2, 1983 página 239-249

William S. Heck. “Large families of incomparable A-isols” The journal of symbolic logic. Vol. 48. Number 2, 1983 página 250-252

Henryk Kotlarsky. “On cofinal extensions of models of arithmetic” The journal of symbolic logic. Vol. 48. Number 2, 1983 página 253-262

Matt Kaufmann. “Set theory wich a filter quantifier” The journal of symbolic logic. Vol. 48. Number 2, 1983 página 263-287

Piergiorgio Odifreddi. “Forcing and reductibilities” The journal of symbolic logic. Vol. 48. Number 2, 1983 página 288-310

Roman Kossak. “A certain class of models of Peano arithmetic” The journal of symbolic logic. Vol. 48. Number 2, 1983 página 311-320

Robert E. Woodrow and Julia F. Knight. “A complete theory with arbitrarily large minimality ranks” The journal of symbolic logic. Vol. 48. Number 2, 1983 página 321- 328

William P. Hanf and Dale Myers. “Boolean sentence algebras: Isomorphism constructions” The journal of symbolic logic. Vol. 48. Number 2, 1983 página 329-338

Bruno Poizat. “Groupes stables, avec types génériques réguliers” The journal of symbolic logic. Vol. 48. Number 2, 1983 página 339-355

Stephen G. Simpson and Galen Weitkamp. “Higt and low Kleene degrees of coanalytic sets” The journal of symbolic logic. Vol. 48. Number 2, 1983 página 356-368

Dev Kumar Roy. “R. e. presented linear orders” The journal of symbolic logic. Vol. 48. Number 2, 1983 página 369-376

Elisabeth Bouscaren. “Countable models of multidimensional No-stable theories” The journal of symbolic logic. Vol. 48. Number 2, 1983 página 377-383

E. Bencivenga. “Compactness of a supervaluational language” The journal of symbolic logic. Vol. 48. Number 2, 1983 página 384-386

Yuri Gurevich, Menachem Magidor and Saharon Shelah. “The monadic theory of w2” The journal of symbolic logic. Vol. 48. Number 2, 1983 página 387-398

E. A. Cichon and S. S. Wainer. “The slow-growing and the Grzegorczyk hierarchies” The journal of symbolic logic. Vol. 48. Number 2, 1983 página 399-408

Ned I. Rosen. “A characterization of 2-square ultrafilters” The journal of symbolic logic. Vol. 48. Number 2, 1983 página 409-414

George Bealer. “Completeness in the theory of properties, relations, and propositions” The journal of symbolic logic. Vol. 48. Number 2, 1983 página 415-426

Kevin J. Compton. “Some useful preservation theorems” The journal of symbolic logic. Vol. 48. Number 2, 1983 página 427-440

Harold T. Hodes. “More about uniform upper bounds on ideals of Turing degrees” The journal of symbolic logic. Vol. 48. Number 2, 1983 página 441-457

John P. Hartley. “The countably based funtionals” The journal of symbolic logic. Vol. 48. Number 2, 1983 página 458-474

Kenneth Kune and Donald H. Pelletier. “On a combinatorial property of Menas related to the partition property for measures on supercompact cardinals” The journal of symbolic logic. Vol. 48. Number 2, 1983 página 475-481

THE JOURNAL OF SYMBOLIC LOGIC. VOL 48. Number 3. 1983.

Claudio Bernardi and Andrea Sorbi. “Classifying positive equivalence relations” The journal of symbolic logic. Vol. 48. Number 3, 1983 página 529-538

Libo Lo. “On the number of countable homogeneous models” The journal of symbolic logic. Vol. 48. Number 3, 1983 página 539-541

Matatyahu Rubin and Saharon Shelah. “On the expressibility hierarchy of Magidor- Malitz quantifiers” The journal of symbolic logic. Vol. 48. Number 3, 1983 página 542- 557

L. V. Shabunin. “On the interpretation of combinators with weak reduction” The journal of symbolic logic. Vol. 48. Number 3, 1983 página 558-563

J. B. Paris and C. Dimitracopoulos. “A note on the undefinability of cuts” The journal of symbolic logic. Vol. 48. Number 3, 1983 página 564-569

Philipp Rothmaler. “Some model theory of modules. I. On total transcendence of modules” The journal of symbolic logic. Vol. 48. Number 3, 1983 página 570-574

Arnold W. Miller. “Mapping a set of reals onto the reals” The journal of symbolic logic. Vol. 48. Number 3, 1983 página 575-584

Lefteris Miltiades Kirousis. “A selection theorem” The journal of symbolic logic. Vol. 48. Number 3, 1983 página 585-594

E. G. K. López-Escobar. “A second paper ‘On the interpolation theorem for the logic of constant domains’” The journal of symbolic logic. Vol. 48. Number 3, 1983 página 595- 599

William J. Mitchell. “Sets constructed from sequences of measures: Revisited” The journal of symbolic logic. Vol. 48. Number 3, 1983 página 600-609

Iraj Kalantari and J. B. Remmel. “Degrees of recursively enumerable topological spaces” The journal of symbolic logic. Vol. 48. Number 3, 1983 página 610-622

Julia F. Knight. “Additive structure in uncountable models for a fixed completion of P.” The journal of symbolic logic. Vol. 48. Number 3, 1983 página 623-628

D. Friedman. “Some recent developments in higher recursion theory” The journal of symbolic logic. Vol. 48. Number 3, 1983 página 629-642

Uri Abraham and Saharon Shelah. “Forcing closed unbounded sets” The journal of symbolic logic. Vol. 48. Number 3, 1983 página 643-657

Uri Abraham. “On forcing without the continuum hypothesis” The journal of symbolic logic. Vol. 48. Number 3, 1983 página 658-661

Robert E. Byerly. “Definability of r.e. sets in a class of recursion theoretic structures” The journal of symbolic logic. Vol. 48. Number 3, 1983 página 662-669

R. J. Grayson. “Forcing in intuitionistic systems without power-set” The journal of symbolic logic. Vol. 48. Number 3, 1983 página 670-682

Holger Eisenmenger. “Some local definability results on countable topological structures” The journal of symbolic logic. Vol. 48. Number 3, 1983 página 863-692

E. Herrmann. “Orbits of hyperhypersimple sets and the lattice of sets” The journal of symbolic logic. Vol. 48. Number 3, 1983 página 693-699

Libo Lo. “The theory for free groups is undecidable” The journal of symbolic logic. Vol. 48. Number 3, 1983 página 700-703

Petr Hájek. “Arithmetical interpretations of dynamic logic” The journal of symbolic logic. Vol. 48. Number 3, 1983 página 704-713

Matthew Foreman. “Games played on Boolean algebras” The journal of symbolic logic. Vol. 48. Number 3, 1983 página 714-723

Piergiorgio Odifreddi. “Forcing in fragments of analysis” The journal of symbolic logic. Vol. 48. Number 3, 1983 página 724-743

Hirokazu Nishimura. “Hauptsatz for higher-order modal logic” The journal of symbolic logic. Vol. 48. Number 3, 1983 página 744-751

Erik Ellentuck. “Incompatible extentions of combinatorial functions ” The journal of symbolic logic. Vol. 48. Number 3, 1983 página 752-755

Heinrich Rolletschek. “Closure properties of almost-finiteness classes in recursive function theory” The journal of symbolic logic. Vol. 48. Number 3, 1983 página 756-763

Stuart A. Kurtz. “Notions of weak genericity” The journal of symbolic logic. Vol. 48. Number 3, 1983 página 764-770

M. W. Bunder. “A weak absolute consistency proof for some systems of illative combinatory logic” The journal of symbolic logic. Vol. 48. Number 3, 1983 página 771- 776

David Guaspari. “Sentences implying their own provability” The journal of symbolic logic. Vol. 48. Number 3, 1983 página 777-789

Steven Homer. “Intermediate β-r. e. degrees and the Half-Jump” The journal of symbolic logic. Vol. 48. Number 3, 1983 página 790-796

Fred Richman. “Church’s thesis without tears” The journal of symbolic logic. Vol. 48. Number 3, 1983 página 797-803

W. F. Gross. “The inverse of a regressive object” The journal of symbolic logic. Vol. 48. Number 3, 1983 página 804-815

Yuri Gurevich and Saharon Shelah. “Interpreting seconf-order logic in the monadic theory of order 1” The journal of symbolic logic. Vol. 48. Number 3, 1983 página 816- 828

Jeanleah Mohrherr. “Kleene index sets and functional m-degrees” The journal of symbolic logic. Vol. 48. Number 3, 1983 página 829-840

J. L. Bell. “On the strength of the sikorski extension theorem for Boolean algebras” The journal of symbolic logic. Vol. 48. Number 3, 1983 página 841-846

Marcel Masseron. “Rungs and trees” The journal of symbolic logic. Vol. 48. Number 3, 1983 página 847-863

THE JOURNAL OF SYMBOLIC LOGIC. VOL 48. Number 4. 1983.

William J. Collins and Paul Young. “Discontinuities of provably correct operators on the provably recursive real numbers” The journal of symbolic logic. Vol. 48. Number 4, 1983 página 913-920

Michael Stob. “Wtt-degrees and T-degrees of r.e sets” The journal of symbolic logic. Vol. 48. Number 4, 1983 página 921-930

Henk Barendregt, Mario Coppo and Mariangiola Dezani- Ciancaglini. “A filter lambda model and the completeness of type assignment” The journal of symbolic logic. Vol. 48. Number 4, 1983 página 931-940

W. J. Blok and P. Kohler. “Algebraic semantics for quasi-classical modal logics” The journal of symbolic logic. Vol. 48. Number 4, 1983 página 941-964

Dag Normann. “Characterizing the continuous functionals” The journal of symbolic logic. Vol. 48. Number 4, 1983 página 965-969

Philipp Rothmaler. “Some model theory of modules. II. On stability and categoricity of flat modules” The journal of symbolic logic. Vol. 48. Number 4, 1983 página 970-985

Vítezslav Svejdar. “Modal analysis of generalized Rosser sentences” The journal of symbolic logic. Vol. 48. Number 4, 1983 página 986-999

Michael Sheard. “Indecomposable ultrafilters over small large cardinals” The journal of symbolic logic. Vol. 48. Number 4, 1983 página 1000-1007

J. K. Truss. “The noncommutativity of random and generic extensions” The journal of symbolic logic. Vol. 48. Number 4, 1983 página 1008-1012

Piergiorgio Odifreddi. “Forcing and reducibilities. III. Forcing in fragments of set theory” The journal of symbolic logic. Vol. 48. Number 4, 1983 página 1013-1034

Ilias G. Kastanas. “On the Ramsey property for sets of reals” The journal of symbolic logic. Vol. 48. Number 4, 1983 página 1035-1045

Dan Velleman. “On a generalization of Jansens, and strategic closure of partial orders” The journal of symbolic logic. Vol. 48. Number 4, 1983 página 1046-1052

Matt Kaufmann. “Blunt and topless end extensions of models of set theory” The journal of symbolic logic. Vol. 48. Number 4, 1983 página 1053-1073

Julia F. Knight. “Degrees of types and independent sequences” The journal of symbolic logic. Vol. 48. Number 4, 1983 página 1074-1081

Kurt Wolfsdorf. “A Baire-type theorems for cardinals” The journal of symbolic logic. Vol. 48. Number 4, 1983 página 1082-1089

Peter Clote and Kenneth McAloon. “Two further combinatorial theorems equivalent to the 1-consistency of Peano arithmetic” The journal of symbolic logic. Vol. 48. Number 4, 1983 página 1090-1104

Yuri Gurevich and Saharon Shelah. “Rabin’s uniformization problem” The journal of symbolic logic. Vol. 48. Number 4, 1983 página 1105-1119

Yuri Gurevich and Saharon Shelah. “Random models and the Gödel case of the decision problem” The journal of symbolic logic. Vol. 48. Number 4, 1983 página 1120-1124

Moshe Jarden and William H. Wheeler. “Model-complete theories of e-free Ax fields” The journal of symbolic logic. Vol. 48. Number 4, 1983 página 1125-1129

William H. Wheeler. “Model complete theories of formally p-adic fiels” The journal of symbolic logic. Vol. 48. Number 4, 1983 página 1130-1139

Teo Grunberg. “A tableau system of proof for predicate-functor logic with identity” The journal of symbolic logic. Vol. 48. Number 4, 1983 página 1140-1144

G. C. Nelson. “Addendum to ‘Logic of reduced power structures’” The journal of symbolic logic. Vol. 48. Number 4, 1983 página 1145

Jerome Malitz. “Downward transfer of satisfiability for sentences of L1,1” The journal of symbolic logic. Vol. 48. Number 4, 1983 página 1146-1150

Bruno Poizat. “Une théorie de Galois imaginaire” The journal of symbolic logic. Vol. 48. Number 4, 1983 página 1151-1170

J. Richard Buchi. “State-strategies for games in F-G” The journal of symbolic logic. Vol. 48. Number 4, 1983 página 1171-1198

THE JOURNAL OF SYMBOLIC LOGIC. VOL 49. Number 1. 1984.

Andreas Baudisch. “Magidor-Malitz quantifiers in modules” The journal of symbolic logic. Vol. 49. Number 1, 1984 página 1-8

Robert E. Byerly. “Some properties of invariant sets” The journal of symbolic logic. Vol. 49. Number 1, 1984 página 9-21

Evangelos Kranakis. “Stepping up lemmas in definable partitions” The journal of symbolic logic. Vol. 49. Number 1, 1984 página 22-31

Philipp Rothmaler. “Some model theory of modules. III. On infiniteness of sets definable in modules” The journal of symbolic logic. Vol. 49. Number 1, 1984 página 32-46

Frederic B. Fitch. “Correction to a definition of negation” The journal of symbolic logic. Vol. 49. Number 1, 1984 página 47-50

Wolfgang Maass. “On the orbits of hyperhypersimple sets” The journal of symbolic logic. Vol. 49. Number 1, 1984 página 51-62

Jacek Cichón. “On the compactness of some Boolean algebras” The journal of symbolic logic. Vol. 49. Number 1, 1984 página 63-67

Stanley Burris. “Model companions for finitely generated universal Horn classes” The journal of symbolic logic. Vol. 49. Number 1, 1984 página 68-74

Solomon Feferman. “Toward useful type-free theories” The journal of symbolic logic. Vol. 49. Number 1, 1984 página 75-111

Julius B. Barbanel, Carlos A. DiPrisco and It Beng Tan. “Many-times huge and superhuge cardinals” The journal of symbolic logic. Vol. 49. Number 1, 1984 página 112-122

Nobuyoshi Motohashi. “Equality and Lyndon’s interpolation theorem” The journal of symbolic logic. Vol. 49. Number 1, 1984 página 123-128

D. Miller and J. B. Remmel. “Effectively nowhere simple sets” The journal of symbolic logic. Vol. 49. Number 1, 1984 página 129-136

M. Lerman and J. B. Remmel. “The universal splitting property. II.” The journal of symbolic logic. Vol. 49. Number 1, 1984 página 137-150

David Rosenthal. “The order indiscernibles of divisible ordered abelian groups” The journal of symbolic logic. Vol. 49. Number 1, 1984 página 151-160

Alexander S. Kechris. “The axiom of determinacy implies dependent chices in L(R)” The journal of symbolic logic. Vol. 49. Number 1, 1984 página 161-173

Raymond D. Gumb. “An extended joint consistency theorem for a family of free modal logics with equality” The journal of symbolic logic. Vol. 49. Number 1, 1984 página 174- 183

Yuri Gurevich and Harry R. Lewis. “The word problem for cancellation semigroups with zero” The journal of symbolic logic. Vol. 49. Number 1, 1984 página 184-191

Nicolas D. Goodman. “Epistemic arithmetic is a conservative extension of intuitionistic arithmetic” The journal of symbolic logic. Vol. 49. Number 1, 1984 página 192-203

Christian Hort and Horst Osswald. “On nonstandard models in higher order logic” The journal of symbolic logic. Vol. 49. Number 1, 1984 página 204-219

Berthold J. Maier. “Existentially closed torsion-free nilpotent groups of class three” The journal of symbolic logic. Vol. 49. Number 1, 1984 página 220-230

Ahmad Almukdad and David Nelson. “Constructible falsity and inexact predicates” The journal of symbolic logic. Vol. 49. Number 1, 1984 página 231-233

James E. Baumgartner. “Generic graph construction” The journal of symbolic logic. Vol. 49. Number 1, 1984 página 234-240

Matt Kaufmann. “Filter logics on w” The journal of symbolic logic. Vol. 49. Number 1, 1984 página 241-256

Dan Velleman. “Simplified morasses” The journal of symbolic logic. Vol. 49. Number 1, 1984 página 257-271

George Mills and Jeff Paris. “Regularity in models of arithmetic” The journal of symbolic logic. Vol. 49. Number 1, 1984 página 272-280

Kay Smith. “Commutative regular rings and Boolean valued fields” The journal of symbolic logic. Vol. 49. Number 1, 1984 página 281-297

Tim Carlson, Kenneth Kunen and Arnold W. Miller. “A minimal degree which collapses w1” The journal of symbolic logic. Vol. 49. Number 1, 1984 página 298-300

THE JOURNAL OF SYMBOLIC LOGIC. VOL 49. Number 2. 1984.

Branislav R. Boricic´. “A note on some intermediate propositional calculli” The journal of symbolic logic. Vol. 49. Number 2, 1984 página 329-333

Arnon Avron. “Relevant entailment-semantics and formal systems” The journal of symbolic logic. Vol. 49. Number 2, 1984 página 334-342

Chris Freiling. “Banach games” The journal of symbolic logic. Vol. 49. Number 2, 1984 página 343-375

Peter Clote. “A recursion theoretic analysis of the clopen Ramsey theorem” The journal of symbolic logic. Vol. 49. Number 2, 1984 página 376-400

Robert Goldblatt. “Orthomodularity is not elementary” The journal of symbolic logic. Vol. 49. Number 2, 1984 página 401-404

Francoise Delon. “Espaces ultramétriques” The journal of symbolic logic. Vol. 49. Number 2, 1984 página 405-424

Julia Knight, Alistair H. Lachlan and Robert I. Soare. “Two theorems on degrees of models of true arithmetic” The journal of symbolic logic. Vol. 49. Number 2, 1984 página 425-436

E. R. Griffor and D. Normann. “The definability of E” The journal of symbolic logic. Vol. 49. Number 2, 1984 página 437-442

Johan van Benthem. “Questions about quantifiers” The journal of symbolic logic. Vol. 49. Number 2, 1984 página 443-466

Andreas Blass. “There are not exactly five objects” The journal of symbolic logic. Vol. 49. Number 2, 1984 página 467-469

Steven Buechler. “Expansions of models of w-stable theories” The journal of symbolic logic. Vol. 49. Number 2, 1984 página 470-477

Paul Bankston. “Expresive power in first order topology” The journal of symbolic logic. Vol. 49. Number 2, 1984 página 478-487

Dong Ping Yang. “On the embedding of-recursive presentable lattices into the recursive degrees below 0” The journal of symbolic logic. Vol. 49. Number 2, 1984 página 488-502

S. B. Cooper. “Partial degrees and the density problem. Part 2: The enumeration degrees of the sets are dense” The journal of symbolic logic. Vol. 49. Number 2, 1984 página 503-513

Ieke Moerdijk. “Heine-Borel does not imply the Fan Theorem” The journal of symbolic logic. Vol. 49. Number 2, 1984 página 514-519

M. J. Cresswell. “An incomplete decidable modal logic” The journal of symbolic logic. Vol. 49. Number 2, 1984 página 520-527

R. Downey. “Co-immune subspaces and complementation in V” The journal of symbolic logic. Vol. 49. Number 2, 1984 página 528-538

R. J. Watro. “On partitioning the infinite subsets of large cardinals” The journal of symbolic logic. Vol. 49. Number 2, 1984 página 539-541

J. M. Henle. “Spector forcing” The journal of symbolic logic. Vol. 49. Number 2, 1984 página 542-554

James M. Henle. “Weak strong partition cardinals” The journal of symbolic logic. Vol. 49. Number 2, 1984 página 555-557

James E. Baumgartner and James M. Henle. “Infinite subscripts from infinite exponents” The journal of symbolic logic. Vol. 49. Number 2, 1984 página 558-562

Richard Watnick. “A generalization of Tennenbaums theorem on effectively finite recursive linear orderings” The journal of symbolic logic. Vol. 49. Number 2, 1984 página 563-569

P. Pudlák and A. Sochor. “Models of the alternative set theory” The journal of symbolic logic. Vol. 49. Number 2, 1984 página 570-585

Klaus Ambos-Spies. “An extension of the nondiamond theorem in classical and recursion theory” The journal of symbolic logic. Vol. 49. Number 2, 1984 página 586- 607

Wlodzimierz Zadroz´ny. “Ordinal definability in Jensen’s model” The journal of symbolic logic. Vol. 49. Number 2, 1984 página 608-620

M. Boffa. “Arithmetic and the theory of types” The journal of symbolic logic. Vol. 49. Number 2, 1984 página 621-624

Lou van den Dries. “Algebraic theories with definable Skolem functions” The journal of symbolic logic. Vol. 49. Number 2, 1984 página 625-629

M. Beeson and A. Scedrov. “Church’s thesis, continuity, and set theory” The journal of symbolic logic. Vol. 49. Number 2, 1984 página 630-643

D. Saracino and C. Wood. “QE commutative nilrings” The journal of symbolic logic. Vol. 49. Number 2, 1984 página 644-651

THE JOURNAL OF SYMBOLIC LOGIC. VOL 49. Number 3. 1984.

Jean- Yves Girard and Jacqueline Vauzeilles. “Functors and ordinal notations. I: A functorial construction of the Veblen hierarchy” The journal of symbolic logic. Vol. 49. Number 3, 1984 página 713-729

Jan Smith. “A interpretation of Martin-Lofs type theory in a type-free theory of propositions” The journal of symbolic logic. Vol. 49. Number 3, 1984 página 730-753

A. P. Hiller and J. Zimbarg, Sb. “Self- reference with negative types” The journal of symbolic logic. Vol. 49. Number 3, 1984 página 754-773

Douglas Cenzer. “Monotone reducibility and the family of infinite sets” The journal of symbolic logic. Vol. 49. Number 3, 1984 página 774-782

Stephen G. Simpson. “Which sets existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?” The journal of symbolic logic. Vol. 49. Number 3, 1984 página 783-802

Bruno Poizat. “Deux remarques a propos de la propriété de recouvrement fini” The journal of symbolic logic. Vol. 49. Number 3, 1984 página 803-807

Yoshihiro Abe. “Strongly compact cardinals, elementary embeddings and fixed points” The journal of symbolic logic. Vol. 49. Number 3, 1984 página 808-812

Andrzej Pelc. “Idempotent ideals on abelian groups ” The journal of symbolic logic. Vol. 49. Number 3, 1984 página 813-817

J. P. Jones and Y. V. Matijasevic. “Register machine proof of the theorem on exponential Diophantine representation of enumerable sets” The journal of symbolic logic. Vol. 49. Number 3, 1984 página 818-829

Alan H. Mekler. “C. c. c. forcing without combinatorics” The journal of symbolic logic. Vol. 49. Number 3, 1984 página 830-832

Claude Sureson. “Complexity of K- ultrafilters and inner models with measurable cardinals” The journal of symbolic logic. Vol. 49. Number 3, 1984 página 833-841

Kevin J. Compton. “An undecidable problem in finite combinatorics” The journal of symbolic logic. Vol. 49. Number 3, 1984 página 842-850

Gaisi Takeuti and Satoko Titani. “Intuitionisitic fuzzy logic and intuitionistic fuzzy set theory” The journal of symbolic logic. Vol. 49. Number 3, 1984 página 851-866

Gerhard Jager. “The strength of admissibility without foundation” The journal of symbolic logic. Vol. 49. Number 3, 1984 página 867-879

Anand Pillay. “Regular types in nonmultidimensional w-stable theories” The journal of symbolic logic. Vol. 49. Number 3, 1984 página 880-891

Wim Ruitenburg. “On the period of sequences (An(p)) in intuitionist propositional calculus” The journal of symbolic logic. Vol. 49. Number 3, 1984 página 892-899

Robert H. Gilman. “Characteristically simple No categorical groups” The journal of symbolic logic. Vol. 49. Number 3, 1984 página 900-907

Gerrit Van Der Hoeven and Ieke Moerdijk. “On choice sequences determined by spresds” The journal of symbolic logic. Vol. 49. Number 3, 1984 página 908-916

Robert K. Meyer and Chris Mortensen. “Inconsistent models for relevant arithmetics” The journal of symbolic logic. Vol. 49. Number 3, 1984 página 917-929

Steven Buechler. “Kuekers conjecture for superstable theories” The journal of symbolic logic. Vol. 49. Number 3, 1984 página 930-934

Arnon Avron. “On modal systems having arithmetical interpretations” The journal of symbolic logic. Vol. 49. Number 3, 1984 página 935-942

Peter W. Woodruff. “On supervaluations in free logic” The journal of symbolic logic. Vol. 49. Number 3, 1984 página 943-950

Cornelia Kalfa. “Some undecidability results in strong algebraic languages” The journal of symbolic logic. Vol. 49. Number 3, 1984 página 951-954

Henryk Kotlarski. “Some remarks on initial segments in models of Peano arithmetic” The journal of symbolic logic. Vol. 49. Number 3, 1984 página 955-960

Juan Carlos Martínez. “Accessible sets and (Lw1w)t-equivalence for T3 spaces” The journal of symbolic logic. Vol. 49. Number 3, 1984 página 961-967

THE JOURNAL OF SYMBOLIC LOGIC. VOL 49. Number 4. 1984.

Dan Velleman. “Simplified morasses with linear limits” The journal of symbolic logic. Vol. 49. Number 4, 1984 página 1001-1021

Saharon Shelah. “Diamonds, uniformization” The journal of symbolic logic. Vol. 49. Number 4, 1984 página 1022-1033

Saharon Shelah. “More on proper forcing” The journal of symbolic logic. Vol. 49. Number 4, 1984 página 1034-1038

C. Ward Henson, Matt Kaufmann and H. Jerome Keisler. “The strength of nonstandard methods in arithmetic” The journal of symbolic logic. Vol. 49. Number 4, 1984 página 1039-1058

Alasdair Urquhart. “The undecidability of entailment and relevant implication” The journal of symbolic logic. Vol. 49. Number 4, 1984 página 1059-1073

Marcel Crabbé. “Typical ambiguity and the axiom of choice” The journal of symbolic logic. Vol. 49. Number 4, 1984 página 1074-1078

Jean-Yves Girard and Jacqueline Vauzeilles. “Functors and ordinal notations. II: A functorial construction of the Bachmann hierarchy” The journal of symbolic logic. Vol. 49. Number 4, 1984 página 1079-1114

Francis Oger. “The model theory of finitely generated finite-by-abelian groups” The journal of symbolic logic. Vol. 49. Number 4, 1984 página 1115-1124

R. G. Downey and J. B. Remmel. “The universal complementation property” The journal of symbolic logic. Vol. 49. Number 4, 1984 página 1125-1136

C. J. Ash and R. G. Downey. “Decidable subspaces and recursively enumerable subspaces” The journal of symbolic logic. Vol. 49. Number 4, 1984 página 1137-1145

Rob Downey. “Bases of supermaximal subspaces and Steinitz systems” The journal of symbolic logic. Vol. 49. Number 4, 1984 página 1146-1159

Lawrence V. Welch. “A hierarchy of families of recursively enumerable degrees” The journal of symbolic logic. Vol. 49. Number 4, 1984 página 1160-1170

James Loveys. “The uniqueness of envelopes in No-stable structures” The journal of symbolic logic. Vol. 49. Number 4, 1984 página 1171-1184

Saharon Shelah and Hugh Woodin. “Forcing the failure of CH by adding a real” The journal of symbolic logic. Vol. 49. Number 4, 1984 página 1185-1189

E. Herrmann. “Definable structures in the lattice of recursively enumerable sets” The journal of symbolic logic. Vol. 49. Number 4, 1984 página 1190-1197

Peter Koepke. “The consistency strength of the free- subset property for ww” The journal of symbolic logic. Vol. 49. Number 4, 1984 página 1198-1204

Carl G. Jockusch, Jr. and Richard A. Shore. “Pseudo-jump operators. II: Transfinite iterations, hierarchies and minimal covers” The journal of symbolic logic. Vol. 49. Number 4, 1984 página 1205-1236

Warren D. Goldfarb. “The unsolvability of the Gödel class with identity” The journal of symbolic logic. Vol. 49. Number 4, 1984 página 1237-1252

Warren D. Goldfarb, Yuri Gurevich and Saharon Shelah. “A decidable subclass of the minimal Gödel class with identity” The journal of symbolic logic. Vol. 49. Number 4, 1984 página 1253-1261

Nobuyoshi Motohashi. “A normal form theorem for first order formulas and its application to Gaifmans splitting theorem” The journal of symbolic logic. Vol. 49. Number 4, 1984 página 1262-1267

J. M. Henle, E. M. Kleinberg and R. J. Watro. “On the ultrafilters and ultrapowers of strog partition cardinals” The journal of symbolic logic. Vol. 49. Number 4, 1984 página 1268-1272

Ramez L. Sami. “On equivalence relations with Borel classes of bounded rank” The journal of symbolic logic. Vol. 49. Number 4, 1984 página 1273-1283

Peter Schroeder- Heister. “A natural extension of natural deduction” The journal of symbolic logic. Vol. 49. Number 4, 1984 página 1284-1300

Harold T. Hodes. “Finite level Borel games and a problem concerning the jump hierachy” The journal of symbolic logic. Vol. 49. Number 4, 1984 página 1301-1318

G. Longo and E. Moggi. “The hereditary partial effective functionals and recursion theory in higher types” The journal of symbolic logic. Vol. 49. Number 4, 1984 página 1319-1332

Cornelia Kalfa. “Decidable properties of finite sets of equations in trivial languajes” The journal of symbolic logic. Vol. 49. Number 4, 1984 página 1333-1338

D. Van Dalen. “How to glue analysis models” The journal of symbolic logic. Vol. 49. Number 4, 1984 página 1339-1349

Anand Pillay and Gabriel Srour. “Closed sets and chain conditions in stable theories” The journal of symbolic logic. Vol. 49. Number 4, 1984 página 1350-1362

Melvin Fitting. “Linear reasoning in modal logic” The journal of symbolic logic. Vol. 49. Number 4, 1984 página 1363-1378

Jürgen Saffe. “Categoricy and Ranks” The journal of symbolic logic. Vol. 49. Number 4, 1984 página 1379-1392

Harold T. Hodes. “Well-Behaved modal logics” The journal of symbolic logic. Vol. 49. Number 4, 1984 página 1393-1402

THE JOURNAL OF SYMBOLIC LOGIC. VOL 50. Number 1. 1985.

R. G. Downey and G. R. Hird. “Automorphisms of supermaximal subspaces” The journal of symbolic logic. Vol. 50. Number 1, 1985 página 1-9

Jean Bénabou. “Fibered categories and the foundations of naive category theory” The journal of symbolic logic. Vol. 50. Number 1, 1985 página 10-37

C. G. McKay. “A consistent propositional logic without any finite models” The journal of symbolic logic. Vol. 50. Number 1, 1985 página 38-41

J. A. Makowsky. “Vopenkas principle and compact logics” The journal of symbolic logic. Vol. 50. Number 1, 1985 página 42-48

Zofia Adamowicz and Guillermo Morales- Luna. “A recursive model for arithmetic with weak induction” The journal of symbolic logic. Vol. 50. Number 1, 1985 página 49-54

Philip Welch. “Comparing incomparable Kleene degrees” The journal of symbolic logic. Vol. 50. Number 1, 1985 página 55-58

Jean A. Larson. “The number of one-generated cylindric set algebras of dimension greater than two” The journal of symbolic logic. Vol. 50. Number 1, 1985 página 59-71

George Wilmers. “Bounded existential induction” The journal of symbolic logic. Vol. 50. Number 1, 1985 página 72-90

Robert M. Solovay. “Explicit Henkin sentences” The journal of symbolic logic. Vol. 50. Number 1, 1985 página 91-93

James E. Baumgartner and Peter Dordal. “Adjoining dominating functions” The journal of symbolic logic. Vol. 50. Number 1, 1985 página 94-101

Michael C. Nagle and S. K. Thomason. “The extensions of the modal logic K5” The journal of symbolic logic. Vol. 50. Number 1, 1985 página 102-109

Howard Becker. “Determinacy of Banach games” The journal of symbolic logic. Vol. 50. Number 1, 1985 página 110-122

Victor Harnik. “Stability theory and set existence axioms” The journal of symbolic logic. Vol. 50. Number 1, 1985 página 123-137

Wolfgang Maass. “Variations on promptly simple sets” The journal of symbolic logic. Vol. 50. Number 1, 1985 página 138-148

Kosta Dosen. “Sequent-systems for modal logic” The journal of symbolic logic. Vol. 50. Number 1, 1985 página 149-168

Hiroakira Ono and Yuichi Komori. “Logics without the contraction rule” The journal of symbolic logic. Vol. 50. Number 1, 1985 página 169-201

Mike Prest. “The generalized RK-order, orthogonality and regular types for modules” The journal of symbolic logic. Vol. 50. Number 1, 1985 página 202-219

Michael Sheard. “Co-critical points of elementary embeddings” The journal of symbolic logic. Vol. 50. Number 1, 1985 página 220-226

THE JOURNAL OF SYMBOLIC LOGIC. VOL 50. Number 2. 1985.

John Mayberry. “Global quantification in Zermelo-Fraenkel set theory” The journal of symbolic logic. Vol. 50. Number 2, 1985 página 289-301

G. Sageev and S. Shelah. “On the structure of Ext (A,Z) in ZFC+” The journal of symbolic logic. Vol. 50. Number 2, 1985 página 302-315

D. Lascar. “Quelques precisions sur la D.O.P. et la profondeur d une theórie” The journal of symbolic logic. Vol. 50. Number 2, 1985 página 316-330

Jacqueline Vauzeilles. “Funtors and ordinal notations. IV: The howard ordinal and the functor A.” The journal of symbolic logic. Vol. 50. Number 2, 1985 página 331-338

Roel deVrijer. “A direct proof of the finite developments theorem” The journal of symbolic logic. Vol. 50. Number 2, 1985 página 339-343 Nicolas D. Goodman. “Replacement and connection in intuinistic set theory” The journal of symbolic logic. Vol. 50. Number 2, 1985 página 344-348

John P. Hartley. “Effective discontinuity and a characterization of the superjump” The journal of symbolic logic. Vol. 50. Number 2, 1985 página 349-358

Marc Bezem. “Isomorphisms between HEO and HRO E, ECF and ICF E” The journal of symbolic logic. Vol. 50. Number 2, 1985 página 359-371

Julian L. Hook. “A note on interpretations of many-sorted theories” The journal of symbolic logic. Vol. 50. Number 2, 1985 página 372-374

Thomas J. Grilliot. “Disturbing arithmetic” The journal of symbolic logic. Vol. 50. Number 2, 1985 página 375-379

Andreas Rapp. “The ordered field of real numbers and logics with Malitz quantifiers” The journal of symbolic logic. Vol. 50. Number 2, 1985 página 380-389

Peter Gardenfors. “Propositional logic based on the dynamics of belief” The journal of symbolic logic. Vol. 50. Number 2, 1985 página 390-394

P. Bellot. “A new proof for Craig’s theorem” The journal of symbolic logic. Vol. 50. Number 2, 1985 página 395-396

Franco Montagna and Andreas Sorbi. “Universal recursion theoretic properties of r. e. preordered structures” The journal of symbolic logic. Vol. 50. Number 2, 1985 página 397-406

Maurice Boffa and Paolo Casalegno. “The consistency of some 4-stratified subsystem of NF including NF3” The journal of symbolic logic. Vol. 50. Number 2, 1985 página 407- 411

Robert Goldblatt. “On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic” The journal of symbolic logic. Vol. 50. Number 2, 1985 página 412-422

Pavel Pudlák. “Cuts, consistency statements and interpretations” The journal of symbolic logic. Vol. 50. Number 2, 1985 página 423-441

Simon Thompson. “Axiomatic recursion theory and the continuous functionals” The journal of symbolic logic. Vol. 50. Number 2, 1985 página 442-450

Ian Mason. “The metatheory of the classical propositional calculus is not axiomatizable” The journal of symbolic logic. Vol. 50. Number 2, 1985 página 451-457

Paul E. Howard. “Subgroups of a free groups and the axiom of choice” The journal of symbolic logic. Vol. 50. Number 2, 1985 página 458-467

Lou van den Dries and Rick L. Smith. “Decidable regularly closed fields of algebraic numbers” The journal of symbolic logic. Vol. 50. Number 2, 1985 página 468-475

Ali Enayat. “Weakly compact cardinals in models of set theory” The journal of symbolic logic. Vol. 50. Number 2, 1985 página 476-486

John K. Slaney. “3088 varieties: A solution to the Ackermann constant problem” The journal of symbolic logic. Vol. 50. Number 2, 1985 página 487-501

Marco Forti and Furio Honsell. “The consistency of the axiom of universality for the ordering of cardinalities” The journal of symbolic logic. Vol. 50. Number 2, 1985 página 502-509

Carlos Alchorrón, Peter Gardenfors and David Makinson. “On the logic of theory change: Partial meet contraction and revision functions ” The journal of symbolic logic. Vol. 50. Number 2, 1985 página 510-530

Arthur W. Apter. “An AD- like model” The journal of symbolic logic. Vol. 50. Number 2, 1985 página 531-543

THE JOURNAL OF SYMBOLIC LOGIC. VOL 50. Number 3. 1985.

Robert S. Wolf. “Deterinateness of certain almost-Borel games” The journal of symbolic logic. Vol. 50. Number 3, 1985 página 569-579

Paolo Casalegno. “On the T-degrees of partial functions” The journal of symbolic logic. Vol. 50. Number 3, 1985 página 580-588

Mohamed A. Amer. “Extension of relatively additive probabilities on Boolean algebras of logic” The journal of symbolic logic. Vol. 50. Number 3, 1985 página 589-596

M. Gitik, M. Magidor and H. Woodin. “Two weak consequences of O” The journal of symbolic logic. Vol. 50. Number 3, 1985 página 597-603

Francoise Point. “Finitely generic models of Tuh, for certain model companionable theories T” The journal of symbolic logic. Vol. 50. Number 3, 1985 página 604-610

Annalisa Marcja and Carlo Toffalori. “On cantor-bendixson spectra containing (1,1). II.” The journal of symbolic logic. Vol. 50. Number 3, 1985 página 611-618

Kit Fine. “Logics containing K4. Part II.” The journal of symbolic logic. Vol. 50. Number 3, 1985 página 619-651

Marc Bezem. “Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous funtionals” The journal of symbolic logic. Vol. 50. Number 3, 1985 página 652-660

Simon Thompson. “Priority arguments in the continuous r. e. degrees” The journal of symbolic logic. Vol. 50. Number 3, 1985 página 661-667

Yuri Gurevich and Saharon Shelah. “The decision problem for branching time logic” The journal of symbolic logic. Vol. 50. Number 3, 1985 página 668-681

Daniel Leivant. “Syntactic translations and provably recursive functions” The journal of symbolic logic. Vol. 50. Number 3, 1985 página 682-688

I. Németi. “Cylindric-relativised set algebras have strong amalgamation” The journal of symbolic logic. Vol. 50. Number 3, 1985 página 689-700

T. E. Forster. “The status of the axiom of choice in set theory with a universal set” The journal of symbolic logic. Vol. 50. Number 3, 1985 página 701-707

Douglas N. Hoover. “A probabilistic interpolation theorem” The journal of symbolic logic. Vol. 50. Number 3, 1985 página 708-713

Stewart Shapiro. “Second-order languages and mathematical practice” The journal of symbolic logic. Vol. 50. Number 3, 1985 página 714-742

Fritz Grunewald and Daniel Segal. “Decision problems concerning S-arithmetic groups” The journal of symbolic logic. Vol. 50. Number 3, 1985 página 743-772

Mitchell Spector. “Model theory under the axiom of determinateness” The journal of symbolic logic. Vol. 50. Number 3, 1985 página 773-780

Andreas Blass. “Acknowledgment of priority” The journal of symbolic logic. Vol. 50. Number 3, 1985 página 781

George Kolestos. “Church-Rosser theorem for typed functional systems” The journal of symbolic logic. Vol. 50. Number 3, 1985 página 782-790

George Kolestos. “Functional interpretation of the b-rule” The journal of symbolic logic. Vol. 50. Number 3, 1985 página 791-805

Akito Tsuboi. “On theories having a finite number of nonisomorphic countable models” The journal of symbolic logic. Vol. 50. Number 3, 1985 página 806-808

Akito Tsuboi. “On the number of independent partitions” The journal of symbolic logic. Vol. 50. Number 3, 1985 página 809-814

P. Poeper. “Generalisation of first-order logic to nonatomic domains” The journal of symbolic logic. Vol. 50. Number 3, 1985 página 815-838

Kevin McEvoy. “Jumps of quasi-minimal enumeration degrees” The journal of symbolic logic. Vol. 50. Number 3, 1985 página 839-848

THE JOURNAL OF SYMBOLIC LOGIC. VOL 50. Number 4. 1985.

H. Andréka and I. Németi. “On the number of generators of cylindric algebras” The journal of symbolic logic. Vol. 50. Number 4, 1985 página 865-873

Yoshihiro Abe. “Some results concerning strongly compact cardinals” The journal of symbolic logic. Vol. 50. Number 4, 1985 página 874-880

Moti Gitik. “Nonsplitting subsets of Pk (k+)” The journal of symbolic logic. Vol. 50. Number 4, 1985 página 881-894

R. C. Flagg. “Epistemic set theory is a conservative extension of intuitionistic set theory” The journal of symbolic logic. Vol. 50. Number 4, 1985 página 895-902

John Bacon. “The completeness of a predicate-functor logic” The journal of symbolic logic. Vol. 50. Number 4, 1985 página 903-926

Denis Richard. “Answer to a problem raised by J. Robinson: The arithmetic of positive or negative integers is definable from successor and divisibility” The journal of symbolic logic. Vol. 50. Number 4, 1985 página 927-935

Stewart Baldwin. “The ordering on normal ultrafilters” The journal of symbolic logic. Vol. 50. Number 4, 1985 página 936-952

Anne Bauval. “Polynomial rings and weak second-order logic” The journal of symbolic logic. Vol. 50. Number 4, 1985 página 953-972

Daniel Lascar. “Why some people are excited by Vought’s conjecture” The journal of symbolic logic. Vol. 50. Number 4, 1985 página 973-982

Kevin McEvoy and S. Barry Cooper. “On minimal pairs of enumeration degrees” The journal of symbolic logic. Vol. 50. Number 4, 1985 página 983-1001

Sy D. Friedman. “A guide to “Coding the universe”by Beller, Jensen, Welch” The journal of symbolic logic. Vol. 50. Number 4, 1985 página 1002-1019

Anand Pillay and Charles Steinhorn. “A note on nonmultidimensional superstable theories” The journal of symbolic logic. Vol. 50. Number 4, 1985 página 1020-1024

Paul C. Eklof and Hans- Christian Mez. “The ideal structure of existentially closed algebras” The journal of symbolic logic. Vol. 50. Number 4, 1985 página 1025-1043

Steven Buechler. “The geometry of weakly minimal types” The journal of symbolic logic. Vol. 50. Number 4, 1985 página 1044-1053

Steven Buechler. “One theorem of Zilbers on strongly minimal sets” The journal of symbolic logic. Vol. 50. Number 4, 1985 página 1054-1061

Sauro Tulipani. “An algorithm to determine, for any prime p, a polynomial-sized Horn sentence which expresses ‘The cardinality is not p’” The journal of symbolic logic. Vol. 50. Number 4, 1985 página 1062-1064

THE JOURNAL OF SYMBOLIC LOGIC. VOL 51. Number 1. 1986.

Thomas John. “Recursion in Kolmogorovs R-operator and the ordinal o3” The journal of symbolic logic. Vol. 51. Number 1, 1986 página 1-11

P. Matet. “Partitions and filters” The journal of symbolic logic. Vol. 51. Number 1, 1986 página 12-21

Bruno Poizat. “O=NO?” The journal of symbolic logic. Vol. 51. Number 1, 1986 página 22-32

Mitchell Spector. “Weak partition relations and measurability” The journal of symbolic logic. Vol. 51. Number 1, 1986 página 33-38

Matthew Foreman, Menachem, Magidor and Saharon Shelah. “0 and some forcing principles” The journal of symbolic logic. Vol. 51. Number 1, 1986 página 39-46

Boban Velickovic´. “Jensen principles and the Novák number of partially ordered sets” The journal of symbolic logic. Vol. 51. Number 1, 1986 página 47-58

Jan Mycielski. “Locally finite theories” The journal of symbolic logic. Vol. 51. Number 1, 1986 página 59-62

David Marker. “Omitting types in-minimal theories” The journal of symbolic logic. Vol. 51. Number 1, 1986 página 63-74

John Lawrence. “Tarskis problem for varieties of groups with a commutator identity” The journal of symbolic logic. Vol. 51. Number 1, 1986 página 75-78

Cornelia Kalfa. “Decision problems concerning properties of finite sets of equations” The journal of symbolic logic. Vol. 51. Number 1, 1986 página 79-87

R. G. Downey and L. V. Welch. “Splitting properties of r. e. sets and degrees” The journal of symbolic logic. Vol. 51. Number 1, 1986 página 88-109

E. Herrmann. “The index set ,e: We = 1X-” The journal of symbolic logic. Vol. 51. Number 1, 1986 página 110-116

Paul Fischer. “Pairs without infimum in the recursively enumerable weak truth table degrees” The journal of symbolic logic. Vol. 51. Number 1, 1986 página 117-129

Philip Welch. “The natural hierarchy and quasi-hierarchy of constructibility degrees” The journal of symbolic logic. Vol. 51. Number 1, 1986 página 130-134

S. Heinrich, C. Ward Henson and L. C. Moore, Jr. “Elementary equivalence of Co (K) spaces for totally disconnected, compact Hausdorff K.” The journal of symbolic logic. Vol. 51. Number 1, 1986 página 135-146

Péter Komjáth. “Stationary reflections for uncountable cofinality” The journal of symbolic logic. Vol. 51. Number 1, 1986 página 147-151

Fabio Bellissima. “Finitely generated free Heyting algebras” The journal of symbolic logic. Vol. 51. Number 1, 1986 página 152-165

W. B. Ewald. “Intuitionistic tense and modal logic” The journal of symbolic logic. Vol. 51. Number 1, 1986 página 166-179

U. Abraham and S. Shelah. “On the intersection of closed unbounded sets” The journal of symbolic logic. Vol. 51. Number 1, 1986 página 180-189

Chris Freiling. “Axioms of symmetry: Throwing darts at the real number line” The journal of symbolic logic. Vol. 51. Number 1, 1986 página 190-200

Irene Mikenberg, Newton C. A. da Costa and Rolando Chuaqui. “Pragmatic truth and approximation to truth” The journal of symbolic logic. Vol. 51. Number 1, 1986 página 201-221

Julia F. Knight. “Saturation of homogeneous resplendent models” The journal of symbolic logic. Vol. 51. Number 1, 1986 página 222-224

THE JOURNAL OF SYMBOLIC LOGIC. VOL 51. Number 2. 1986.

K. Ambos-Spies and M. Lerman. “Lattice embeddings into the recursively enumerable degrees” The journal of symbolic logic. Vol. 51. Number 2, 1986 página 257-272

Peter Clote. “A generalization of the limit lemma and clopen games” The journal of symbolic logic. Vol. 51. Number 2, 1986 página 273-291

E. W. Madison and B. Zimmermann-Huisgen. “Combinatorial and recursive aspects of the automorphism group of the countable atomless Boolean algebra” The journal of symbolic logic. Vol. 51. Number 2, 1986 página 292-301

Rami. Grossberg and Saharon Shelah. “On the number of nonisomorphic models of an infinitary theory which has the infinitary order property. Part A” The journal of symbolic logic. Vol. 51. Number 2, 1986 página 302-322

Steven Buechler. “Maximal chains in the fundamental order” The journal of symbolic logic. Vol. 51. Number 2, 1986 página 323-326

Akihiro Kanamori. “Finest partitions for ultrafilters” The journal of symbolic logic. Vol. 51. Number 2, 1986 página 327-332

Nicolas D. Goodman. “Replacement and collection: a correction” The journal of symbolic logic. Vol. 51. Number 2, 1986 página 333

Françoise Delon. “Periodicité des theories élémetaires des corps de series formelles itérées” The journal of symbolic logic. Vol. 51. Number 2, 1986 página 334-351

Theodore A. Slaman. “On the Kleene degrees of II sets” The journal of symbolic logic. Vol. 51. Number 2, 1986 página 352-359

Andrea Cantini. “On the relation between choice and comprehension principles in second order arithmetic” The journal of symbolic logic. Vol. 51. Number 2, 1986 página 360-373

Simon Thomas. “Theories with finitely many models” The journal of symbolic logic. Vol. 51. Number 2, 1986 página 374-376

C. Ward Henson and H. Jerome Keisler. “On the strength of nonstandard analysis” The journal of symbolic logic. Vol. 51. Number 2, 1986 página 377-386

Nicolas D. Goodman. “Flagg realizability in arithmetic” The journal of symbolic logic. Vol. 51. Number 2, 1986 página 387-392

Paul C. Gilmore. “Natural deduction based set theories: a new resolution of the paradoxes” The journal of symbolic logic. Vol. 51. Number 2, 1986 página 393-411

Terrence Millar. “Prime models and almost decidability” The journal of symbolic logic. Vol. 51. Number 2, 1986 página 412-420

Victor Harnik. “w1- like recursively satured models of Presburgers arithmetic” The journal of symbolic logic. Vol. 51. Number 2, 1986 página 421-429

Terrence Millar. “Recursive categoricity and persistence” The journal of symbolic logic. Vol. 51. Number 2, 1986 página 430-434

J. C. E. Dekker. “The inclusion-exclusion principle for finitely many isolated sets” The journal of symbolic logic. Vol. 51. Number 2, 1986 página 435-447

Masazumi Hanazawa and Mitio Takano. “An interpolation theorem in many-valued logic” The journal of symbolic logic. Vol. 51. Number 2, 1986 página 448-452

T. A. Slaman. “Definitions with parameters” The journal of symbolic logic. Vol. 51. Number 2, 1986 página 453-461

THE JOURNAL OF SYMBOLIC LOGIC. VOL 51. Number 3. 1986.

Joji Takahashi. “A saturation property of ideals and weakly compact cardinals” The journal of symbolic logic. Vol. 51. Number 3, 1986 página 513-525

Michael Chanjar. “Small filter forcing” The journal of symbolic logic. Vol. 51. Number 3, 1986 página 526-546

Stewart Baldwin. “Between strong and superstrong” The journal of symbolic logic. Vol. 51. Number 3, 1986 página 547-559

Jacek Cichón and Janusz Pawlikowski. “On ideals of subsets of the plane and on Cohen reals” The journal of symbolic logic. Vol. 51. Number 3, 1986 página 560-569

Bruno Poizat. “Attention `a la marche!” The journal of symbolic logic. Vol. 51. Number 3, 1986 página 570-585

Miodrag D. Raškovic´. “Complateness theorem for biprobability models” The journal of symbolic logic. Vol. 51. Number 3, 1986 página 586-590

Arthur W. Apter and James M. Henle. “Large cardinal structures below Nw” The journal of symbolic logic. Vol. 51. Number 3, 1986 página 591-603

William S. Zwicker. “Pkλ combinatorics II: The RK ordering beneath a supercompact measure” The journal of symbolic logic. Vol. 51. Number 3, 1986 página 604-616

C. A. Johnson. “Distributive ideals and partition relations” The journal of symbolic logic. Vol. 51. Number 3, 1986 página 617-625

Jonathan P. Seldin. “On the proof theory of the intermediate logic MH” The journal of symbolic logic. Vol. 51. Number 3, 1986 página 626-647

Moti Gitik. “On precipitousness of the nonstationary ideal over a supercompact” The journal of symbolic logic. Vol. 51. Number 3, 1986 página 648-662

John P. Burgess. “The truth is never simple” The journal of symbolic logic. Vol. 51. Number 3, 1986 página 663-681

Tsuyoshi Yukami. “The truth is never simple” The journal of symbolic logic. Vol. 51. Number 3, 1986 página 682-700

Julius B. Barbanel. “Supercompact cardinals, trees of normal ultrafilters, and the partition property” The journal of symbolic logic. Vol. 51. Number 3, 1986 página 701- 708

Anand Pillay. “Some remarks on definable equivalence relations in O-minimal structures” The journal of symbolic logic. Vol. 51. Number 3, 1986 página 709-714

G. Srour. “The independence relation in separably closed fields” The journal of symbolic logic. Vol. 51. Number 3, 1986 página 715-725

Andreas Blass and Andre Scedrov. “Small decidable sheaves” The journal of symbolic logic. Vol. 51. Number 3, 1986 página 726-731

T. G. McLaughlin. “Some elementary degree-theoretic reasons why structures need similarity types” The journal of symbolic logic. Vol. 51. Number 3, 1986 página 732-747

Andre Scedrov. “Some properties of epistemic set theory with collection” The journal of symbolic logic. Vol. 51. Number 3, 1986 página 748-754

T. G. Kucera. “Stability theory for topological logic, with applications to topological modules” The journal of symbolic logic. Vol. 51. Number 3, 1986 página 755-769

Christine Ann Haught. “The degrees below a 1-generic degree < 0’ ” The journal of symbolic logic. Vol. 51. Number 3, 1986 página 770-777

Xavier Caicedo. “A simple solution to Friedman’s fourth problem” The journal of symbolic logic. Vol. 51. Number 3, 1986 página 778-784

Daniele Mundici. “Inverse topological systems and compactness in abstract model theory” The journal of symbolic logic. Vol. 51. Number 3, 1986 página 785-794

Bruno Poizat. “`A l’ ouest d’ Éden” The journal of symbolic logic. Vol. 51. Number 3, 1986 página 795-816

THE JOURNAL OF SYMBOLIC LOGIC. VOL 51. Number 4. 1986.

Robert L. Vaught. “Alfred Tarki’s work in model theory” The journal of symbolic logic. Vol. 51. Number 4, 1986 página 869-882

Bjarni Jónsson. “The contributions of Alfred Tarki’s to general algebra” The journal of symbolic logic. Vol. 51. Number 4, 1986 página 883-889

George F. Mc Nulty. “Alfred Tarki’s and undecidable theories” The journal of symbolic logic. Vol. 51. Number 4, 1986 página 890-898

J. Donald Monk. “The contributions of Alfred Tarki’s to algebraic logic” The journal of symbolic logic. Vol. 51. Number 4, 1986 página 899-906

L. W. Szczerba. “Tarki’s and geometry” The journal of symbolic logic. Vol. 51. Number 4, 1986 página 907-912

Steven Givant. “Bibliography of Alfred Tarki’s” The journal of symbolic logic. Vol. 51. Number 4, 1986 página 913-941

Gerhard Jäger. “A boundedness theorem in ID 1 (W)” The journal of symbolic logic. Vol. 51. Number 4, 1986 página 942-947

Jean-Louis Duret. “Sur la théorie élémentaire des corps de fonctions” The journal of symbolic logic. Vol. 51. Number 4, 1986 página 948-956

Janusz Pawlikowski. “Why solovay real produces Cohen real” The journal of symbolic logic. Vol. 51. Number 4, 1986 página 957-968

George Weaver and Jefrey Welaish. “Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics” The journal of symbolic logic. Vol. 51. Number 4, 1986 página 969-980

Serban A. Basarab. “Transfer principles for pseudo real closed e-fold ordered fields” The journal of symbolic logic. Vol. 51. Number 4, 1986 página 981-991

James Van Aken. “Axioms for the set-theoretic hierarchy” The journal of symbolic logic. Vol. 51. Number 4, 1986 página 992-1004

Ali Enayat. “Conservative extensions of models of set theory and generalizations” The journal of symbolic logic. Vol. 51. Number 4, 1986 página 1005-1021

Nobuyoshi Motohashi. “Preservation theorem and relativization theorem for cofinal extensions” The journal of symbolic logic. Vol. 51. Number 4, 1986 página 1022-1028

Shai Ben-David and Menachem Magidor. “The weak □* is really weaker than the full □” The journal of symbolic logic. Vol. 51. Number 4, 1986 página 1029-1033

Julia F. Knight. “Degrees coded in jumps of orderings” The journal of symbolic logic. Vol. 51. Number 4, 1986 página 1034-1042

Terry Millar. “Bad models in nice neighborhoods” The journal of symbolic logic. Vol. 51. Number 4, 1986 página 1043-1055

Dan Velleman. “On a combinatorial principle of Hajnal and Komjáth” The journal of symbolic logic. Vol. 51. Number 4, 1986 página 1056-1060

THE JOURNAL OF SYMBOLIC LOGIC. VOL 52. Number 1. 1987.

Larry Stock-Meyer. “Classifying the computational complexity of problems” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 1-43

William Mitchell. “Prikry forcing at k+ and beyond” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 44-50

Jan Tryba. “No Jónsson filters over Nw” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 51-53

Paul Eklof and Hans-Christian Mez. “Modules of existentially closed algebras” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 54-63

Philip Welch. “The reals in core models” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 64-67

Joan Rand Moschovakis. “Relative lawlessness in intuitionistic analysis” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 68-88

M. W. Bunder. “Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 89-110

P. Komjáth. “Morassess and the Lévy-collapse” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 111-115

M. A. Dickmann. “Elimination of quantifiers for ordered valuation rings” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 116-128

Matt Kaufmann and James H. Schmerl. “Remarks on weak notions of saturation in models of Peano arithmetic” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 129-148

J. M. Henle. “Concerning ultrafilters on ultrapowers” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 149-151

S. P. Tung. “Definability in number fields” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 152-155

Anand Pillay and Charles Steinhorn. “On Dedeking complete o-minimal structures” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 156-164

George Boolos and Vann McGee. “The degree of the set of sentence of predicate provability logic that are true under every interpretation” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 165-171

Valentin F. Turchin. “A constructive interpretation of the full set theory” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 172-201

Colin McLarty. “Elementary axioms for canonical points of toposes” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 202-204

David Marker. “A strongly minimal expansion of (w,s)” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 205-207

Robert S. Lubarsky. “Simple r. e. degree structures” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 208-213

Pier Luigi Ferrari. “A note on a proof of Hilbert’s second ε-theorem” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 214-215

Robert E. Beaudoin. “Strong analogues of Martin’s axiom imply Axiom R.” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 216-218

Hans Läuchli and Christian Savioz. “Monadic second order definable relations on the binary tree” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 219-226

-re-degrees” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 227-231

Randall Dugherty. “Sequential discreteness and clopen-I-Boolean classes” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 232-242

Luis E. Sanchis. “Completeness of transfinite evaluation in an extension of the lambda caculus” The journal of symbolic logic. Vol. 52. Number 1, 1987 página 243-275

THE JOURNAL OF SYMBOLIC LOGIC. VOL 52. Number 2. 1987.

Ludomir Newelski. “On partitions of the real line into compact sets” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 353-359

Saharon Shelah. “Semiproper forcing axiom implies Martin maximum but not PFA+” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 360-367

S. Heinrich, C. Wars Henson and L. C. Moore, Jr. “A note on elementary equivalence of C (K) spaces” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 368-373

T. E. Forster. “Term models for weak set theories with a universal set” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 374-387

Thomas Jech. “A hierarchy of filters on regular undecountable cardinals” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 388-395

Krzysztof Ciensielski. “Marin’s axiom and a regular topological space with uncountable net weight whose countable product is hereditarily Lindelöf” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 396-399

Anand Pillay and Bruno Poizat. “Pas d’ imaginaires dans l’ infini!” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 400-403

Paul Bankston. “Reduced coproducts of compact Hausdorff spaces” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 404-424

J. Zimbarg Sobrinho. “On the consistency of self-referential systems” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 425-436

Paolo Lipparini. “Limit ultrapowers and abstract logics” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 437-454

Ray Turner. “A theory of properties” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 455-472

Walter A. Carnielli. “Systematization of finite many-valued logics through the method of tableaux” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 473-493

Franco Montagna. “Provability in finite subtheories of PA and relative interpretability: a modal investigation” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 494-511

Chris Mortensen. “Inconsistent nonstandard arithmetic” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 512-518

E. V. Krishnamurthy and B. P. Vickers. “Compact numeral representation with combinators” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 519-525

Steve Giambrone, Robert K. Meyer and Alasdair Urquhart. “A contractionless semilattice semantics” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 526-529

Michael Canjar. “Complete Boolean ultraproducts” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 530-542

Steven Buechler. “Isolated types in a weakly minimal set” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 543-547

Steven Buechler. “On nontrivial types of U-rank 1” The journal of symbolic logic. Vol. 52. Number 2, 1987 página 548-551

THE JOURNAL OF SYMBOLIC LOGIC. VOL 52. Number 3. 1987.

Mitsuhiro Okada. “A simple relationship between Buchholz’s new system of ordinal notations and Takeuti’s system of ordinal diagrams” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 577-581

Marcia J. Groszek. “Combinatorics on ideals and forcing with trees” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 582-593

Robert A. Di Paola and Alex Heller. “Dominical categories: recursion theory without elements” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 594-635

Mark F. Sharlow. “Proper classes via the iterative conception of set” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 636-650

Peter Lars Dordal. “A model in which the based- matrix tree cannot have cofinal branches” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 651-664

Neil Tennant. “Natural deduction and sequent calculus for intuitionistic relevant logic” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 665-680

Henry A. Kierstead. “On II 1-automorphisms of recursive linear orders” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 681-688

Nader Vakil. “Monadic binary relations and the monad systems at near- standard points” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 689-697

A. H. Lachlan. “Complete theories with only universal and existential axions” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 698-711

Hanamantagouda P. Sankappanavar. “Semi-de Morgan algebras” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 712-724

Michiel Van Lambalgen. “Von Mises’ definition of random sequences reconsidered” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 725-755

Bruce M. Kapron. “Modal sequences and definability” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 756-762

Anand Pillay. “First order topological structures and theories” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 763-778

Michael H. Albert. “A preservation theorem for ec-structures with applications” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 779-785

Michael H. Albert and Ross Willard. “Injectives in finitely generated universal Horn classes” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 786-792

Zofia Adamowicz. “Open induction and the true theory of rationals” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 793-801

Douglas N. Hoover. “An analytic complateness theorem for logics with probability quantifiers” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 802-816

Randall Dougherty. “Monotone but not positive subsets of the Cantor spaces” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 817-818

Ingemarie Bethke. “On the existence of extensional partial combinatory algebras” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 819-833

Othman Qasim Malhas. “Quantum logic and the classical propositional calculus” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 834-841

Stuart T. Smith. “Nonstandart characterizations of recursive saturation and resplendency” The journal of symbolic logic. Vol. 52. Number 3, 1987 página 842-863

THE JOURNAL OF SYMBOLIC LOGIC. VOL 52. Number 4. 1987.

Joji Takahashi. “Partition properties of M-ultrafilters and ideals” The journal of symbolic logic. Vol. 52. Number 4, 1987 página 897-907

Philip Welch. “Minimality in the ∆ 1/3- degrees” The journal of symbolic logic. Vol. 52. Number 4, 1987 página 908-915

Samuel R. Buss. “Polynomial size proofs of the propositional pigeonhole principle” The journal of symbolic logic. Vol. 52. Number 4, 1987 página 916-927

Dan Velleman. “Gap-2 morasses of height w” The journal of symbolic logic. Vol. 52. Number 4, 1987 página 928-938

Arnon Avron. “A contructive analysis of RM” The journal of symbolic logic. Vol. 52. Number 4, 1987 página 939-951

Robert S. Lubarsky. “Uncountable master codes and the jump hierarchy” The journal of symbolic logic. Vol. 52. Number 4, 1987 página 952-958

Andreas Baudisch. “On two hierarchies of dimensions” The journal of symbolic logic. Vol. 52. Number 4, 1987 página 959-968

R. A. G. Seely. “Categorical semantics for higher order polymorphic lambda calculus” The journal of symbolic logic. Vol. 52. Number 4, 1987 página 969-989

Qi Feng. “On the Rowbottom M-ultrafilters” The journal of symbolic logic. Vol. 52. Number 4, 1987 página 990-993

Françoise Delon. “Corps portant un nombre fini de valuations” The journal of symbolic logic. Vol. 52. Number 4, 1987 página 994-1004

Claudia Henrion. “Properties of subtle cardinals” The journal of symbolic logic. Vol. 52. Number 4, 1987 página 1005-1019

Ludomir Newelski. “Omitting types and the real line” The journal of symbolic logic. Vol. 52. Number 4, 1987 página 1020-1026

Alain Touraille. “Théories d’ algèbres de Boole munies d’idéaux distingués. I: Théories élémentaires” The journal of symbolic logic. Vol. 52. Number 4, 1987 página 1027-1043

THE JOURNAL OF SYMBOLIC LOGIC. VOL 53. Number 1. 1988.

Azriel Levy. “Alfred Tarski’s work in set theory” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 2-6

Lou Van Den Dries. “Alfred Tarski’s elimination theory real closed fields” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 7-19

John Doner and Wilfrid Hodges. “Alfred Tarski’s and decidable theories” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 20-35

W. J. Blok and Don Pigozzi. “Alfred Tarski’s work on general metamathematics” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 36-50

John Etchemendy. “Tarski on truth and logical consequence” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 51-79

Patrick Suppes. “Philosophical implications of Tarski’s work” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 80-91

C. A. Johnson. “Seminormal λ-generated ideals on Pkλ” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 92-102

Robert S. Lubarsky. “Correction to ‘Simple r. e. degree structures’” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 103-104

Stefano Berardi. “Equalization of finite flowers” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 105-123

Bruno Poizat. “MM. Borel, Tits, Zil’ber et le Général Nonsense” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 124-131

Bruno Poizat. “Missionary mathematics” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 132-145 Laura L. Mayer. “Vaught’s conjecture for o-minimal theories” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 146-159

Gaisi Takeuti. “Boolean simple groups and Boolean simple rings” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 160-173

Steffen Lempp. “A high strongly noncappable degree” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 174-187

Gary A. Martin. “Definability in reducts of algebraically closed fields” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 188-199

Mitsuhiro Okada. “On a theory of weak implications” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 200-211

Michael E. Mytilinaios and Theodore A. Slaman. “Σ2-collection and the infinite injury priority method” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 212- 221

I. M. Hodkinson and H. D. Macpherson. “Relation structures determined by their finite induced substructures” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 222-230

Rami Grossberg. “A downward Löwenheim-Skolem theorem for infinitary theories which have the unsuperstability property” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 231-242

Miroslaw Kutylowski. “Finite automata, real time processes and counting problems in bounded arithmetic” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 243-258

Ilias G. Kastanas. “Initial segments of ∆1/2 n+1-degrees” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 259-268

T. G. Kucera. “Generalizations of Deissler’s minimality rank” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 269-283

T. G. Kucera. “Positive Deissler rank and the complexity of injective modules” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 284-293

R. Gurevič. “On ultracoproducts of compact Hausdorff spaces” The journal of symbolic logic. Vol. 53. Number 1, 1988 página 294-300

THE JOURNAL OF SYMBOLIC LOGIC. VOL 53. Number 2. 1988.

Wilfried Sieg. “Hilbert’s program sixty years later” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 338-348

Stephen G. Simpson. “Partial realizations of Hilbert´s program” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 349-363

Solomo Feferman. “Hilbert´s program relativized: Proof-theoretical and foundation reductions” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 364-384

Yo Matsubara. “Splitting Pkλ into stationary subsets” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 385-389

John P. Burgess. “Addendum to ‘The truth is never simple’” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 390-392

Jaime I. Ihoda. “Strong measure zero sets and rapid filters” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 393-402

Fabio Bellissima. “Finite and finitely separable intermediate propositional logics” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 403-420

Françoise Delon. “Extensions séparées et immediate des courps valués” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 421-428

Kenneth Kunen. “Where MA first fails” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 429-433

Elisabeth Bouscaren and Bruno Poizat. “Des belles paires aux uples” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 434-442

Joseph Barback. “On infinite series of infinite isols” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 443-462

Dan Haran. “Quantifier elimination in separably closed fields of finite imperfectness degree” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 463-469

Masahiro Yasumoto. “Algebraic extensions in nonstandard models and Hilbert´s irreductibility theorem” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 470-480

Penelope Maddy. “Believing the axioms. I.” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 481-511

Michael Chris Laskowski. “Un countable theories that are categorical in a higher power” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 512-530

M. Moses. “Decidable discrete linear orders” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 531-539

Pierre Matet. “Some filters of partitions” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 540-553

Kosta Došen and Peter Schroeder- Heister. “Uniqueness, definability and interpolation” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 554-570

Herbert H. J. Riedel. “Existentially closed algebras and Boolean products” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 571-596

Mark Howard. “A proofless proof of the Barwise compactness theorem” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 597-602

V. Stoltenberg-Hansen and J. V. Tucker. “Complete local rings as domains” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 603-624

Steven Buechler. “The classification of small weakly minimal sets. II.” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 625-635

Jaime I. Ihoda. “Σ1/2-sets of reals” The journal of symbolic logic. Vol. 53. Number 2, 1988 página 636-642

THE JOURNAL OF SYMBOLIC LOGIC. VOL 53. Number 3. 1988.

Sidney C. Bailin. “A normalization theorem for set theory” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 673-695

Péter Komjáth and Saharon Shelah. “Forcing constructions for uncountably chromatic graphs” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 696-707

Howard Becker. “A characterization of jump operators” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 708-728

Katarzyna Idziak and Pawel M. Idziak. “Decidability problem for finite Heyting algebras” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 729-735

Penelope Maddy. “Believing the axioms. II.” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 736-764

Harold Hodes. “Cardinalty logics. Part II: Definability in languages based on ‘exactly’” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 765-784

Jörg Flum and Juan Carlos Martinez. “On topological spaces equivalent to ordinals” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 785-795

Lou Van Den Dries. “On the elementary theory of restricted elementary functions” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 796-808

M. C. Stanley. “Backwards Easton forcing and 0#” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 809-833

H. Andréka, W. Craig and I. Németi. “A system of logic for partial functions under existence-dependent Kleene equality” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 834-839

Jan M. Smith. “The independence of Peano´s fourth axiom from Martin-Löf’s type theory without universes” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 840-845

B. Biró and S. Shelah. “Isomorphic but not lower base-isomorphic cylindric set algebras” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 846-853

D. J. Walter. “On the transversal hypothesis and the weak Kurepa hypothesis” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 854-877

Kate Copestake. “1-genericity in the enumeration degrees” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 878-887

E. G. K. López- Escobar. “Circumcription within monotonic inferences” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 888-904

Philip Scowcroft. “A note on definable Skolem functions” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 905-911

Philip Scowcroft. “More on definable sets of p-adic numbers” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 912-920

M. A. Dickmann. “The model theory of chain-closed fields” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 921-930

Akito Tsuboi. “Strongly 2-dimensional theories” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 931-936 Ursula Gropp. “Coinductive formulas and a many-sorted interpolation theorem” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 937-960

Stephen G. Simpon. “Ordinal numbers and the Hilbert basis theorem” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 961-974

Steven Buechler. “The classification of small weakly minimal sets. III: Modules” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 975-979

Harold Simmons. “Large discrete parts of the E- tree” The journal of symbolic logic. Vol. 53. Number 3, 1988 página 980-984

THE JOURNAL OF SYMBOLIC LOGIC. VOL 53. Number 4. 1988.

J. P. Ressayre. “Formal languages defined by the underlying structure of their words” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1009-1026

Chris Freiling and T. H. Payne. “Some properties of large filters” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1027-1035

Charles McCarty. “Constructive validity is nonarithmetic” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1036-1041

Charles McCarty. “Markov’s principle isols and Dedekind finite sets” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1042-1069

Robert Lubarsky. “Definability and initial segments of c-degrees” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1070-1081

R. Kate, J. Paris and C. Dimitracopoulos. “On parameter free induction schemes” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1082-1097

Wolfgang Maass. “On the use of inaccessible numbers and order indiscernibles in lower bound arguments for random access machines” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1098-1109

Klaus Ambos-Spies and Peter Fejer. “Degrees theoretical splitting properties of recursively enumerable sets” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1110-1137

Philip Scowcroft and Lou Van Den Dries. “On the structure of semialgebraic sets over p- adic fields” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1138-1164

Anand Pillay. “Sheaves of continuous definable functions” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1165-1169

Piotr Zakrzewski. “On universal semiregular invariant measures” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1170-1176

W. A. MacCaull. “On the validity of Hilbert´s Nullstellensatz, Artin´s theorem, and related results in Grothendieck toposes” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1177-1187

Jaime I. Ihoda and Saharon Shelah. “Souslin forcing” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1188-1207

Mitchell Spector. “Ultrapowers without the axiom of choice” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1208-1219

James D. French. “The false assumption underlying Berry’s paradox” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1220-1223

Remi Legrand. “A basis result in combinatory logic” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1224-1226

Françoise Delon and Yamina Rouani. “Indécidabilité de corps de series formelles” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1227-1234

J. B. Paris, A. J. Wilkie and A. R. Woods. “Probability of the pigeonhole principle and the existence of infinitely many primes” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1235-1244

Daniel N. Osherson, Michael Stob and Scott Weinstein. “Mechanical learners pay a price for Bayesianism” The journal of symbolic logic. Vol. 53. Number 4, 1988 página 1245-1251

THE JOURNAL OF SYMBOLIC LOGIC. VOL 54. Number 1. 1989.

Klaas Pieter Hart. “Ultrafilters of character w1” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 1-15

Ljubomir L. Ivanov. “Abstract hierarchies and degrees” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 16-25

Christopher C. Leary. “Patching ideal families and enforcing reflection” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 26-37

Michael Mytilinaios. “Finite injury and Σ1-induction” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 38-49

Andreas Blass and Claude Laflamme. “Consistency results about filters and the number of inequivalent growth types” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 50-56

Ingrid Lindström. “A construction of non-well-founded sets within Martin-Löf´s type theory” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 57-64

Thomas Ede Zimmermann. “Intensional logic and two-sorted type theory” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 65-77

Jaime I. Ihoda and Saharon Shelah. “Martin’s axioms, measurability and equiconsistency results” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 78-94

Saharon Shelah and Simon Thomas. “Subgroups of small index in infinite symmetric groups. II.” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 95-99 L. Gordeev. “Generalizations of the one-dimensional version of the Kruskal- Friedman theorems” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 100-121

Rami Grossberg. “Models with second order properties in succesors of singulars” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 122-137

Andreas Baudisch. “Classification and interpretation” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 138-159

Theodore A. Slaman and John R. Steel. “Complementation in the turing degrees” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 160-176

Roman Kossak. “Models with the w-property” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 177-189

Alan S. Stern. “Sequential theories and infinite distributivity in the lattice of chapters” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 190-206

Ehud Hrushovski. “Kueker’s conjecture for stable theories” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 207-220 Ehud Hrushovski. “Finitely based theories” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 221-225

Thomas Jech. “Positive Σ operations on ordinals and normal filters on greatly Mahlo cardinals” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 226-233

H. Luckhardt. “Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 234- 263

Terrence Millar. “Finite extensions and the number of countable models” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 264-270

Marc Bezem. “Compact and majorizable functionals of finite type” The journal of symbolic logic. Vol. 54. Number 1, 1989 página 271-280

THE JOURNAL OF SYMBOLIC LOGIC. VOL 54. Number 2. 1989.

Yuri Gurevich and Saharon Shelah. “On the strength of the interpretation method” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 305-323

S. B. Cooper. “A jump class of noncappable degrees” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 324-353

Anthony Robinson. “Equational logic of partial functions under Kleene equality: a complete and an incomplete set of rules” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 354-362

David M. Clark. “The structure of algebraic and existentially closed Stone and double Stone algebras” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 363-375

Steffen Lempp and Theodore A. Slaman. “A limit on relative genericity in the recursively enumerable sets” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 376-395

James H. Schmerl. “Partially ordered sets and the independence property” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 396-401

J. Siekmann and P. Szabó. “The undecidability of the DA-unification problem” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 402-414

Ron Sigal. “Undecidable complexity S-arithmetic” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 415-427

Ivan N. Soskov. “Definibility via enumerations” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 428-440

Alan H. Mekler and Saharon Shelah. “Uniformization principles” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 441-459

Warren Goldfarb. “Random models and the Maslov class” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 460-466

Qi Feng. “An ideal characterization of Mahlo cardinals” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 467-473

M. Victoria Marshall R. “Higher order reflection principles” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 474-489

Robert S. Lubarsky. “Sacks forcing sometimes needs help to produce a minimal upper bound” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 490-498

Françoise Delon and François Lucas. “Inclusions et produits de groups abéliens ordonnés étudiés au premier ordre” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 499-511

Zoé Chatzidakis. “An expansion of F˜p” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 512-521

James S. Royer. “Two recursion theoretic characterizations of proof speed-ups” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 522-526

S. B. Cooper. “The strong anticupping property for recursively enumerable degrees” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 527-539

Akihiro Kanamory. “Regressive partitions and Borel diagonalization” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 540-552

R. G. Downey. “Recursively enumerable m – and tt- degrees. I: The quantity of m- degrees” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 553-567

C. A. Johnson. “On ideals and stationary reflection” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 568-575

Petr Hájek and Antonín Kučera. “On recursion theory in IΣ1” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 576-589

Martin W. Bunder, J. Roger Hindley and Jonathan P. Seldin. “On adding (ξ) to weak equality in combinatory logic” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 590-607

S. S. Wainer. “Slow growing versus fast growing” The journal of symbolic logic. Vol. 54. Number 2, 1989 página 608-614

THE JOURNAL OF SYMBOLIC LOGIC. VOL 54. Number 3. 1989.

Fred Appenzeller. “An independence result in quadratic form theory: Infinitary combinatorics applied to ϵ -Hermitian spaces” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 689-699

Moti Gitik. “On generic elementary embeddings” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 700-707

D. H. Fremlin and P. J. Nyikos. “Saturating ultrafilters on N” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 708-718

Tomek Bartoszynski, Jaime I. Ihoda and Saharon Shelah. “The cofinality of cardinal invariants related to measure and category” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 719-726

Galen Weitkamp. “The Σ ½ theory of axioms of symmetry” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 727-734

K. Ambos-Spies and M. Lerman. “Lattice embeddings into the recursively enumerable degrees. II.” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 735-760

James C. Owings, Jr. “A cardinality version of Beigel´s nonspeedup theorem” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 761-767

Luis Jaime Corredor. “Dad groups of finite Morley rank” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 768-773

Friedrich Wehrung. “Nonabsoluteness of elementary embeddings” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 774-778

Clement F. Kent and Bernard R. Hodgson. “Extensions of arithmetic for proving termination of computation” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 779-794

William Craig. “Near-equational and equational systems of logic for partial functions. I.” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 795-827

Tomek Bartoszynski and Jaime I. Ihoda. “On the cofinality of the smallest covering of the real line by meager sets” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 828-832

J. C. E. Dekker and E. Ellentuck. “Isols and the pigeonhole principle” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 833-846

Bruno Poizat. “Generix strikes again” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 847-857

A. Pillay. “A note on subgroups of the automorphism group of a satured model, and regular types” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 858-864

Alain Louveau. “Two results on Borel orders” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 865-874

John T. Baldwin. “Diverse classes” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 875-893

Harvey Friedman and Lee Stanley. “A Borel reducibility theory for classes of countable structures” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 894-914

Alexander S. Kechris, David Marker and Ramez L. Sami. “∏ 1/1 Borel sets” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 915-920

David Marker. “Non Σn axiomatizable almost strongly minimal theories” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 921-927

Lou Van Den Dries, David Marker and Gary Martin. “Definable equivalence relations on algebraically closed fields” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 928-935

Roman Kossak, Mark Nadel and James Schmerl. “A note on the multiplicative semigroup of models of Peano arithmetic ” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 936-940

J. Denef and L. Lipshitz. “Decision problems for differential equations” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 941-950

Roger D. Maddux. “Nonfinite axiomatizability for cylindric and relation algebras” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 951-974

Douglas Cenzer and Rick L. Smith. “On the ranked points of a ∏ 0/1 set” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 975-991

G. Sambin and V. Vaccaro. “A new proof of Sahlqvist’s theorem on modal definability and completeness” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 992- 999

Peter Fletcher. “Nonstandard set theory” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 1000-1008

Martin Kummer. “A note on direct sums of friedbergnumberings” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 1009-1010

Lee A. Rubel. “Digital simulation of analog computation and church’s thesis” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 1011-1017

Peter Perkings. “Finite axiomatizability for equational theories of countable groupoisds” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 1018-1022

Franco Montagna and Andrea Sorbi. “Creativeness and completeness in recursion categories of partial recursive operators” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 1023-1041

Josep M. Font and Ventura Verdú. “A first approach to abstract modal logics” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 1042-1062

Jan Krajíček and Pavel Pudlák. “Propositional proof systems thje consistency of first order theories and the complexity of computations” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 1063-1079

Ali Nesin. “Groups of finite morley rank with transitive group automorphisms” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 1080-1082

Yuri Gurevich and Saharon Shelah. “Time polynomial in input or output” The journal of symbolic logic. Vol. 54. Number 3, 1989 página 1083-1088

THE JOURNAL OF SYMBOLIC LOGIC. VOL 54. Number 4. 1989.

Penelope Maddy. “The roots of contemporary Platonism” The journal of symbolic logic. Vol. 54. Number 4, 1989 página 1121-1144

Sy D. Friedman. “Coding over a measurable cardinal” The journal of symbolic logic. Vol. 54. Number 4, 1989 página 1145-1159

Rod Downey. “On hyper-torre isols” The journal of symbolic logic. Vol. 54. Number 4, 1989 página 1160-1166

H. Jerome Keisler, Kenneth Kunen, Arnold Miller, and Steven Leth. “Descriptive set theory over hyperfinite sets” The journal of symbolic logic. Vol. 54. Number 4, 1989 página 1167-1180

William Craig. “Near-equational and equational systems of logic for partial functions. II.” The journal of symbolic logic. Vol. 54. Number 4, 1989 página 1181-1215

Yiannis N. Moschovakis. “The formal language of recursion” The journal of symbolic logic. Vol. 54. Number 4, 1989 página 1216-1252

Denis Richard. “Definability in terms of the successor function and the coprimeness predicate in the set of arbitrary intégers” The journal of symbolic logic. Vol. 54. Number 4, 1989 página 1253-1287

C. G. Jockusch, Jr., M. Lerman, R. I. Soare, and R. M. Solovay. “Recursively enumerable sets modulo iterated jumps and extensions of Arslanov’s completeness criterion” The journal of symbolic logic. Vol. 54. Number 4, 1989 página 1288-1323

G. L. McColm. “Some restrictions on simple fixed points of the integers” The journal of symbolic logic. Vol. 54. Number 4, 1989 página 1324-1345

Bradd Hart. “A proof of Morley´s conjecture” The journal of symbolic logic. Vol. 54. Number 4, 1989 página 1346-1358

R. Grossberg and B. Hart. “The classification of excellent classes” The journal of symbolic logic. Vol. 54. Number 4, 1989 página 1359-1381

James H. Schmerl. “Large resplendent models generated by indiscernibles” The journal of symbolic logic. Vol. 54. Number 4, 1989 página 1382-1388

Michiel Van Lambalgen. “Algorithmic information theory” The journal of symbolic logic. Vol. 54. Number 4, 1989 página 1389-1400

M. Forti and R. Hinnion. “The consistency problem for positive comprehension principles” The journal of symbolic logic. Vol. 54. Number 4, 1989 página 1401-1418

Gerald R. Renardel de Lavalette. “Interpolation in fragments of intuionistic propositional logic” The journal of symbolic logic. Vol. 54. Number 4, 1989 página 1419-1430

Saharon Shelah. “The number of pairwise non-elementary-embeddable models” The journal of symbolic logic. Vol. 54. Number 4, 1989 página 1431-1455

Harvey Friedman and Michael Sheard. “The equivalence of the disjunction and existence properties for modal arithmetic” The journal of symbolic logic. Vol. 54. Number 4, 1989 página 1456-1459

Fabio Bellissima and Massimo Mirolli. “A general treatment of equivalent modalities” The journal of symbolic logic. Vol. 54. Number 4, 1989 página 1460-1471

THE JOURNAL OF SYMBOLIC LOGIC. VOL 55. Number 1. 1990.

Mark Nadel and Jonathan Stavi. “On models of the elementary theory of (Z, +, 1)” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 1-20

Saharon Shelah. “Strong negative partition above the continuum” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 21-31

V. Michele Abrusci, Jean-Yves Girard and Jacques Van de Wielle. “Some uses of dilators in combinatorial problems. II.” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 32-40

David N. Yetter. “Quantales and (noncommutative) linear logic” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 41-64

Juha Oikkonen. “On Ehrenfeucht- Fraïssé equivalence of linear orderings” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 65-73

Wayne D. Blizard. “A normal theory of objects, space and time” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 74-89

J. Roger Hindley and David Meredith. “Principal type-schemes and condensed detachment” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 90-105

E. G. K. López- Escobar. “Remarks on the Church-Rosser property” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 106-112

Miklos Ajtai and Ronald Fagin. “Reachability is harder for directed than for undirected finite graphs” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 113-150

Frank Wagner. “Subgroups of stable groups” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 151-156

L. Gordeev. “Generalizations of the Kruskal-Friedman theorems” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 157-181

Nicolas D. Goodman. “Mathematics as natural science” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 182-193

Robert S. Lubarsky. “An introduction to y-recursion theory (or what to do in KP- Foundation)” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 194-206

Giangiacomo Gerla. “Pointless metric spaces” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 207-219

James G. Williams. “On the formulation of semantic conventions” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 220-243

Andrea Cantini. “A theory of formal truth arithmetically equivalent to ID1” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 244-259

Serge Grigorieff. “Every recursive linear ordering has a copy in DTIME-SPACE (n, log n)” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 260-276

Labib Haddad and Marianne Morillon. “L’ axiome de normalité pour les espaces totalement ordonnés” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 277-283

John W. L. Merrill. “UFA fails in the Bell-Kunen model” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 284-296

Timothy William-Son. “Two incomplete anti-realist modal epistemic logics” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 297-314

Samy Zafrany. “On analytic filters and prefilters” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 315-322

Gérard Leloup. “Théories complètes de paires de corps valués henseliens” The journal of symbolic logic. Vol. 55. Number 1, 1990 página 323-339

THE JOURNAL OF SYMBOLIC LOGIC. VOL 55. Number 2. 1990.

Claude Laflamme. “Upward directedness of the Rudin-Keisler ordering of p-points” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 449-456

Winfried Just, A. R. D. Mathias, Karel Prikry, and Petr Simon. “On the existence of large p-ideals” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 457-465

Alan H. Mekler. “Universal structures in power N1” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 466-477

Aleksandr Vasilevich Borovik and Bruno Petrovich Poizat. “Tores et p-groupes” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 478-491

Arthur W. Apter. “Successors of singular cardinals and measurability revisited” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 492-501

Derrick Albert DuBose. “The equivalence of determinacy and iterated sharps” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 502-525

R. David. “Some results on higher Suslin trees” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 526-536

Alain Louveau and Jean Saint- Raymond. “On the quasi-ordering of Borel linear orders under embeddability” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 537-560

Lyubomir Ivanov. “Operative vs. combinatory spaces” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 561-572

Klaus Sutner. “The ordertype of ß–r. e. sets” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 573-576

H. Andréka, I. Németi, and R. J. Thompson. “Weak cylindric set algebras and weak subdirect indecomposability” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 577-588

Paul Bankston. “Taxonomies of model-theoretically defined topological properties” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 589-603

Boško Živaljevic´. “Some results about Borel sets in descriptive set theory of hyperfinite sets” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 604-614

Jacek Malinowski. “The deduction theorem for quantum logic- some negative results” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 615-625

John T. Baldwin. “The spectrum of resplendecy” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 626-636

Carl G. Jockusch, Jr., and James C. Owings, Jr. “Weakly semirecursive sets” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 637-644

Paul E. Howard. “Definitions of compact” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 645-655

M. W. Bunder. “Some improvements to Turner´s algorithm for bracket abstraction” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 656-669 Hans B. Gute and K. K. Reuter. “The last word on elimination of quantifiers in modules” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 670-673

Janusz Pawlikowski. “Finite support iteration and strong measure zero sets” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 674-677

Edmund Robinson and Giuseppe Rosolini. “Colimit completions and the effective topos” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 678-699

David Booth. “Hereditarily finite Finsler sets” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 700-706

Arnon Avron. “Relevance and paraconsistency-a new approach” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 707-732

Masahiro Kumabe. “A 1-generic degree which bounds minimal degree” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 733-743

Peter Cholak. “Boolean algebras and orbits of the lattice of r. e. sets modulo the finite sets” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 744-760

Andreas Blass. “Infinitary combinatorics and modal logic” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 761-778

Margarita Otero. “On diophantine equations solvable in models of open induction” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 779-786

J. F. Knight. “A metatheorem for constructions by finitely many workers” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 787-804

Jaap Van Oosten. “Lifschitz’ realizability” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 805-821

Thomas Jech and Saharon Shelah. “Full reflection of stationary sets below Nw” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 822-830

Andrea Sorbi. “Some remarks on the algebraic structure of the medvedev lattice” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 831- 853

Norman Feldman. “Cylindric algebras with terms” The journal of symbolic logic. Vol. 55. Number 2, 1990 página 854-866

THE JOURNAL OF SYMBOLIC LOGIC. VOL 55. Number 3. 1990.

Tapani Hyttinen and Jouko Väänänen. “On scott and Karp trees of uncountable models” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 897-908

Haim Judah and Saharon Shelah. “The Kunen- Miller chart (Lebesgue measure, the Baire property, Laver reals and preservation theorems for forcing)” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 909-927

James Loveys. “Weakly minimal groups of unbounded exponent” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 928-937

J. M. Henle. “Partition properties and Prikry forcing on simple spaces” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 938-947

Paul Bankston and Wim Ruitenburg. “Notions of relative ubiquity for invariant sets of relational structures” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 948-986

Christine Ann Haught and Richard A. Shore. “Undecidability and initial segments of the (r. e.) tt-degrees” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 987- 1006

Shih- Ping Tung. “Decidable fragments of field theories” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1007-1018

Dan Velleman. “Partitioning pairs of countable sets of ordinals” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1019-1021

Arnold W. Miller. “Sets theoretic properties of Loeb measure” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1022-1036

Ludomir Newelski. “Omiting types for stable ccc theories” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1037-1047

Jeffrey S. Carroll. “Maximal r. e. equivalence relations” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1048-1058

Alessandro Berarducci. “The interpretability logic of Peano arithmetic” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1059-1089

Sergei Artemov and Giorgie Dzhaparidze. “Finite Kripke models and predicate logics of provability” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1090-1098

Pierluigi Minari, Mitio Takano and Hiroakira Ono. “Inmediate predicate logics determined by ordinals” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1099-1124

Johan Pas. “On the angular component map modulo P” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1125-1129

James H. Schmerl. “Coinductive N0-categorical theories” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1130-1137

Anand Pillay. “Differentially algebraic group chunks” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1138-1142

Michiel Van Lambalgen. “The axiomatization of randomness” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1143-1167

John Chisholm. “Efective model theory vs. recursive model theory” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1168-1191

Alain Touraille. “Théries d’algèbres de Boole munies dídeaux distingués. II.” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1192-1212

John Chisholm. “The complexity of intrinsically r. e. subsets of existentially decidable models” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1213-1232

David Ross. “The special model axiom in nonstandard analysis” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1233-1242

D. Marker and A. Pillay. “Reducts of (C, +, .) which contain +” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1243-1251

Alex Heller. “An existence theorem for recursion categories” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1252-1268

William M. Farmer. “A partial functions version of Church’s simple theory of types” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1269-1291

Michael H. Albert and Rami P. Grossberg. “Rich models” The journal of symbolic logic. Vol. 55. Number 3, 1990 página 1292-1298

THE JOURNAL OF SYMBOLIC LOGIC. VOL 55. Number 4. 1990.

“Cumulative index to volumes 27-55 (1962-1990)” The journal of symbolic logic. Vol. 55. Number 4, 1990 página 1329

“Index of contributed papers” The journal of symbolic logic. Vol. 55. Number 4, 1990 página 1330-1390

“Index of abstracts” The journal of symbolic logic. Vol. 55. Number 4, 1990 página 1391-1478

“Index of reviews” The journal of symbolic logic. Vol. 55. Number 4, 1990 página 1479

“By author of work reviewed” The journal of symbolic logic. Vol. 55. Number 4, 1990 página 1480-1740

“By reviewer” The journal of symbolic logic. Vol. 55. Number 4, 1990 página 1741-1751

“List of officers and members of the Association for Symbolic Logic” The journal of symbolic logic. Vol. 55. Number 4, 1990 página 1752-1789

“Notices” The journal of symbolic logic. Vol. 55. Number 4, 1990 página 1790

THE JOURNAL OF SYMBOLIC LOGIC. VOL 56. Number 1. 1991.

Solomon Feferman. “Reflecting on incompleteness” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 1-49

Boško Živaljevic´. “The structure of graphs all of whose Y- sections are internal sets” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 50-66

Kostas Hatzikiriakou. “Minimal prime ideals and arithmetic comprehension” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 67-70

H. Jerome Keisler and Steven C. Leth. “Meager sets on the hyperfinite time line” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 71-102

Maxim R. Burke. “Powers of the ideal of Lebesgue measure zero sets” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 103-107

Dirk R. H. Schlingmann. “Ramsey cardinals, (ι-Erdös cardinals, and the core model” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 108-114

Rami Grossberg. “Indiscernible sequences in a model which fails to have the order property” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 115-123

Rami Grossberg. “On chains of the relatively satured submodels of a model without the order property” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 124- 128

Gunnar Stålmarck. “Normalization theorems for full first order classical natural deduction” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 129-149

Harold T. Hodes. “Where do sets come from?” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 150-175

Simon Thomas. “Reducts of the random graph” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 176-181

Alexander S. Kechris. “Amenable equivalence relations and Turing degrees” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 182-194

Seema Ahmad. “Embedding the diamond in the Σ 2 enumeration degrees” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 195-212

Marcel Crabbé. “Stratification and cut-elimination” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 213-226

Harold Schellinx. “Isomorphisms and nonisomorphisms of graph models” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 227-249

James Loveys. “Abelian groups with modular generic” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 250-259

Steve Jackson. “Admissible Suslin cardinals in L (R)” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 260-275

Arnon Avron. “Natural 3-valued logics-characterization and proof theory” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 276-294

Daniel Gluschankof. “The elementary class of products of totally ordered abelian groups” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 295-299

Wilfrid Hodges and Saharon Shelah. “There are reasonably nice logics” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 300-322

Thomas Forster and Richard Kaye. “End-extensions preserving power set” The journal of symbolic logic. Vol. 56. Number 1, 1991 página 323-328

THE JOURNAL OF SYMBOLIC LOGIC. VOL 56. Number 2. 1991.

Grigori Mints. “Proof theory in the USSR 1925-1969” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 385-424

Paul Bankston. “Corrigendum to “Taxonomies of model-theoretically defined topological properties”” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 425-426

Leszek Pacholski and Wieslaw Szwast. “Asymptotic probabilities of existential second- order Gödel sentences” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 427-438

Kai Hauser. “Indecribeble cardinals and elementary embeddings” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 439-457

Richard Kaye. “A generalization of Specker´s theorem on typical ambiguity” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 458-466

M. D. G. Swaen. “The logic of first order intuitionistic type theory with weak sigma- elimination” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 467-483

Ido Efrat. “The elementary theory of free psedo p-adically closed fields of finite corank” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 484-496

K. Lano. “Intuitionistic modal logic and set theory” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 497-516

Silvio Ghilardi. “Incompleteness results in Kripke semantics” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 517-538

Luc Bélair. “Anneaux p-adiquement clos et anneaux de fonctions définissables” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 539-553

Robert Goldblatt. “The McKinsey axiom is not canoical” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 554-562

Peter G. Hinman and Theodore A. Slaman. “Jump embeddings in the Turing degrees” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 563-591

Mitchell Spector. “Extended ultrapowers and the Vopěnka- Hrbáček theorem without choice” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 592-607

Michal Krynicki and Hans-Peter Tuschik. “An axiomatization of the logic with the rough quantifier” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 608-617

I. Aguzarov, R. E. Farey, and J. B. Goode. “An infinite superstable group has infinitely many conjugacy classes” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 618-623

J. B. Goode. “Some trivial considerations” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 624-631

Yiannis Vourtsanis. “A direct proof of the Feferman- Vaught theorem and other preservation theorems in products” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 632-636

Joseph Y. Halpern. “Presburger arithmetic with unary predicates is ∏ 1/1 complete” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 637-642

Robert A. Di Paola and Franco Montagna. “Some properties of the syntactic p- recursion categories generated by consistent, recursively enumerable extensions of Peano arithmetic” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 643- 660

Daniel N. Osherson, Michael Stob, and Scott Weinstein. “A universal inductive inference machine” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 661- 672

C. J. Ash. “A contruction for recursive linear orderings” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 673-683

C. G. Jockusch, A. Lewis, and J. B. Remmel. “∏0/1 –classes and Rado’s selection principle” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 684-693

Ali Nesin. “Poly-separated and w-stable nilpotent groups” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 694-699

Sedki Boughattas. “L’ arithmétique ouverte et sets modèles non-standards” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 700-714

Michael Rathjen. “The role of parameters in bar rule and bar induction” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 715-730

Hirokazu Nishimura. “Boolean Valued lie algebras” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 731-741

Steve Jackson and R. Daniel Mauldin. “Nonuniformization results for the projective hierarchy” The journal of symbolic logic. Vol. 56. Number 2, 1991 página 742-748

THE JOURNAL OF SYMBOLIC LOGIC. VOL 56. Number 3. 1991.

Haim Judah and Saharon Shelah. “Forcing minimal degree of constructability” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 769-782

Luc Bélair and Jean- Louis Duret. “Définissabilité dans les corps de fonctions p-adiques” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 783-785

Marion Scheepers. “Concerning n-tactics in the countable-finite game” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 786-794

Jörg Brendle. “Larger cardinals in Cichoo’s diagram” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 795-810

Margarita Otero. “Corrigendum” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 811-812

Siu-Ah Ng. “A generalization of forking” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 813-822

Siu-Ah Ng. “Definable FN bases” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 823-831

Bradd Hard and Matthew Valeriote. “A structure theorem for strongly abelian varieties with few models” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 832- 852

Françoise Delon and Danielle Gondard. “XVIIème problème de Hilbert sur corps chaîne-clos” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 853-861

Masanori Itai. “On the strong Martin conjecture” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 862-875

Dugald Macpherson and James Schmerl. “Binary relational structures having only countable many nonisomorphic substructures” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 876-884

Zofia Adamowicz. “On miximal theories” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 885-890

Leonard M. Adleman and M. Blum. “Inductive inference and unsolvability” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 891-900

Kees Doets. “Axiomatizing universal properties of quantifiers” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 901- 905

Boško Živaljevic´. “U-meager sets when the cofinality of U are uncountable” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 906-914

Alin Nesin. “On bad groups, bad fields, and pseudoplanes” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 915-931

M. Victoria Marshall and Rolando Chuaqui. “Sentences of type theory: the only sentences preserved under isomorphisms” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 932-948

Richard Kaye. “Model-theoretic properties characterizing Peano arithmetic” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 949-963

Jaap Van Oosten. “Extension of Lifschitz’ realizability to higher order arithmetic, and a solution to a problem of F. Richman” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 964-973

Françoise Delon. “Plongement dense d’ un corps ordonné dans sa clôture réelle” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 974-980

Michael Scanlan. “Who were the American postulate theorists?” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 981-1002

Anand Pillay. “Some remarks on modular regular types” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 1003-1011

Erik Palmgren. “A construction of type: type in Martin-Löf´s partial type theory with one universe” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 1012-1015

H. Jerome Keisler and James H. Schmerl. “Making the hyperreal line both saturated and complete” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 1016- 1025

Frank O. Wagner. “Small stable groups and generics” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 1026-1037

Gaisi Takeuti. “A second order version of S ½ and U 1/2” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 1038-1063

R. Zrotowski. “Normality and P(k)/J” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 1064-1067

Martin Kummer. “Diagonals and semihyperhypersimple sets” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 1068-1074

Masahiro Kumabe. “Relative recursive enumerability of generic degrees” The journal of symbolic logic. Vol. 56. Number 3, 1991 página 1075-1084

THE JOURNAL OF SYMBOLIC LOGIC. VOL 56. Number 4. 1991.

Heirich Herre, Michal Krynicki, Alexandr Pinus, and Jouko Väänänen. “The Härtig quantifier: a suvery” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1153-1183

Steven Buechler. “Pseudoprojective strongly minimal sets are locally projective” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1184-1194

James E. Baumgartner and Otmar Spinas. “Independence and consistency proofs in quadratic form theory” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1195-1211

Robert Bonnet and Matatyahu Rubin. “Elementary embeddings between countable Boolean algebras” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1212- 1229

Franco Parlamento and Alberto Policriti. “Expressing infinite without foundation” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1230-1235

Françoise Delon. “Indécidabilité de la théorie des paires immédiates de corps valués henseliens” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1236-1242

Colin McLarty. “Axiomatizing a category of categories” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1243-126 L. A. Chagrova. “An undecidable problem in correspondence theory” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1261-1272

Cichoo, M. Morayne, P. Pawlikowski and S. Solecki. “Decomposing Baire functions” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1273-1283

Z. Balogh and G. Gruenhage. “On a problem of C. H. Dowker” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1284-1289

Shaughan Lavine. “Dual easy uniformization and model-theoretic descriptive set theory” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1290-1316

Dugald Macpherson. “Interpreting groups in w-categorical structures” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1317-1324

Tom Linton. “Countable structures, Ehrenfeucht strategies, and Wadge reductions” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1325-1348

Hajime Ishihara. “Continuity and nondiscontinuity in constructive mathematics” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1349-1354

Stanley Burris Ralph McKenzie, and Matthew Valeriote. “Decidable discriminator varieties from unary varieties” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1355-1368

Alessandro Andretta. “Building iteration trees” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1369-1384

Andreas Baudisch. “A construction of superstable ndop-notop groups” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1385-1390

Ali Nesin. “Generalized fitting subgroup of a group of finite Morley rank” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1391-1399

P. Komjáth. “A set mapping with no infinite free subsets” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1400-1402

V. Michele Abrusci. “Phase semantics and sequence calculus for pure noncommutative classical linear propositional logic” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1403-1451

James Cain and Zlatan Damnjanovic. “On the weak Kleene scherme in Kripke’s theory of truth” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1452-1468

Marcus Kracht and Frank Wolter. “Properties of independently axiomatizable bimodal logics” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1469-1485

Harold T. Hodes. “Corrections to where do sets come from?” The journal of symbolic logic. Vol. 56. Number 4, 1991 página 1486

THE JOURNAL OF SYMBOLIC LOGIC. VOL 57. Number 1. 1992.

Shih Ping Tung. “Arithmetic definability by formulas with two quantifiers” The journal of symbolic logic. Vol. 57. Number 1, 1992 página 1-11

Paola D’ Aquino. “Local behaviour of the Chebyshev theorem in models of IΔ0” The journal of symbolic logic. Vol. 57. Number 1, 1992 página 12-27

Thierry Coquand. “An intuitionistic proof of Tychonoff’s theorem” The journal of symbolic logic. Vol. 57. Number 1, 1992 página 28-32

Andrew M. Pitts. “On an interpretation of second order quantification in first order intuitionistic propositional logic” The journal of symbolic logic. Vol. 57. Number 1, 1992 página 33-52

William I. Gasarch, Mark G. Pleszoch and Robert Solovay. “Learning via queries in *+, <+” The journal of symbolic logic. Vol. 57. Number 1, 1992 página 53-81

Juha Oikkonen. “A recursion principle for linear orderings” The journal of symbolic logic. Vol. 57. Number 1, 1992 página 82-96

A. Pillay and Z. Sokolovid. “Superstable differencial fields” The journal of symbolic logic. Vol. 57. Number 1, 1992 página 97-108

David Marker, Ya´acov Peterzil and Anand Pillay. “Additive reducts of real closed fields” The journal of symbolic logic. Vol. 57. Number 1, 1992 página 109-117

Libo Lo. “Functions and functionals of finite systems” The journal of symbolic logic. Vol. 57. Number 1, 1992 página 118-129

Albert Visser. “An inside view of EXP; or, The closed fragment of the provelity logic of the provability logic of IΔ0 + Ω1 with a propositional constant for EXP” The journal of symbolic logic. Vol. 57. Number 1, 1992 página 130-165

Dan Vellerman. “On a topological construction of Juhasz and Shelah” The journal of symbolic logic. Vol. 57. Number 1, 1992 página 166-171

Boško Živalevid. “Lusin-Sierpioski index for the internal sets” The journal of symbolic logic. Vol. 57. Number 1, 1992 página 172-178

Douglas Albert, Robert Baldinger and John Rhodes. “Undecidability of the identity problem for finite semigroups” The journal of symbolic logic. Vol. 57. Number 1, 1992 página 179-192

Ivo Herzog and Philipp Rothmaler. “Modules with regular generic types- Part IV.” The journal of symbolic logic. Vol. 57. Number 1, 1992 página 193-199

Victor Harnik and Michael Makkai. “Lambek’s categorical proof theory and Läuchli’s abstract realizability” The journal of symbolic logic. Vol. 57. Number 1, 1992 página 200-230

Martin Otto. “Automorphism properties of stationary logic” The journal of symbolic logic. Vol. 57. Number 1, 1992 página 231-237

Daniel Lascar. “Les automorphismes d’ un ensamble fortement minimal” The journal of symbolic logic. Vol. 57. Number 1, 1992 página 238-251

THE JOURNAL OF SYMBOLIC LOGIC. VOL 57. Number 2. 1992.

Vladimir A. Uspensky. “Kolmogorov and mathematical logic” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 385-412

A. S. Kechris and A. Louveau. “Descriptive set theory and harmonic analysis” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 413-441

Lauri Hella and Kerkko Luosto. “The beth-clousure of L (Q α) is not finitely generated” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 442-448

Lee A. Rubel. “On the ring of differentially-algebraic entire functions” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 449-451

Athanassios Tzouvaras. “On expandability of models of Peano arithmetic to models of the alternative set theory” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 452-460

Julius B. Barbenel. “A note on a result of Kunen and Pelletier” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 461-465

Victor Harnik. “Provably total functions of intuitionistic bounded arithmetic” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 466-477

Shaughan Lavine. “A spector- gandy theorem for cPCd (Ⱥ) classes” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 478-500

A. H. Lachlan. “No- categorical tree-decomposable structures” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 501-514

Roger Villemaire. “Theories of modules closed under direct products” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 515-521

Renling Jin. “Cuts in hyperfinite time lines” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 522-527

Renling Jin. “U-Lusin hyperfinite time lines” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 528-533

Renling Jin. “U-monad topologies of hyperfinite time lines” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 534-539

Janusz Pawlikowski. “Adding dominating reals with ww bounding posets” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 540-547

Frank O. Wagner. “À propos d’ équations génériques” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 548-554

Colin McLarty. “Failure of Cartesian closedness in NF” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 555-556

Hajime Ishihara. “Continuity properties in constructive mathematics” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 557-565

Maarten de Rijke. “The modal logic of inequality” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 566-584

Zhang Qinglong. “The density of the meet-inaccessible r. e. degrees” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 585-596

Zofia Adamowicz. “A sharp version of the bounded Matijasevich conjecture and the end-extension problem” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 597-616

Carlos H. Montenegro E. “Combinatorics on large cardinals” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 617-643

Ludomir Newelski. “A model and its subset” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 644-658

Jean-Yves Girard and Dag Normann. “Embeddability of ptykes” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 659-676

Martin Kummer. “A proof of Beigel’s cardinality conjecture” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 677-681

Valentina Harizanov, Matin Kummer, and Jim Owings. “Frequency computations and the cardinality theorem” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 682-687

Ricardo Bianconi. “On sets V-definable from Pfaffian functions” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 688-697

T. G. Kucera and M. Prest. “Imagnary modules” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 698-723

T. G. Kucera and M. Prest. “Four concepts from “geometrical” stability theory in modules” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 724-740

David Ballard and Karel Hrbacek. “Standard foundations for nonstandard analysis” The journal of symbolic logic. Vol. 57. Number 2, 1992 página 741-748

THE JOURNAL OF SYMBOLIC LOGIC. VOL 58. Number 2. 1993.

Bruno Poizat et Frank Wagner. “Sous-groupes periodiques d’ un groupe stable” The journal of symbolic logic. Vol. 58. Number 2, 1993 página 385-400

Tomek Bartoszynski, Haim Judah, and Saharon Shelah. “The Cichoo diagram” The journal of symbolic logic. Vol. 58. Number 2, 1993 página 401-423

Pawel Pazdyka. “Definibility of models by means of existential formulas without identity” The journal of symbolic logic. Vol. 58. Number 2, 1993 página 424-434

S. Shelah and D. H. Fremlin. “Pointwise compact and stable sets of measurable functions” The journal of symbolic logic. Vol. 58. Number 2, 1993 página 435-455

Margarita Otero. “Quadratic forms in normal open induction” The journal of symbolic logic. Vol. 58. Number 2, 1993 página 456-476

Andrea Cantini. “Extending the first-order theory of combinators with self-referential truth” The journal of symbolic logic. Vol. 58. Number 2, 1993 página 477-513

Gerard Allwein and J. Michael Dunn. “Kripke models for linear logic” The journal of symbolic logic. Vol. 58. Number 2, 1993 página 514-545

Mark Kelly Davis and Ali Nesin. “On solvable centerless groups of Morley rank 3” The journal of symbolic logic. Vol. 58. Number 2, 1993 página 546-556

Douglas K. Brown and Stephen G. Simpson. “The baire category theorem in weak subsystems of second-order arithmetic” The journal of symbolic logic. Vol. 58. Number 2, 1993 página 557-578

Richard G. Heck, Jr. “The development of arithmetic in Frege’s Grundgesetze der arithmetik” The journal of symbolic logic. Vol. 58. Number 2, 1993 página 579-601

Sven Ove Hansson. “Theory contration and base contraction unified” The journal of symbolic logic. Vol. 58. Number 2, 1993 página 602-625

Yuichi Komori and Sachio Hirokawa. “The number of proofs for a BCK-formula” The journal of symbolic logic. Vol. 58. Number 2, 1993 página 626-628

Peter Cholah and Rod Downwey. “On the Cantor-Bendixon rank of recursively enumerable sets” The journal of symbolic logic. Vol. 58. Number 2, 1993 página 629- 640

M. H. Mourgues and J. P. Ressayre. “Every real closed field has an integer part” The journal of symbolic logic. Vol. 58. Number 2, 1993 página 641-647

Ludomir Newelski. “Scott analysis of pseudotypes” The journal of symbolic logic. Vol. 58. Number 2, 1993 página 648-663

Andreas Weiermann. “Bounds for the clousure ordinals of essentially monotonic increasing functions” The journal of symbolic logic. Vol. 58. Number 2, 1993 página 664-671

P. T. Bateman, C. G. Jockusch, and A. R. Woods. “Decidability and undecidability of theories with a predicate for the primes” The journal of symbolic logic. Vol. 58. Number 2, 1993 página 672-687

Maria Luisa Bonet and Samuel R. Buss. “The deduction rule and linear and near-linear proof simulations” The journal of symbolic logic. Vol. 58. Number 2, 1993 página 688- 709

THE JOURNAL OF SYMBOLIC LOGIC. VOL 58. Number 3. 1993.

Henk Barendregt, Martin Bunder, and Wil Dekkers. “Systems of illative combinatory logic complete for first-order propositional and predicate calculus” The journal of symbolic logic. Vol. 58. Number 3, 1993 página 769-788

Makoto Tatsuta. “Uniqueness of normal proofs of minimal formulas” The journal of symbolic logic. Vol. 58. Number 3, 1993 página 789-799

D. M. Gabbay and V. B. Shehtman. “Undecidability of modal and intermediate first- order logics with two individual variables” The journal of symbolic logic. Vol. 58. Number 3, 1993 página 800-823

Richard A. Shore and Theodore A. Slaman. “Working below a high recursively eumerable degree” The journal of symbolic logic. Vol. 58. Number 3, 1993 página 824- 859

Carlos A. Di Prisco and James M. Henle. “Partitions of products” The journal of symbolic logic. Vol. 58. Number 3, 1993 página 860-871

G. P. Monro. “Logic, sheaves, and factorization systems” The journal of symbolic logic. Vol. 58. Number 3, 1993 página 872-893

Alexander S. Kechris. “Amenable versus hyperfinite Borel equivalence relations” The journal of symbolic logic. Vol. 58. Number 3, 1993 página 894-907

Warren Goldfarb. “Random models and solvable Skolem classes” The journal of symbolic logic. Vol. 58. Number 3, 1993 página 908-914

Rafel Farré. “A transfer theorem for Henselian valued and ordered fields” The journal of symbolic logic. Vol. 58. Number 3, 1993 página 915-930

J. R. Steel. “The well-foundedness of the Mitchell order” The journal of symbolic logic. Vol. 58. Number 3, 1993 página 931-940

Dror Ben-Arié and Haim Judah. “Δ⅓-stability” The journal of symbolic logic. Vol. 58. Number 3, 1993 página 941-954

Ya’ Acov Peterzil. “Reducts of some structures over the reals” The journal of symbolic logic. Vol. 58. Number 3, 1993 página 955-966

Alexander Chagrov and Michael Zakharyaschev. “The undecidability of the disjunction property of propositional logics and other related problems” The journal of symbolic logic. Vol. 58. Number 3, 1993 página 967-1002

Yde Venema. “Derivation rules as anti-axioms in modal logic” The journal of symbolic logic. Vol. 58. Number 3, 1993 página 1003-1034

Marion Scheepers. “Variations on a game of Gale (I): Coding strategies” The journal of symbolic logic. Vol. 58. Number 3, 1993 página 1035-1043

Frank O. Wagner. “Quasi-endomorphisms in small stable groups” The journal of symbolic logic. Vol. 58. Number 3, 1993 página 1044-1051

Alan Mekler and Jouko Väänänen. “Trees and ∏ 1/1–subsets of w1 w1” The journal of symbolic logic. Vol. 58. Number 3, 1993 página 1052-107

THE JOURNAL OF SYMBOLIC LOGIC. VOL 58. Number 4. 1993.

Greg Hjorth. “Thin equivalence relations and effective decompositions” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1153-1164

Siu-Ah Ng. “A remark on locally pure measures” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1165-1170

Rvszard Frankiewicz, Saharon Shelah, and Pawel Zbierski. “On closed P-sets with ccc in the space w*” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1171-1176

John Todd Hammond. “Nonisomorphism of lattices of recursively enumerable sets” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1177-1188

M. C. Laskowski and S. Shelah. “On the existence of atomic models” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1189-1194

Erik Palmgren. “A note on Mathematics of infinity” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1195-1200

Kecheng Liu. “Stationary subsets of *Nw] < wn” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1201-1218

Friedrich Wehrung. “Boolean universes above Boolean models” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1219-1250

Stefano Stefani. “A relativization mechanism in recursion categories” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1251-1267

Juris Steprans. “A very discontinuous Borel function” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1268-1283

Jörg Brendle. “Amoeba-absoluteness and projective measurability” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1284-1290

J. T. Baldwin, M. C. Laskowski, and S. Shelah. “Forcing isomorphism” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1291-1301

Elisabeth Bouscaren and Michael C. Laskowski. “S-homogeneity and automorphism groups” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1302-1322

Martin Goldstern, Haim Judah, and Saharon Shelah. “Strong measure zero sets without Cohen reals” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1323-1341

Daniel Gluschankof and François Lucas. “Hyper-regular lattice-ordered groups” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1342-1358

James J. Moloney. “An existence theorem for a special ultrafilter when ᶞ =c.” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1359-1364

Mauro Ferrari and Pierangelo Miglioli. “Counting the maximal intermediate constructive logics” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1365-1401

Saharon Shelah, Heikki Tuuri, and Jouko Väänänen. “On the number of automorphisms of uncountable models” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1402-1418

Bradd Hart and Sergei Starchenko. “Addendum to “A structure theorem for strongly abelian varieties”” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1419- 1425

Hans Rott. “Belief contraction in the context of the general theory of rational choice” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1426-1450

Anatole Khelif. “The Bass-Milnor-Serre theorem for nonstandard in Peano arithmetic” The journal of symbolic logic. Vol. 58. Number 4, 1993 página 1451-1458

THE JOURNAL OF SYMBOLIC LOGIC. VOL 59. Number 2. 1994.

B. Mazur. “Questions of decidability and undecibility in number theory” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 353-371

Thanases Pheidas. “Extensions of Hilbert’s tenth problem” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 372-397

Roger D. Maddux. “Undecidable semiassocitive relation algebras” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 398-418

Dirk Roorda. “Interpolation in fragments of classical linear logic” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 419-444

Moti Gitik, and Menachem Magidor. “Extender based forcings” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 445-460

Garvin Melles. “Natural internal forcing schemata extending ZFC: Truth in the universe?” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 461-472

Brigitte Hösli, and Gerhard Jäger. “About some symmetries of negation” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 473-485

Ganesh Baliga, John Case, Sanjay Jain, and Mandayam Suraj. “Machine learning of higher- order programs” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 486-500

Othman Quasim Malhas. “Abacus logic: The lattice of quantum propositions as the poset of a theory” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 501- 515

Masahiro Kumabe. “Minimal upper bounds for arithmetical degrees” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 516-528

Mark Fuller. “Normality of a filter over as space of partitions” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 529-533

Allan S. Stern, and Stanislaw S. S´wierczkowski. “A clas of connected theories of order” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 534-542

Samson Abramski, and Radha Jagadeesan. “Games and full completeness for multiplicative linear logic” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 543-574

Frank O. Wagner. “A note on defining groups in stable structures” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 575-578

E. Bouscaren, and E. Hrunshovski. “On one-based theories” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 579-595

Danielle Mundici. “A constructive proof of McNaughton’s theorem in infinite-valued logic” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 596-602

Marion Scheepers. “Meager nowhere-dense games (IV): n-tactics (continued)” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 603-605

Sy D. Friedman. “The genericity conjecture” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 606-614

Thomas Jech and Jiří Witzany. “Full reflection at a measurable cardinal” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 615-630

Hajnal Andréka, Steven Givant, and István Németi. “The lattice of varieties of representable relation algebras” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 631-661

Szymon Plewik. “Ideals of nowhere Ramsey sets are isomorphic” The journal of symbolic logic. Vol. 59. Number 2, 1994 página 662-667

THE JOURNAL OF SYMBOLIC LOGIC. VOL 59. Number 3. 1994.

Samuel R. Buss. “On Gödel’s theorems on lengths of proofs I: Number of lines and speedup for arithmetics” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 737-756

Howard Becker. “The topological Vaught’s conjecture and minimal counterexamples” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 757-784

Rineke Verbrugge and Albert Visser. “A small reflection principle for bounded arithmetic” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 785-812

Joan Rand Moschovakis. “More about relatively lawless sequenses” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 813-829

Mingsheng Ying. “A logic for approximate reasoning” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 830-837

Ehud Hrushovski. “Finitely axiomatizable N1 categorical theories” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 838-844

Sven Ove Hansson. “Kernel contraction” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 845-859

M. Bekkali. “Chains and antichains in interval algebras” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 860-867

Stephen A. Fenner. “Almost weakly 2-generic sets” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 868-887

Simone Martini and Andrea Masini. “A modal view of linear logic” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 888-899

Hirotaka Kikyo and Akito Tsuboi. “On reduction properties” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 900-911

H. Andréka, A. Kurucz, and I. Németi. “Connections between axioms of set theory and basic theorems of universal algebra” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 912-923

Tim Fernando. “Bisimulations and predicate logic” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 924-944

Andreas Weiermann. “A functorial property of the Aczel-Buchholz-Feferman function” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 945-955

Marcia Groszek. “w* 1 as an initial segment of the c-degrees” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 956-976

Alistair H. Lachlan and Robert I. Soare. “Models of arithmetic and upper bounds for arithmetic sets” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 977-983

Tapani Hyttinen and Saharon Shelah. “Constructing strongly equivalent nonisomorphic models for unsuperstable theories, Part A.” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 984-996

James D. Sharp. “Combinatorics on ideals and axiom A.” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 997-1000

Fernando Ferreira. “A feasible theory for analysis” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 1001-1011

Arthur D. Grainger. “Flat sets” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 1012-1021

Slawomir Solecki. “Covering analytic sets by families of closed sets” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 1022-1031

Michael Sheard. “A guide to truth predicates in the modern era” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 1032-1054

Yasuo Kanai. “On a generalization of distributivity” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 1055-1067

Alexandra Shlapentokh. “Diophantine equivalence and countable rings” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 1068-1095

Sy D. Friedman. “Jensen’s Σ* theory and the combinatorial content of V=L.” The journal of symbolic logic. Vol. 59. Number 3, 1994 página 1096-1104 THE JOURNAL OF SYMBOLIC LOGIC. VOL 59. Number 4. 1994.

Carl G. Jockusch, Jr. and Robert I. Soare. “Boolean algebras, Stone spaces, and the iterated Turing jump” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1121-1138

Sergei Artёmov and Franco Montagna. “On first-order theories with provability operator” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1139-1153

L. Gordeev. “A modified sentence unprovable in PA” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1154-1157

George Kafkoulis. “The consistency strength of an infinitary Ramsey property” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1158-1195

James Cummings. “Possible behaviours for the Mitchell ordering II.” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1196-1209

Zlatan Damnjanovic. “Strictly primitive recursive realizability, I.” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1210-1227

Gaisi Takeuti. “The critical number of a variable in a function” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1228-1244

N. Prati. “A partial model of NF with E” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1245-1253

Ross Willard. “Hereditary undecidability of some theories of finite structures” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1254-1262

Mitio Takano. “Subformula property in many-valued modal logics” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1263-1273

Gaisi Takeuti. “Grzegorcyk’s hierarchy and IepΣ1” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1274-1284

Ambar Chowdhury and Anand- Pillay. “On the number of models of uncountable theories” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1285-1300

Tamara Lakins Hummel. “Effective versions of Ramsey’s Theorem: Avoiding the cone above 0’” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1301-1325

Frank P. Weber. “Initial segments of the lattice of ideals of r.e. degrees” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1326-1350

Mark E. Nadel. “Scott heights of abelian groups” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1351-1359

Rod Downey and Christine Haught. “Embedding lattices into the wtt-degrees below 0’” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1360-1382

C. J. Ash and J. F. Knight. “Mixed systems” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1383-1399

Anand Pillay. “Definability of types, and pairs of O-minimal structures” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1400-1409

C. J. Ash. “On countable fractions- from an elementary class” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1410-1413

Henryk Kotlarski. “On the incompleteness theorems” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1414-1419

P. D. Welch. “Characterising subsets of w1 constructible from a real” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1420-1432

THE JOURNAL OF SYMBOLIC LOGIC. VOL 60. Number 1. 1995.

Saharon Shelah and Lee J. Stanley. “A combinatorial forcing for coding the universe by a real when there are no sharps” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 1-35

Saharon Shelah and Lee J. Stanley. “The combinatorics of combinatorial coding by a real” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 36-57

Martin Goldstern and Saharon Shelah. “The bounded proper forcing axiom” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 58-73

Lou Van den Dries, and Adam H. Lewenberg. “T-convexity and tame extensions” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 74-102

Aleksandar Ignjatovic´. “Delineating classes of computational complexity via second order theories with weak set existence principles I.” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 103-121

Rolando Chuaqui and Patrick Suppes. “Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 122-159

Masanao Ozawa. “Scott incomplete Boolean ultrapowers of the real line” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 160-171

J. M. Henle. “The consistency of one fixed omega” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 172-177

M. Randall Holmes. “The equivalence of NF-style set theories with “tangled” type theories; the construction of w-models of predicate NF (and more)” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 178-190

Jan Mycielski. “New set-theoretic axioms derived from a lean metamathematics” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 191-198

Carl G. Jockusch, Jr. and Alexandra Shlapentokh. “Weak presentations of computable fields” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 199-208

J. L. Bell. “Type reducing correspondences and well-orderings: Frege´s and Zermelo’s constructions re-examined” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 209-221

Julia F. Knight. “Requirement systems” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 222-245

J. Baldwin and S. Shelah. “Abstract classes with few models have “homogeneous- universal” models” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 246- 265

V. V. Rybakov. “Hereditarily structurally complete modal logics” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 266-288

V. L. Selivanov. “Fine hierarchies and Boolean terms” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 289-317

V. Kanovei. “Uniqueness, collection, and external collapse of cardinals in IST and models of Peano arithmetic” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 318-324

Thierry Coquand. “A semantics of evidence for classical arithmetic” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 325-337

THE JOURNAL OF SYMBOLIC LOGIC. VOL 60. Number 2. 1995.

Bernhard Herwing. “Weight w in stable theories with few types” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 353-373

Haim Judah and Andrzej Roslanowski. “Martin’s axiom and the continuum” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 374-391

Gregory L. McColm. “The dimension of the negation of transitive closure” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 392-414

Greg Bishop. “Ultrafilters generated by a closed set of functions” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 415-430

Peter Nyikos and Leszek Piatkiewicz. “On the equivalence of certain consequences of the porper forcing axiom” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 431-443

Grzegorz Labedzki and Miroslav Repicky. “Hechler reals” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 444-458

Ming Xu. “On the basic logic of STIT with a single agent” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 459-483

Luc Bélair. “Anneaux de fonctions p-adiques” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 484-497

Dick de Jongh and L. A. Chagrova. “The decidability of dependency in intuitionistic propositional logic” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 498- 504

Yue Yang. “The thickness lemma from Pˉ+ IΣ1 +- BΣ2” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 505-511

James H. Schmerl. “The isomorphism property for nonstandard universes” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 512-516

Martin Grohe. “Complete problems for fixed-point logics” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 517-527

Anand Pillay and Bruno Poizat. “Corps et chirurgie” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 528-533

Jiří Witzany. “Possible behaviours of the reflection ordering of stationary sets” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 534-547

G. Leloup. “Élimination des quantificateurs dans des paires de corps” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 548-562

Giovanni Panti. “A geometric proof of the completeness of the Lukasiewicz calculus” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 563-578

Edwin D. Mares. “A star-free semantics for R” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 579-590

Yde Venema. “Cylindric modal logic” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 591-623

James E. Baumgartner. “Ultrafilters on w” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 624-639

Daniel Dzierzgowski. “Models of intuitionistic TT and NF” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 640-653

Terrence Millar. “Model completions and omitting types” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 654-672

Enrique Casanovas. “Compactly expandable models and stability” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 673-683 THE JOURNAL OF SYMBOLIC LOGIC. VOL 60. Number 3. 1995.

Otmar Spinas. “Generic trees” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 705-726

Rod Downey and Richard A. Shore. “Degree theoretic definitions of the low2 recursively enumerable sets” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 727-756

Frank Wolter. “The finite model property in tense logic” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 757-774

Hajnal Andréka, Steven Givant, and István Németi. “Perfect extensions and derived algebras” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 775-796

Robert J. Poston. “Defining multiplication in o-minimal expansions of the addictive reals” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 797-816

Michael C. Laskowski and Charles Steinhorn. “On o-minimal expansions of Archimedean ordered groups” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 817-831

Peter Apostoli and Bryson Brown. “A solution to the completeness problem for weakly aggregative modal logic” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 832-842

Jan E. Holly. “Canonical forms for definable subsets of algebraically closed and real closed valued fields” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 843- 860

Giovanni Sambin. “Pretopologies and completeness proofs” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 861-878

Thomas E. Leathrum. “A special class of almost disjoint families” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 879-891

James D. Sharp and Simon Thomas. “Some questions concerning the cofinality of Sym (ĸ)” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 892-897

Margit Messmer and Carol Wood. “Separably closed fields with higher derivations I.” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 898-910

Silvio Ghlardi and Marek Zawadowski. “A sheaf representation and duality for finitely presented Heyting algebras” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 911-939

Peter Koepke and Juan Carlos Martínez. “Superatomic Boolean algebras constructed from morasses” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 940-951

Erich Grädel and Yuri Gurevich. “Tailoring recursion for complexity” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 952-969

Hajnal Andréka, Ivo Düntsch, and István Németi. “Expressibility of properties of relations” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 970-991

James Cummings and Saharon Shelah. “A model in which every Boolean algebra has many subalgebras” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 992- 1004

THE JOURNAL OF SYMBOLIC LOGIC. VOL 60. Number 4. 1995.

Derrick Albert DuBose. “Determinacy and the sharp function on objects of type k” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1025-1053

René David and Karim Nour. “Storage operators and directed lambda-calculus” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1054-1086 B. A. Davey, M. Haviar, and H. A. Priestley. “The syntax and semantics of entailment in duality theory” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1087- 1114

Paul Howard and Jean E. Rubin. “The axiom of choice for well-ordered families and for families of well-orderable sets” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1115-1117

Steffen Lempp and André Nies. “The undecidability of the ∏4- theory for the r.e. wtt and turing degrees” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1118-1136

James H. Schmerl. “A reflection principle and its applications to nonstandard models” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1137-1152

Taneli Huuskonen. “Comparing notions of similarity for uncountable models” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1153-1167

Haim Judah and Miroslav Repický. “Amoeba reals” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1168-1185

Andreas Blass. “A induction principle and pigeonhole principles for K-finite sets” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1186-1193

Deko V. Dekov. “Embeddability and the word problem” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1194-1198

Greg Hjorth. “A dichotomy for the definable universe” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1199-1207

Zlatan Damnjanovic. “Minimal realizability of intuitionistic arithmetic and elementary analysis” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1208-1241

Jaroslav Ježek and George F. McNulty. “The existence of finitely based lower covers for finitely based equational theories” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1242-1250

Anand Pillay. “The geometry of forking and groups of finite Morley rank” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1251-1259

Tapani Hyttinen and Saharon Shelah. “Constructing strongly equivalent nonisomorphic models for unsuperstable theories. Part B.” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1260-1272

Greg Hjorth and Alexander S. Kechris. “Analytic equivalence relations and Ulm-type classifications” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1273- 1300

Leonard Lipshitz and Thanases Pheidas. “An analogue of Hilbert’s tenth problem for p- adic entire functions” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1301-1309

THE JOURNAL OF SYMBOLIC LOGIC. VOL 61. Number 1. 1996.

Alberto Zanardo. “Branching-time logic with quantification over branches: The point of view of modal logic” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 1-39

Greg Hjorth. “Variations of the Martin-Solovay tree” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 40-51

Andreas Weiermann. “How to characterize provably total functions by local pedicativity” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 52-69

Jaap Van Oosten. “Two remarks on the Lifschitz realizability topos” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 70-79 Tomek Bartoszyn´ski, Andrzej Roslanowski, and Saharon Shelah. “Adding one random real” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 80-90

Lev D. Beklemishev. “ Bimodal logics for extensions of arithmetical theories” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 91-124

Michael Rathjen. “Monotone inductive definitions in explicit mathematics” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 125-146

Martin Otto. “The expressive power of fixed-point logic with counting” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 147-176

Lorenz Halbeisen and Haim Judah. “Mathias absoluteness and Ramsey property” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 177-194

Sachio Hirokawa. “The proofs of α α in P-W” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 195-211

Dag Westerståhl. “Self-commuting quantifiers” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 212-224

Arthur W. Apter. “AD and patterns of singular cardinals below Θ” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 225-235

Enrique Casanovas and Rafel Farré. “Omitting types in incomplete theories” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 236-245

Marion Scheepers. “Lebesgue measure zero subsets of the real line and an infinite game” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 246-249

Adam J. Grove, Joseph Y. Halpern, and Daphne Koller. “Asymptotic conditional probabilities: The non-unary case” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 250-276

Anatole Khelif. “Existentially closed models via constructible sets: There are 2N0 existentially closed ordered groups” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 277-284

Henryk Kotlarski. “An addition to Rosser’s theorem” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 285-292

P. D. Welch. “Countable unions of simple sets in the core model” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 293-312

Thomas Jech and Saharon Shelah. “Possible PCF algebras” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 313-317

Ludomir Newelski. “On atomic or saturated sets” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 318-333

THE JOURNAL OF SYMBOLIC LOGIC. VOL 61. Number 2. 1996.

Ross T. Brady. “Gentzenizations of relevant logics without distribution. I.” The journal of symbolic logic. Vol. 61. Number 2, 1996 página 353-378

Ross T. Brady. “Gentzenizations of relevant logics without distribution. II.” The journal of symbolic logic. Vol. 61. Number 2, 1996 página 379-401

Ross T. Brady. “Gentzenizations of relevant logics without distribution” The journal of symbolic logic. Vol. 61. Number 2, 1996 página 402-420

Michael Zakharyaschev. “Canonical formulas for K4. Part II: Cofinal subframe logics” The journal of symbolic logic. Vol. 61. Number 2, 1996 página 421-449

Marcia J. Groszek, Michael E. Mytilinaios, and Theodore A. Slaman. “The sacks density theorem and Σ2-bounding” The journal of symbolic logic. Vol. 61. Number 2, 1996 página 450-467

Thomas Glass. “On power set in explicit mathematics” The journal of symbolic logic. Vol. 61. Number 2, 1996 página 368-489

Penelope Maddy. “Set theoretic naturalism” The journal of symbolic logic. Vol. 61. Number 2, 1996 página 490-514

Patrick Cegielski, Yuri Matiyasevich, and Denis Richard. “Definability and decidability issues in extensions of the integers with the divisibility issues in extensions of the integers with the divisibility predicate” The journal of symbolic logic. Vol. 61. Number 2, 1996 página 515-540

Yves Lafont. “The undecidability of second order linear logic without exponentials” The journal of symbolic logic. Vol. 61. Number 2, 1996 página 541-548

Yuri Gurevich and Saharon Shelah. “On finite rigid structures” The journal of symbolic logic. Vol. 61. Number 2, 1996 página 549-562

O. Finkel and J. P.Ressayre. “Stretchings” The journal of symbolic logic. Vol. 61. Number 2, 1996 página 563-585

Vladimir Kanovei. “On external Scott algebras in nonstandard models of Peano arithmetic” The journal of symbolic logic. Vol. 61. Number 2, 1996 página 586-607

William C. Purdy. “Fluted formulas and the limits of decidability” The journal of symbolic logic. Vol. 61. Number 2, 1996 página 608-620

E. Schimmerling and J. R. Steel. “Fine structure for tame inner models” The journal of symbolic logic. Vol. 61. Number 2, 1996 página 621-639

Douglas E. Ensley. “Automorphism-invariant measures on N0-categorical structures without the independence property” The journal of symbolic logic. Vol. 61. Number 2, 1996 página 640-652

G. Y. Sher. “Did tarski commit “Tarski’s fallacy”?” The journal of symbolic logic. Vol. 61. Number 2, 1996 página 653-686

THE JOURNAL OF SYMBOLIC LOGIC. VOL 61. Number 3. 1996.

Paul Taylor. “Intuitionistic sets and ordinals” The journal of symbolic logic. Vol. 61. Number 3, 1996 página 705-744

Wim Veldman and Frank Waaldijk. “Some elementary results in intuitionistic model theory” The journal of symbolic logic. Vol. 61. Number 3, 1996 página 745-767

Jeremy Avigad. “On the relationship between ATR0 and ID

M. Gilchrist and S. Shelah. “Identities on cardinals less than Nw” The journal of symbolic logic. Vol. 61. Number 3, 1996 página 780-787

Leon Horsten. “Reflecting in epistemic arithmetic” The journal of symbolic logic. Vol. 61. Number 3, 1996 página 788-801

Lauri Hella, Kerkko Luosto, and Jouko Väänänen. “The hierarchy theorem for generalized quantifiers” The journal of symbolic logic. Vol. 61. Number 3, 1996 página 802-817

Gerhard Jäger and Thomas Strahm. “Some theories with positive induction of ordinal strength φ w0” The journal of symbolic logic. Vol. 61. Number 3, 1996 página 818-842

Silvio Ghilardi and Giancarlo Meloni. “Relational and partial variable sets and basic predicate logic” The journal of symbolic logic. Vol. 61. Number 3, 1996 página 843-872

Alan Dow. “On Boolean subalgebras of P(w1)/ ctble” The journal of symbolic logic. Vol. 61. Number 3, 1996 página 873-879

Klaus Ambos-Spies, Peter A. Fejer, Stefen Lempp, and Manuel Lerman. “Decidability of the two-quantifier theory of the recursively enumerable weak truth-table degrees and other distributive upper semi-lattices” The journal of symbolic logic. Vol. 61. Number 3, 1996 página 880-905

Greg Hjorth. “On N1 many minimal models” The journal of symbolic logic. Vol. 61. Number 3, 1996 página 906-919

Claude Laflamme. “A few special ordinal ultrafilters” The journal of symbolic logic. Vol. 61. Number 3, 1996 página 920-927

José Iovino. “The Morley rank of a Banach space” The journal of symbolic logic. Vol. 61. Number 3, 1996 página 928-941

Domenico Zambella. “Notes on polynomially bounded arithmetic” The journal of symbolic logic. Vol. 61. Number 3, 1996 página 942-966

Ambar Chowdhury, James Loveys, and Predrag Tanovic´. “A definable continuous rank for nonmultidimensional superstable theories” The journal of symbolic logic. Vol. 61. Number 3, 1996 página 967-984

Michael C. Laskowski and Laura L. Mayer. “Stable substructures” The journal of symbolic logic. Vol. 61. Number 3, 1996 página 985-1005

Natasha Alechina and Michiel Van Lambalgen. “Generalized quantification as substructural logic” The journal of symbolic logic. Vol. 61. Number 3, 1996 página 1006-1044

THE JOURNAL OF SYMBOLIC LOGIC. VOL 61. Number 4. 1996.

D. M. Gabbay. “Fibred semantics and the weaving of logics. Part 1: Modal and intuitionstic logics” The journal of symbolic logic. Vol. 61. Number 4, 1996 página 1057- 1120

Françoise Delon and Rafel Farré. “Some model theory for almost real closed fields” The journal of symbolic logic. Vol. 61. Number 4, 1996 página 1121-1152

J. D. Cifuentes, A. M. Sette, and D. Mundici. “Cauchy completeness in elementary logic” The journal of symbolic logic. Vol. 61. Number 4, 1996 página 1153-1157

Masahiro Kumabe. “Minimal complementation below uniform upper bounds for the arithmetical degrees” The journal of symbolic logic. Vol. 61. Number 4, 1996 página 1158-1192

Grigori Mints. “Strong termination for the epsilon substitution method” The journal of symbolic logic. Vol. 61. Number 4, 1996 página 1193-1205

Shmuel Lifsches and Saharon Shelah. “Uniformization, choice functions and well orders in the class of trees” The journal of symbolic logic. Vol. 61. Number 4, 1996 página 1206-1227

Alessandro Berarducci and Margarita Otero. “A recursive nonstandard model of normal open induction” The journal of symbolic logic. Vol. 61. Number 4, 1996 página 1228-1241

Pilar Dellunde and Ramon Jansana. “Some characterization theorems for infinitary universal Horn logic without equality” The journal of symbolic logic. Vol. 61. Number 4, 1996 página 1242-1260

Saharon Shelah. “If there is an exactly λ-free abelian group then there is an exactly λ- seperable one in λ” The journal of symbolic logic. Vol. 61. Number 4, 1996 página 1261- 1278

James Loveys and Predrag Tanovic´. “Countable models of trivial theories which admit finite coding” The journal of symbolic logic. Vol. 61. Number 4, 1996 página 1279-1286

Abhijit Dasgupta. “Boolean operations, Borel sets, and Hausdorff’s question” The journal of symbolic logic. Vol. 61. Number 4, 1996 página 1287-1304

M. C. Laskowski and S. Shelah. “Forcing isomorphism II.” The journal of symbolic logic. Vol. 61. Number 4, 1996 página 1305-1320

Ross T. Brady. “Simple Gentzenizations for the normal formulae of contraction-less logics” The journal of symbolic logic. Vol. 61. Number 4, 1996 página 1321-1346

Barry Cooper and Andrea Sorbi. “Noncappable enumeration degrees below 0’e.” The journal of symbolic logic. Vol. 61. Number 4, 1996 página 1347-1363

William C. Calhoun and Theodore A. Slaman. “The ∏02 enumeration degrees are not dense” The journal of symbolic logic. Vol. 61. Number 4, 1996 página 1364-1379

Thomas Jech and Saharon Shelah. “On countably closed complete Boolean algebras” The journal of symbolic logic. Vol. 61. Number 4, 1996 página 1380-1386

THE JOURNAL OF SYMBOLIC LOGIC. VOL 62. Number 1. 1997.

Philip Sowcroft. “More on imaginaries in p-adic fields” The journal of symbolic logic. Vol. 62. Number 1, 1997 página 1-13

Lou Van Den Dries. “T -convexity and tame extensions II” The journal of symbolic logic. Vol. 62. Number 1, 1997 página 14-34

Jindřich Zapletal. “Splitting number at uncountable cardinals” The journal of symbolic logic. Vol. 62. Number 1, 1997 página 35-42

Douglas Peterson. “Cardinal functions on ultraproducts of Boolean algebras” The journal of symbolic logic. Vol. 62. Number 1, 1997 página 43-59

Patrick Simonetta. “Une correspondence entre anneaux partiels et groupes” The journal of symbolic logic. Vol. 62. Number 1, 1997 página 60-78

V. Yu. Shavrukov. “Undecidability in diagonalizable algebras” The journal of symbolic logic. Vol. 62. Number 1, 1997 página 79-116

Douglas Burke and Yo Matsubara. “Ideals and combinatorial principles” The journal of symbolic logic. Vol. 62. Number 1, 1997 página 117-122

Françoise Maurin. “The theory of integer multiplication with order restricted to primes is decidable” The journal of symbolic logic. Vol. 62. Number 1, 1997 página 123-130

Frank Wolter. “Completeness and decidability of tense logics closely related to logics above K4” The journal of symbolic logic. Vol. 62. Number 1, 1997 página 131-158

Oliver Chapuis. “˅ -free metabelian groups” The journal of symbolic logic. Vol. 62. Number 1, 1997 página 159-174

Matthew Foreman and Menachem Magidor. “A very weak square principle” The journal of symbolic logic. Vol. 62. Number 1, 1997 página 175-196

Kyriakos Kontostathis. “The combinatorics of the splitting theorem” The journal of symbolic logic. Vol. 62. Number 1, 1997 página 197-224

Robin Hirsch and Ian Hodkinson. “Step by step-Building representations in algebraic logic” The journal of symbolic logic. Vol. 62. Number 1, 1997 página 225-279

Jindřich Zapletal. “Small forcings and Cohen reals” The journal of symbolic logic. Vol. 62. Number 1, 1997 página 280-284

Nianzheng Liu. “Analytic cell decomposition and the closure of p-adic semianalytic sets” The journal of symbolic logic. Vol. 62. Number 1, 1997 página 285-303

Anne Vedø. “Asymptotic probabilities for second-order existential Kahr- Moore-Wang sentences” The journal of symbolic logic. Vol. 62. Number 1, 1997 página 304-319

THE JOURNAL OF SYMBOLIC LOGIC. VOL 62. Number 2. 1997.

Greg Hjorth. “Some applications of coarse inner model theory” The journal of symbolic logic. Vol. 62. Number 2, 1997 página 337 - 365

Joan Bagaria. “A characterization of Martin’s axiom in terms of absolutenees” The journal of symbolic logic. Vol. 62. Number 2, 1997 página 366 -372

Joel David Hamkins. “Canonical seeds and Prikry trees” The journal of symbolic logic. Vol. 62. Number 2, 1997 página 373 - 396

Steven D. Leonhardi. “Generalized nonsplitting in the recursively enumerable degrees” The journal of symbolic logic. Vol. 62. Number 2, 1997 página 397 - 437

David Pincus. “The dense linear ordering principle” The journal of symbolic logic. Vol. 62. Number 2, 1997 página 438 - 456

Jan Krajíček. “Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic” The journal of symbolic logic. Vol. 62. Number 2, 1997 página 457 - 486

Anand Pillay. “Remarks on Galois cohomology and definability” The journal of symbolic logic. Vol. 62. Number 2, 1997 página 487 - 492

José Iovino. “Definability in functional analysis” The journal of symbolic logic. Vol. 62. Number 2, 1997 página 493 - 505

Satoko Titani. “Completeness of global intuitionistic set theory” The journal of symbolic logic. Vol. 62. Number 2, 1997 página 506 - 528

Philip Kremer. “On the complexity of propositional quantification in intuitionistic logic” The journal of symbolic logic. Vol. 62. Number 2, 1997 página 529 - 544

Georg Gottlob. “Relativized logspace and generalized quantifiers over finite ordered structures” The journal of symbolic logic. Vol. 62. Number 2, 1997 página 545 - 574

Thomas Strahm. “Polynomial time operations in explicit mathematics” The journal of symbolic logic. Vol. 62. Number 2, 1997 página 575 - 594

Kenneth Scilling and Boško Živaljevic´. “Louveau’s theorem for the descriptive set theory of internal set” The journal of symbolic logic. Vol. 62. Number 2, 1997 página 595 - 607

Moshe Y. Vardi. “Special selection in logic in computer science” The journal of symbolic logic. Vol. 62. Number 2, 1997 página 608

James F. Lynch. “Infinitary logics and very sparse random graphs” The journal of symbolic logic. Vol. 62. Number 2, 1997 página 609 - 623

Ursula Martin and Elizabeth Scott. “The order types of termination orderings on monadic terms, strings and multisets” The journal of symbolic logic. Vol. 62. Number 2, 1997 página 624 - 635

Paliath Narendran, Frank Pfenning, and Richard Statman. “On the unification problem for Cartesian closed categories” The journal of symbolic logic. Vol. 62. Number 2, 1997 página 636 - 647

Mati Pentus. “Product-free Lambek calculus and context-free grammars” The journal of symbolic logic. Vol. 62. Number 2, 1997 página 648 - 660

Alexei Stolboushkin and Damian Niwioski. “y =2x vs. y =3x” The journal of symbolic logic. Vol. 62. Number 2, 1997 página 661 - 672

THE JOURNAL OF SYMBOLIC LOGIC. VOL 62. Number 3. 1997.

Thierry Coquand. “Minimal invariant space in formal topology” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 689-698

J. Ada´mek , P. T. Johnstone, J. A. Makowski, and J. Rosický. “Finitary sketches” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 699-707

Mary Bonet, Toniann Pitassi, and Ran Raz. “Lower bounds for cutting planes proofs with small coefficients” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 708-728

Sabine Broda and Luís Damas. “Compact bracket abstraction in combinatory logic” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 729-740

Douglas R. Burke. “Precipitous towers of normal filters” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 741-754

Vincent Danos, Jean-Baptiste Joinet, and Harold Schellinx. “A new deconstructive logic: linear logic” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 755- 807

Sy. D. Friedman. “Coding without fine structure” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 808-815

Robin Hirsch and Ian Hodkinson. “Complete representations in algebraic logic” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 816-847

Shmuel Lifsches and Saharon Shelah. “Peano arithmetic may not be interpretable in the monadic theory of linear orders” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 848-872

S. J. McLeish. “The forth part of the back and forth map in countable homogeneous structures” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 873-890

Jiří Rosický. “Accessible categories, saturation and categoricity” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 891-901

Saharon Shelah and Simon Thomas. “The cofinality spectrum of the infinite synnetric group” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 902-916

Miklós Erdélyi-Szabó. “Decidability of Scott’s model as an ordered Q-vectorspace” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 917-924

Alan R. Woods. “Counting finite models” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 925-949

Michael Zakharyaschev. “Canonical formulas for K4. Part III: the finite model property” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 950-975

Marion Scheepers. “Rothberger’s property and partition relations” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 976-980

Pavel Pudlák. “Lower bounds for resolution and cutting plane proofs and monotone computations” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 981-998

Juha Oikkonen. “Undefnability of ĸ-well-orderings in L ĸ” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 999-1020

Erik Palmgren and Viggo Stoltenberg-Hansen. “A logical presentation of the continuous functionals” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 1021-1034

THE JOURNAL OF SYMBOLIC LOGIC. VOL 62. Number 4. 1997.

Philip Kremer. “Defining relevant implication in a propositionally quantified S4” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1057-1069

Anand Pillay and Akito Tsuboi. “Amalgamations preserving N0-categoricity” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1070-1092

Deirdre Haskell and Dugald Macpherson. “A version of o-minimality for the p-adics” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1093-1141

Jan E. Holly. “Prototypes for definable subsets of algebraically closed valued fields” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1142-1146

Gerhard Jäger. “Powers types in explicit mathematics?” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1147-1150

Dirk Van Dalen. “How connected is the intuitionistic continuum?” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1151-1160

Martin Gilchrist and Saharon Shelah. “The consistency of ZFC + 2N0 ˃ Nw + F (N2) = F (Nw)” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1161-1172

Noa Goldring. “The entire NS ideal on P y μ can be precipitous” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1173-1178

Ricardo Bianconi. “Nondefinability results for expansions of the field of real numbers by the exponential function and by the restricted sine function” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1179-1186

Heike Mildenberger. “Non-constructive Galois-Tukey connections” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1187-1201

Sanjay Jain and Arun Sharma. “The structure of intrinsic complexity of learning” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1202-1209-1214

Yves Lafont. “The finite model property for various fragments of linear logic” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1215-1240

Andrea Asperti and Agata Ciabattoni. “A sufficient condition for completability of partial combinatory algebras” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1241-1252

Rodney G. Downey and Steffen Lempp. “Contiguity and distributivity in the enumerable Turing degrees” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1253-1264

Renling Jin. “Type two cuts, bad cuts and very bad cuts” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1265-1279

Marion Scheepers, and William Weiss. “Variations on a game of Gale (III): remainder strategies” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1280-1296

J. L. Bell. “Zorn’s lemma and complete Boolean algebras in intuitionistic type theories” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1297-1314

Alexis Bès. “Undecidable extensions Büchi arithmetic and Cobham-Semënov Theorem” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1315-1340

Andrzej Roslanowski and Saharon Shelah. “Simple forcing notions and forcing axioms” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1341-1352

Sara Negri and Silvio Valentini. “Tychonoff’s theorem in the framework of formal topologies” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1353-1364

Vladimir Kanovei. “An Ulm-type classification theorem for equivalence relations in Solovay model” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1365- 1379

Eric Martin and Daniel Osherson. “Scientific discovery based on belief revision” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1380-1396

Vann McGee. “The complexity of the modal predicate logic of ‘true in every transitive model of ZF’” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1371-1378

Joan Bagaria and W. Hugh Woodin. “Δ~1n sets of reals” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1379-1428

Carlo Toffalori. “Wildness implies undecidability for lattices over group rings” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1429-1447

Ieke Moerdijk and Erik Palmgren. “Minimal models of Heyting arithmetic” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1448-1460

Michel Parigot. “Proofs of strong normalisation for second order classical natural deduction” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1461-1479

THE JOURNAL OF SYMBOLIC LOGIC. VOL 63. Number 1. 1998.

Leo Harrington and Robert I. Soare. “Codable sets and orbits of computably enumerable sets” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 1-28

Arnold W. Miller and Juris Steprans. “Orthogonal families of real sequences” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 29-49

M. Boffa. “More on an undecidability result of Bateman, Jockuch and Woods” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 50

Joel David Hamkins. “Small Forcing makes any cardinal superdestructible” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 51-58

Alistair H. Lachlan and Robert I. Soare. “Models of arithmetic and subuniform bounds for the arithmetic sets” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 59-72

Thomas Eiter and Georg Gottlob. “On the expressiveness of frame satisfiability and fragments of second-order logic” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 73-82

L. Lipshitz and Z. Robinson. “On dimensional fibers of rigid subanalytic sets” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 83-88

Stephen Bigelow. “Supplements of bounded permutation groups” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 89-102

Shmuel Lifsches and Saharon Shelah. “Uniformization and Skolem functions in the class of trees” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 103-127

Marek Balcerzak, Andrzej Ropslanowski and Saharon Shelah. “Ideals without ccc” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 128-148

Arthur W Apter. “Laver indestructibility and the class of compact cardinals” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 149-157

Sy D. Friedman. “Generic saturation” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 158-162

Hajnal Andréka, Robert Goldblatt and István Németi. “Relativised quantification: Some canonical varieties of sequence-set algebras” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 163-184

Dieter Spreen. “On effective topological spaces” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 185-221

Mauro Di. Nasso. “Pseudo-superstructures as nonstandard universes” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 222-236

Françoise Delon and Patrick Simonetta. “Undecidable wreath products and skew power series fields” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 237- 246

Gian Aldo Antonelli. “Extensional quotients for type theory and the consistency problem for NF” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 247-261

Kenneth Schilling. “Vanishing Borel sets” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 262-268

Tomasz Polacik. “Propositional quantification in the monadic fragment of intuitionistic logic” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 269-300

Andrej Nowik, Marion Scheepers and Tomasz Weiss. “The algebraic sum of real numbers with strong measure zero sets” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 301-324 THE JOURNAL OF SYMBOLIC LOGIC. VOL 63. Number 2. 1998.

Jacob Lurie. “The effective content of surreal algebra” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 337-371

David Ballard and William Boshuck. “Definability and descent” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 372-378

Alexis Bèsmand Denis Richard. “Undecidable extensions of Skolem arithmetic” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 379-401

Paola D’ Aquino. “Solving Pell equations locally in models of IΔ0” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 402-410

Marat M. Arslanov, Geoffrey L. LaForte and Theodore A. Slaman. “Relative enumerability in the difference hierarchy” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 411-420

Oleg V. Belegradek. “On minimal structures” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 421-426

John T. Baldwin and Saharon Shelah. “DOP and FCP in generic structures” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 427-438

Mike Prest. “The representation theories of elementarily equivalent rings” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 439-450

A. J. C. Hurkens, Monica Mc Arthur, Yiannis N. Moschovakis, Lawrence S. Moss and Glen T. Whitney. “The logic of recursive equations” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 451-478

Maarten Marx. “Amalgamation in relation algebras” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 479-484

Mark J. Debonis and Ali Nesin. “There are 2 N0 many almost strongly minimal generalized n- gons that do not interpret an infinite group” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 485-508

Michael Rathjen. “Some two-cardinal results for O-minimal theories” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 509-542

Timothy Bays. “Superdestructibility: A dual to Laver’s indestructibility” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 543-548

Joel David Hamkins and Saharon Shelah. “A strong version of Herbrand’s theorem for introvert sentences” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 549- 554

Tore Langholm. “Paires de structures O- minimales” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 555-569

Yerzhan Baisalov and Bruno Poizat. “Sequentially continuous linear mappings in constructive analysis” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 570-578

Douglas Bridges and Ray Mines. “Sequentially continuous linear mappings in constructive analysis” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 579-583

Claude Laflamme and Jian-Ping Zhu. “The Rudin-Blass ordering of ultrafilters” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 584-592

Heike Mildenberger. “Changing cardinal invariants of the reals without changing or the reals” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 593-599

Stefano Berardi, Marc Bezem and Thierry Coquand. “On the computational content of the axiom of choice” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 600-622

Wendy MacCaull. “Relational semantics and a relational proof system for full Lambek calculus” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 623-637

Michael Benedikt. “Ultrafilters which extend measures” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 638-662

Greg Hjorth. “An absoluteness principle for Borel sets” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 663-693

Mark D. Schelatter. “A many permutation group result for unstable theories” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 694-708

Gaisi Takeuti. “Frege proof system and TNC°” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 709-738

Deirdre Haskell and Dugald Macpherson. “A note on valuation definable expansions of fields” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 739-743

THE JOURNAL OF SYMBOLIC LOGIC. VOL 63. Number 3. 1998.

Charles Morgan. “Higher gap morasses, Ia: Gap-two morases and condensation” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 753-787

Anand Pillay. “Definability and definable groups in simple theories” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 788-796

C. T. Chong and Yue Yang. “Σ2 induction and infinite injury priority argument, Part I: maximal sets and the jump operator” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 797-814

Friederike Körner. “Automorphisms moving all non-algebraic points and an application to NF” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 815-830

A. Avron. “Multiplicative conjunction and an algebraic meaning of contraction and weakening” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 831-859

Gaisi Takeuti and Masahiro Yasumoto. “Forcing on bounded arithmetic II” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 860-868

Will Dekkers, Martin Bunder and Henk Barendregt. “Completeness of the propositions- as-types interpretation of intuitionist logic into illative combinatory logic” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 869-890

Su Gao. “On automorphism groups of countable structures” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 891-896

Toshiyasu Arai. “Variations on a theme by Weiermann” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 897-925

Byunghan Kim. “A note on Lascar strong types in simple theories” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 926-936

Daniel W. Cunningham. “The fine structure of real mice” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 937-994

Frank O. Wagner. “Small fields” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 995-1002

Yo Matsubara and Masahiro Shioya. “Nowhere precipitousness of some ideals” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 1003-1006

J. Paris and A. Vencovská. “Proof systems for probabilistic uncertain reasoning” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 1007-1039

P. Matet and J. Pawlikowski. “Ideals over w and cardinal invariants of the continuum” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 1040-1054

w1)/Fin ” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 1055-1062

Alex M. McAllister. “Completions of PA: Models and enumerations of representable sets” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 1063-1082

W. L. Founché and P. H. Potgieter. “Kolmogorov complexity and symmetric relational structures” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 1083-1094

Mario Chiari and Jan Krajíček. “Witnessing functions in bounded arithmetic and search problems” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 1095-1115

Andrés Villaveces. “Chains of end elementary extensions of models of set theory” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 1116-1136

Peter Koepke. “Extenders, embedding normal forms, and the Martin-Steel-theorem” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 1137-1176

THE JOURNAL OF SYMBOLIC LOGIC. VOL 64. Number 1. 1999.

Moti Gitik. “On closed unbounded sets consisting of former regulars” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 1-12

Peter Cholak, Sergey Goncharov, Bakhadyr Khoussainov and Richard A. Shore. “Computably categorical structures and expansions by constants” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 13-37

Qi Feng. “Rado’s conjecture and presaturation of the nonstationary ideal on w1” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 38-44

Rod Downey and Carl G. Jockusch, Jr. “Effective presentability of Bolean algebras of Cantor-Bendixson rank 1” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 45-52

Gerharg Jäger, Reinhard Kahle, Anton Setzer and Thomas Strahm. “The proof-theoretic analisis of transfinitely iterated fixed point theories” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 53-67

Tuna Altinel and Gregory Cherlin. “On central extensions of algebraic groups” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 68-74

Slawomir Solecki and Otmar Spinas. “Dominating and unbounded free sets” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 75-80

Paul Larson. “An Smax variation for one Souslin tree” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 81-98

Marcus Kracht and Frank Wolter. “Normal monomodal logics can simulate all orthers” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 99-138

Ralf-Dieter Schindler. “Successive weakly compact or singular cardinals” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 139-146

Hisato Muraki. “Non-distributive upper semilattice of Klenne degrees” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 147-158

Gregory L. Cherlin. “Infinite imprimite homogeneous 3-edge-colored complete graphs” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 159-179

Mirna Džamonja and Saharon Shelah. “Similar but not the same: various versions of ♣ do not coincide” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 180-198

U. Felgner and J. K. Truss. “Thew independence of the Prime Ideal Theorem from the Order- Extension Principle” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 199-215

Salma Kuhlmann. “Infinitary properties of valued and ordered vector spaces” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 216-226

Kosta Došen and Zoran Petric´. “Cartesian isomorphisms are symmetric monoidal: A justification of linear logic” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 227-242

H. Andréka, I. Hodkinson and I. Németi. “Finite algebras of relations are representable on finite sets” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 243-267

A. James Humphreys and Stephen G. Simpson. “Separation and Weak König’s Lemma” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 268-278

J. Czelakowski and W. Dziobiak. “Deduction theorems within RM and its extensions” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 279-290

Hongwei Xi. “Upper bounds for standardizations and an application” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 291-303

Stefano Berardi. “Intuitionistic completeness for first order classical logic” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 304-312

Andrea Cantini and Pierluigi Minari. “Uniform inseparability in explicit mathematics” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 313-326

Jeremy Avigad and Richard Sommer. “The model-theoretic ordinal analysis of theories of predicative strength” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 327-349

Amir Leshem and Menachem Magidor. “The independence of δ1n” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 350-362

Felipe Cucker and Klaus Meer. “Logics which capture complexity classes over the reals” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 363-390