An infinite injury method of the unbounded type



Descargar 0.61 Mb.
Página6/7
Fecha de conversión30.06.2017
Tamaño0.61 Mb.
1   2   3   4   5   6   7
PAThe journal of symbolic logic. Vol. 59. Number 4, 1994 página 1154-1157
George Kafkoulis. “The consistency strength of an infinitary Ramsey property” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1158-1195
James Cummings. “Possible behaviours for the Mitchell ordering II.” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1196-1209
Zlatan Damnjanovic. “Strictly primitive recursive realizability, I.” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1210-1227
Gaisi Takeuti. “The critical number of a variable in a function” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1228-1244
N. Prati. “A partial model of NF with E” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1245-1253
Ross Willard. “Hereditary undecidability of some theories of finite structures” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1254-1262
Mitio Takano. “Subformula property in many-valued modal logics” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1263-1273
Gaisi Takeuti. “Grzegorcyk’s hierarchy and IepΣ1” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1274-1284
Ambar Chowdhury and Anand- Pillay. “On the number of models of uncountable theories” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1285-1300
Tamara Lakins Hummel. “Effective versions of Ramsey’s Theorem: Avoiding the cone above 0’The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1301-1325
Frank P. Weber. “Initial segments of the lattice of ideals of r.e. degrees” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1326-1350
Mark E. Nadel. “Scott heights of abelian groups” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1351-1359
Rod Downey and Christine Haught. “Embedding lattices into the wtt-degrees below 0’” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1360-1382
C. J. Ash and J. F. Knight. “Mixed systems” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1383-1399
Anand Pillay. “Definability of types, and pairs of O-minimal structures” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1400-1409
C. J. Ash. “On countable fractions- from an elementary class” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1410-1413
Henryk Kotlarski. “On the incompleteness theorems” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1414-1419
P. D. Welch. “Characterising subsets of w1 constructible from a real” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1420-1432

THE JOURNAL OF SYMBOLIC LOGIC. VOL 60. Number 1. 1995.


Saharon Shelah and Lee J. Stanley. “A combinatorial forcing for coding the universe by a real when there are no sharps” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 1-35
Saharon Shelah and Lee J. Stanley. “The combinatorics of combinatorial coding by a real” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 36-57
Martin Goldstern and Saharon Shelah. “The bounded proper forcing axiom” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 58-73
Lou Van den Dries, and Adam H. Lewenberg. “T-convexity and tame extensions” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 74-102
Aleksandar Ignjatovic´. “Delineating classes of computational complexity via second order theories with weak set existence principles I.” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 103-121
Rolando Chuaqui and Patrick Suppes. “Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 122-159
Masanao Ozawa. “Scott incomplete Boolean ultrapowers of the real line” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 160-171
J. M. Henle. “The consistency of one fixed omega” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 172-177
M. Randall Holmes. “The equivalence of NF-style set theories with “tangled” type theories; the construction of w-models of predicate NF (and more)” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 178-190
Jan Mycielski. “New set-theoretic axioms derived from a lean metamathematics” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 191-198
Carl G. Jockusch, Jr. and Alexandra Shlapentokh. “Weak presentations of computable fields” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 199-208
J. L. Bell. “Type reducing correspondences and well-orderings: Frege´s and Zermelo’s constructions re-examined” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 209-221
Julia F. Knight. “Requirement systems” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 222-245
J. Baldwin and S. Shelah. “Abstract classes with few models have “homogeneous-universal” models” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 246-265
V. V. Rybakov. “Hereditarily structurally complete modal logics” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 266-288
V. L. Selivanov. “Fine hierarchies and Boolean terms” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 289-317
V. Kanovei. “Uniqueness, collection, and external collapse of cardinals in IST and models of Peano arithmetic” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 318-324
Thierry Coquand. “A semantics of evidence for classical arithmetic” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 325-337

THE JOURNAL OF SYMBOLIC LOGIC. VOL 60. Number 2. 1995.


