The journal of symbolic logic. Vol 41. Number 1976 icon

The journal of symbolic logic. Vol 41. Number 1976



Similar
  1   2   3   4
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



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 w2The 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 wThe 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 wwThe 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 K5The 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 TThe 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 NwThe 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 <



Download 0.92 Mb.
Page1/4
Date conversion25.10.2013
Size0.92 Mb.
TypeДокументы
  1   2   3   4
Place this button on your site:
end.exdat.com


The database is protected by copyright ©exdat 2000-2012
При копировании материала укажите ссылку
send message
Documents