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.