Bernhard Herwing. “Weight w in stable theories with few types” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 353-373
Haim Judah and Andrzej Roslanowski. “Martin’s axiom and the continuum” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 374-391
Gregory L. McColm. “The dimension of the negation of transitive closure” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 392-414
Greg Bishop. “Ultrafilters generated by a closed set of functions” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 415-430
Peter Nyikos and Leszek Piatkiewicz. “On the equivalence of certain consequences of the porper forcing axiom” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 431-443
Grzegorz Labedzki and Miroslav Repicky. “Hechler reals” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 444-458
Ming Xu. “On the basic logic of STIT with a single agent” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 459-483
Luc Bélair. “Anneaux de fonctions p-adiques” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 484-497
Dick de Jongh and L. A. Chagrova. “The decidability of dependency in intuitionistic propositional logic” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 498-504
Yue Yang. “The thickness lemma from Pˉ+ IΣ1 +- BΣ2” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 505-511
James H. Schmerl. “The isomorphism property for nonstandard universes” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 512-516
Martin Grohe. “Complete problems for fixed-point logics” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 517-527
Anand Pillay and Bruno Poizat. “Corps et chirurgie” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 528-533
Jiří Witzany. “Possible behaviours of the reflection ordering of stationary sets” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 534-547
G. Leloup. “Élimination des quantificateurs dans des paires de corps” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 548-562
Giovanni Panti. “A geometric proof of the completeness of the Lukasiewicz calculus” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 563-578
Edwin D. Mares. “A star-free semantics for RThe journal of symbolic logic. Vol. 60. Number 2, 1995 página 579-590
Yde Venema. “Cylindric modal logic” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 591-623
James E. Baumgartner. “Ultrafilters on w The journal of symbolic logic. Vol. 60. Number 2, 1995 página 624-639
Daniel Dzierzgowski. “Models of intuitionistic TT and NF The journal of symbolic logic. Vol. 60. Number 2, 1995 página 640-653
Terrence Millar. “Model completions and omitting types” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 654-672
Enrique Casanovas. “Compactly expandable models and stability” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 673-683

THE JOURNAL OF SYMBOLIC LOGIC. VOL 60. Number 3. 1995.

Otmar Spinas. “Generic trees” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 705-726
Rod Downey and Richard A. Shore. “Degree theoretic definitions of the low2 recursively enumerable sets” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 727-756
Frank Wolter. “The finite model property in tense logic” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 757-774
Hajnal Andréka, Steven Givant, and István Németi. “Perfect extensions and derived algebras” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 775-796
Robert J. Poston. “Defining multiplication in o-minimal expansions of the addictive reals” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 797-816
Michael C. Laskowski and Charles Steinhorn. “On o-minimal expansions of Archimedean ordered groups” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 817-831
Peter Apostoli and Bryson Brown. “A solution to the completeness problem for weakly aggregative modal logic” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 832-842
Jan E. Holly. “Canonical forms for definable subsets of algebraically closed and real closed valued fields” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 843-860
Giovanni Sambin. “Pretopologies and completeness proofs” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 861-878
Thomas E. Leathrum. “A special class of almost disjoint families” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 879-891
James D. Sharp and Simon Thomas. “Some questions concerning the cofinality of Sym (ĸ)” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 892-897
Margit Messmer and Carol Wood. “Separably closed fields with higher derivations I.” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 898-910
Silvio Ghlardi and Marek Zawadowski. “A sheaf representation and duality for finitely presented Heyting algebras” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 911-939
Peter Koepke and Juan Carlos Martínez. “Superatomic Boolean algebras constructed from morasses” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 940-951
Erich Grädel and Yuri Gurevich. “Tailoring recursion for complexity” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 952-969
Hajnal Andréka, Ivo Düntsch, and István Németi. “Expressibility of properties of relations” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 970-991
James Cummings and Saharon Shelah. “A model in which every Boolean algebra has many subalgebras” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 992-1004

THE JOURNAL OF SYMBOLIC LOGIC. VOL 60. Number 4. 1995.

Derrick Albert DuBose. “Determinacy and the sharp function on objects of type k The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1025-1053
René David and Karim Nour. “Storage operators and directed lambda-calculus” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1054-1086

