An infinite injury method of the unbounded type



Descargar 0.61 Mb.
Página1/7
Fecha de conversión30.06.2017
Tamaño0.61 Mb.
  1   2   3   4   5   6   7
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

  1   2   3   4   5   6   7


La base de datos está protegida por derechos de autor ©bazica.org 2016
enviar mensaje

    Página principal