B. A. Davey, M. Haviar, and H. A. Priestley. “The syntax and semantics of entailment in duality theory” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1087-1114


Paul Howard and Jean E. Rubin. “The axiom of choice for well-ordered families and for families of well-orderable sets” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1115-1117
Steffen Lempp and André Nies. “The undecidability of the ∏4- theory for the r.e. wtt and turing degrees” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1118-1136
James H. Schmerl. “A reflection principle and its applications to nonstandard models” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1137-1152
Taneli Huuskonen. “Comparing notions of similarity for uncountable models” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1153-1167
Haim Judah and Miroslav Repický. “Amoeba reals” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1168-1185
Andreas Blass. “A induction principle and pigeonhole principles for K-finite sets” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1186-1193
Deko V. Dekov. “Embeddability and the word problem” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1194-1198
Greg Hjorth. “A dichotomy for the definable universe” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1199-1207
Zlatan Damnjanovic. “Minimal realizability of intuitionistic arithmetic and elementary analysis” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1208-1241
Jaroslav Ježek and George F. McNulty. “The existence of finitely based lower covers for finitely based equational theories” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1242-1250
Anand Pillay. “The geometry of forking and groups of finite Morley rank” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1251-1259
Tapani Hyttinen and Saharon Shelah. “Constructing strongly equivalent nonisomorphic models for unsuperstable theories. Part B.” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1260-1272
Greg Hjorth and Alexander S. Kechris. “Analytic equivalence relations and Ulm-type classifications” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1273-1300
Leonard Lipshitz and Thanases Pheidas. “An analogue of Hilbert’s tenth problem for p-adic entire functions” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1301-1309

THE JOURNAL OF SYMBOLIC LOGIC. VOL 61. Number 1. 1996.

Alberto Zanardo. “Branching-time logic with quantification over branches: The point of view of modal logic” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 1-39
Greg Hjorth. “Variations of the Martin-Solovay tree” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 40-51
Andreas Weiermann. “How to characterize provably total functions by local pedicativity” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 52-69
Jaap Van Oosten. “Two remarks on the Lifschitz realizability topos” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 70-79

Tomek Bartoszyn´ski, Andrzej Roslanowski, and Saharon Shelah. “Adding one random real” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 80-90


Lev D. Beklemishev. “ Bimodal logics for extensions of arithmetical theories” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 91-124
Michael Rathjen. “Monotone inductive definitions in explicit mathematics” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 125-146
Martin Otto. “The expressive power of fixed-point logic with counting” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 147-176
Lorenz Halbeisen and Haim Judah. “Mathias absoluteness and Ramsey property” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 177-194
Sachio Hirokawa. “The proofs of α α in P-WThe journal of symbolic logic. Vol. 61. Number 1, 1996 página 195-211
Dag Westerståhl. “Self-commuting quantifiers” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 212-224
Arthur W. Apter. “AD and patterns of singular cardinals below Θ The journal of symbolic logic. Vol. 61. Number 1, 1996 página 225-235
Enrique Casanovas and Rafel Farré. “Omitting types in incomplete theories” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 236-245
Marion Scheepers. “Lebesgue measure zero subsets of the real line and an infinite game” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 246-249
Adam J. Grove, Joseph Y. Halpern, and Daphne Koller. “Asymptotic conditional probabilities: The non-unary case” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 250-276
Anatole Khelif. “Existentially closed models via constructible sets: There are 2N0 existentially closed ordered groups” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 277-284
Henryk Kotlarski. “An addition to Rosser’s theorem” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 285-292
P. D. Welch. “Countable unions of simple sets in the core model” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 293-312
Thomas Jech and Saharon Shelah. “Possible PCF algebras” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 313-317
Ludomir Newelski. “On atomic or saturated sets” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 318-333

THE JOURNAL OF SYMBOLIC LOGIC. VOL 61. Number 2. 1996.

Ross T. Brady. “Gentzenizations of relevant logics without distribution. I.” The journal of symbolic logic. Vol. 61. Number 2, 1996 página 353-378
Ross T. Brady. “Gentzenizations of relevant logics without distribution. II.” The journal of symbolic logic. Vol. 61. Number 2, 1996 página 379-401
Ross T. Brady. “Gentzenizations of relevant logics without distribution” The journal of symbolic logic. Vol. 61. Number 2, 1996 página 402-420
Michael Zakharyaschev. “Canonical formulas for K4. Part II: Cofinal subframe logics” The journal of symbolic logic. Vol. 61. Number 2, 1996 página 421-449
Marcia J. Groszek, Michael E. Mytilinaios, and Theodore A. Slaman. “The sacks density theorem and Σ2-bounding” The journal of symbolic logic. Vol. 61. Number 2, 1996 página 450-467
Thomas Glass. “On power set in explicit mathematics” The journal of symbolic logic. Vol. 61. Number 2, 1996 página 368-489
Penelope Maddy. “Set theoretic naturalism” The journal of symbolic logic. Vol. 61. Number 2, 1996 página 490-514
Patrick Cegielski, Yuri Matiyasevich, and Denis Richard. “Definability and decidability issues in extensions of the integers with the divisibility issues in extensions of the integers with the divisibility predicate” The journal of symbolic logic. Vol. 61. Number 2, 1996 página 515-540
Yves Lafont. “The undecidability of second order linear logic without exponentials” The journal of symbolic logic. Vol. 61. Number 2, 1996 página 541-548
Yuri Gurevich and Saharon Shelah. “On finite rigid structures” The journal of symbolic logic. Vol. 61. Number 2, 1996 página 549-562
O. Finkel and J. P.Ressayre. “Stretchings” The journal of symbolic logic. Vol. 61. Number 2, 1996 página 563-585
Vladimir Kanovei. “On external Scott algebras in nonstandard models of Peano arithmetic” The journal of symbolic logic. Vol. 61. Number 2, 1996 página 586-607
William C. Purdy. “Fluted formulas and the limits of decidability” The journal of symbolic logic. Vol. 61. Number 2, 1996 página 608-620
E. Schimmerling and J. R. Steel. “Fine structure for tame inner models” The journal of symbolic logic. Vol. 61. Number 2, 1996 página 621-639
Douglas E. Ensley. “Automorphism-invariant measures on N0-categorical structures without the independence property” The journal of symbolic logic. Vol. 61. Number 2, 1996 página 640-652
G. Y. Sher. “Did tarski commit “Tarski’s fallacy”?” The journal of symbolic logic. Vol. 61. Number 2, 1996 página 653-686

THE JOURNAL OF SYMBOLIC LOGIC. VOL 61. Number 3. 1996.


Paul Taylor. “Intuitionistic sets and ordinals” The journal of symbolic logic. Vol. 61. Number 3, 1996 página 705-744


Wim Veldman and Frank Waaldijk. “Some elementary results in intuitionistic model theory” The journal of symbolic logic. Vol. 61. Number 3, 1996 página 745-767
Jeremy Avigad. “On the relationship between ATR0 and ID<w The journal of symbolic logic. Vol. 61. Number 3, 1996 página 768-779
M. Gilchrist and S. Shelah. “Identities on cardinals less than NwThe journal of symbolic logic. Vol. 61. Number 3, 1996 página 780-787
Leon Horsten. “Reflecting in epistemic arithmetic” The journal of symbolic logic. Vol. 61. Number 3, 1996 página 788-801
Lauri Hella, Kerkko Luosto, and Jouko Väänänen. “The hierarchy theorem for generalized quantifiers” The journal of symbolic logic. Vol. 61. Number 3, 1996 página 802-817
Gerhard Jäger and Thomas Strahm. “Some theories with positive induction of ordinal strength φ w0” The journal of symbolic logic. Vol. 61. Number 3, 1996 página 818-842
Silvio Ghilardi and Giancarlo Meloni. “Relational and partial variable sets and basic predicate logic” The journal of symbolic logic. Vol. 61. Number 3, 1996 página 843-872
Alan Dow. “On Boolean subalgebras of P(w1)/ ctbleThe journal of symbolic logic. Vol. 61. Number 3, 1996 página 873-879
Klaus Ambos-Spies, Peter A. Fejer, Stefen Lempp, and Manuel Lerman. “Decidability of the two-quantifier theory of the recursively enumerable weak truth-table degrees and other distributive upper semi-lattices” The journal of symbolic logic. Vol. 61. Number 3, 1996 página 880-905
Greg Hjorth. “On N1 many minimal models” The journal of symbolic logic. Vol. 61. Number 3, 1996 página 906-919
Claude Laflamme. “A few special ordinal ultrafilters” The journal of symbolic logic. Vol. 61. Number 3, 1996 página 920-927
José Iovino. “The Morley rank of a Banach space” The journal of symbolic logic. Vol. 61. Number 3, 1996 página 928-941
Domenico Zambella. “Notes on polynomially bounded arithmetic” The journal of symbolic logic. Vol. 61. Number 3, 1996 página 942-966
Ambar Chowdhury, James Loveys, and Predrag Tanovic´. “A definable continuous rank for nonmultidimensional superstable theories” The journal of symbolic logic. Vol. 61. Number 3, 1996 página 967-984
Michael C. Laskowski and Laura L. Mayer. “Stable substructures” The journal of symbolic logic. Vol. 61. Number 3, 1996 página 985-1005
Natasha Alechina and Michiel Van Lambalgen. “Generalized quantification as substructural logic” The journal of symbolic logic. Vol. 61. Number 3, 1996 página 1006-1044

THE JOURNAL OF SYMBOLIC LOGIC. VOL 61. Number 4. 1996.

D. M. Gabbay. “Fibred semantics and the weaving of logics. Part 1: Modal and intuitionstic logics” The journal of symbolic logic. Vol. 61. Number 4, 1996 página 1057-1120
Françoise Delon and Rafel Farré. “Some model theory for almost real closed fields” The journal of symbolic logic. Vol. 61. Number 4, 1996 página 1121-1152
J. D. Cifuentes, A. M. Sette, and D. Mundici. “Cauchy completeness in elementary logic” The journal of symbolic logic. Vol. 61. Number 4, 1996 página 1153-1157
Masahiro Kumabe. “Minimal complementation below uniform upper bounds for the arithmetical degrees” The journal of symbolic logic. Vol. 61. Number 4, 1996 página 1158-1192
Grigori Mints. “Strong termination for the epsilon substitution method” The journal of symbolic logic. Vol. 61. Number 4, 1996 página 1193-1205
Shmuel Lifsches and Saharon Shelah. “Uniformization, choice functions and well orders in the class of trees” The journal of symbolic logic. Vol. 61. Number 4, 1996 página 1206-1227
Alessandro Berarducci and Margarita Otero. “A recursive nonstandard model of normal open induction” The journal of symbolic logic. Vol. 61. Number 4, 1996 página 1228-1241
Pilar Dellunde and Ramon Jansana. “Some characterization theorems for infinitary universal Horn logic without equality” The journal of symbolic logic. Vol. 61. Number 4, 1996 página 1242-1260
Saharon Shelah. “If there is an exactly λ-free abelian group then there is an exactly λ-seperable one in λ” The journal of symbolic logic. Vol. 61. Number 4, 1996 página 1261-1278
James Loveys and Predrag Tanovic´. “Countable models of trivial theories which admit finite coding” The journal of symbolic logic. Vol. 61. Number 4, 1996 página 1279-1286
Abhijit Dasgupta. “Boolean operations, Borel sets, and Hausdorff’s question” The journal of symbolic logic. Vol. 61. Number 4, 1996 página 1287-1304
M. C. Laskowski and S. Shelah. “Forcing isomorphism II.” The journal of symbolic logic. Vol. 61. Number 4, 1996 página 1305-1320
Ross T. Brady. “Simple Gentzenizations for the normal formulae of contraction-less logics” The journal of symbolic logic. Vol. 61. Number 4, 1996 página 1321-1346
Barry Cooper and Andrea Sorbi. “Noncappable enumeration degrees below

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