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

The journal of symbolic logic. Vol 41. Number 1976



Similar
1   2   3   4
0’The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1301-1325


Frank P. Weber. “Initial segments of the lattice of ideals of r.e. degrees” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1326-1350


Mark E. Nadel. “Scott heights of abelian groups” ^ The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1351-1359


Rod Downey and Christine Haught. “Embedding lattices into the wtt-degrees below 0’” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1360-1382


C. J. Ash and J. F. Knight. “Mixed systems” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1383-1399


Anand Pillay. “Definability of types, and pairs of O-minimal structures” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1400-1409


C. J. Ash. “On countable fractions- from an elementary class” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1410-1413


Henryk Kotlarski. “On the incompleteness theorems” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1414-1419


P. D. Welch. “Characterising subsets of w1 constructible from a real” The journal of symbolic logic. Vol. 59. Number 4, 1994 página 1420-1432


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


Saharon Shelah and Lee J. Stanley. “A combinatorial forcing for coding the universe by a real when there are no sharps” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 1-35


Saharon Shelah and Lee J. Stanley. “The combinatorics of combinatorial coding by a real” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 36-57


Martin Goldstern and Saharon Shelah. “The bounded proper forcing axiom” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 58-73


Lou Van den Dries, and Adam H. Lewenberg. “T-convexity and tame extensions” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 74-102


Aleksandar Ignjatovic´. “Delineating classes of computational complexity via second order theories with weak set existence principles I.” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 103-121


Rolando Chuaqui and Patrick Suppes. “Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 122-159


Masanao Ozawa. “Scott incomplete Boolean ultrapowers of the real line” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 160-171


J. M. Henle. “The consistency of one fixed omega” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 172-177


M. Randall Holmes. “The equivalence of NF-style set theories with “tangled” type theories; the construction of w-models of predicate NF (and more)” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 178-190


Jan Mycielski. “New set-theoretic axioms derived from a lean metamathematics” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 191-198


Carl G. Jockusch, Jr. and Alexandra Shlapentokh. “Weak presentations of computable fields” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 199-208


J. L. Bell. “Type reducing correspondences and well-orderings: Frege´s and Zermelo’s constructions re-examined” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 209-221


Julia F. Knight. “Requirement systems” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 222-245


J. Baldwin and S. Shelah. “Abstract classes with few models have “homogeneous-universal” models” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 246-265


V. V. Rybakov. “Hereditarily structurally complete modal logics” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 266-288


V. L. Selivanov. “Fine hierarchies and Boolean terms” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 289-317


V. Kanovei. “Uniqueness, collection, and external collapse of cardinals in IST and models of Peano arithmetic” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 318-324


Thierry Coquand. “A semantics of evidence for classical arithmetic” The journal of symbolic logic. Vol. 60. Number 1, 1995 página 325-337


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


Bernhard Herwing. “Weight w in stable theories with few types” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 353-373


Haim Judah and Andrzej Roslanowski. “Martin’s axiom and the continuum” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 374-391


Gregory L. McColm. “The dimension of the negation of transitive closure” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 392-414


Greg Bishop. “Ultrafilters generated by a closed set of functions” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 415-430


Peter Nyikos and Leszek Piatkiewicz. “On the equivalence of certain consequences of the porper forcing axiom” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 431-443


Grzegorz Labedzki and Miroslav Repicky. “Hechler reals” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 444-458


Ming Xu. “On the basic logic of STIT with a single agent” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 459-483


Luc Bélair. “Anneaux de fonctions p-adiques” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 484-497


Dick de Jongh and L. A. Chagrova. “The decidability of dependency in intuitionistic propositional logic” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 498-504


Yue Yang. “The thickness lemma from Pˉ+ IΣ1 +- BΣ2” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 505-511


James H. Schmerl. “The isomorphism property for nonstandard universes” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 512-516


Martin Grohe. “Complete problems for fixed-point logics” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 517-527


Anand Pillay and Bruno Poizat. “Corps et chirurgie” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 528-533


Jiří Witzany. “Possible behaviours of the reflection ordering of stationary sets” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 534-547


G. Leloup. “Élimination des quantificateurs dans des paires de corps” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 548-562


Giovanni Panti. “A geometric proof of the completeness of the Lukasiewicz calculus” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 563-578


Edwin D. Mares. “A star-free semantics for R” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 579-590


Yde Venema. “Cylindric modal logic” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 591-623


James E. Baumgartner. “Ultrafilters on w The journal of symbolic logic. Vol. 60. Number 2, 1995 página 624-639


Daniel Dzierzgowski. “Models of intuitionistic TT and NF” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 640-653


Terrence Millar. “Model completions and omitting types” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 654-672


Enrique Casanovas. “Compactly expandable models and stability” The journal of symbolic logic. Vol. 60. Number 2, 1995 página 673-683

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


Otmar Spinas. “Generic trees” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 705-726


Rod Downey and Richard A. Shore. “Degree theoretic definitions of the low2 recursively enumerable sets” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 727-756


Frank Wolter. “The finite model property in tense logic” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 757-774


Hajnal Andréka, Steven Givant, and István Németi. “Perfect extensions and derived algebras” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 775-796


Robert J. Poston. “Defining multiplication in o-minimal expansions of the addictive reals” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 797-816


Michael C. Laskowski and Charles Steinhorn. “On o-minimal expansions of Archimedean ordered groups” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 817-831


Peter Apostoli and Bryson Brown. “A solution to the completeness problem for weakly aggregative modal logic” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 832-842


Jan E. Holly. “Canonical forms for definable subsets of algebraically closed and real closed valued fields” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 843-860


Giovanni Sambin. “Pretopologies and completeness proofs” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 861-878


Thomas E. Leathrum. “A special class of almost disjoint families” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 879-891


James D. Sharp and Simon Thomas. “Some questions concerning the cofinality of Sym (ĸ)” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 892-897


Margit Messmer and Carol Wood. “Separably closed fields with higher derivations I.” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 898-910


Silvio Ghlardi and Marek Zawadowski. “A sheaf representation and duality for finitely presented Heyting algebras” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 911-939


Peter Koepke and Juan Carlos Martínez. “Superatomic Boolean algebras constructed from morasses” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 940-951


Erich Grädel and Yuri Gurevich. “Tailoring recursion for complexity” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 952-969


Hajnal Andréka, Ivo Düntsch, and István Németi. “Expressibility of properties of relations” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 970-991


James Cummings and Saharon Shelah. “A model in which every Boolean algebra has many subalgebras” The journal of symbolic logic. Vol. 60. Number 3, 1995 página 992-1004


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


Derrick Albert DuBose. “Determinacy and the sharp function on objects of type k The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1025-1053


René David and Karim Nour. “Storage operators and directed lambda-calculus” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1054-1086

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


Paul Howard and Jean E. Rubin. “The axiom of choice for well-ordered families and for families of well-orderable sets” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1115-1117


Steffen Lempp and André Nies. “The undecidability of the ∏4- theory for the r.e. wtt and turing degrees” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1118-1136


James H. Schmerl. “A reflection principle and its applications to nonstandard models” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1137-1152


Taneli Huuskonen. “Comparing notions of similarity for uncountable models” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1153-1167


Haim Judah and Miroslav Repický. “Amoeba reals” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1168-1185


Andreas Blass. “A induction principle and pigeonhole principles for K-finite sets” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1186-1193


Deko V. Dekov. “Embeddability and the word problem” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1194-1198


Greg Hjorth. “A dichotomy for the definable universe” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1199-1207


Zlatan Damnjanovic. “Minimal realizability of intuitionistic arithmetic and elementary analysis” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1208-1241


Jaroslav Ježek and George F. McNulty. “The existence of finitely based lower covers for finitely based equational theories” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1242-1250


Anand Pillay. “The geometry of forking and groups of finite Morley rank” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1251-1259


Tapani Hyttinen and Saharon Shelah. “Constructing strongly equivalent nonisomorphic models for unsuperstable theories. Part B.” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1260-1272


Greg Hjorth and Alexander S. Kechris. “Analytic equivalence relations and Ulm-type classifications” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1273-1300


Leonard Lipshitz and Thanases Pheidas. “An analogue of Hilbert’s tenth problem for p-adic entire functions” The journal of symbolic logic. Vol. 60. Number 4, 1995 página 1301-1309


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


Alberto Zanardo. “Branching-time logic with quantification over branches: The point of view of modal logic” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 1-39


Greg Hjorth. “Variations of the Martin-Solovay tree” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 40-51


Andreas Weiermann. “How to characterize provably total functions by local pedicativity” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 52-69


Jaap Van Oosten. “Two remarks on the Lifschitz realizability topos” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 70-79

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


Lev D. Beklemishev. “ Bimodal logics for extensions of arithmetical theories” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 91-124


Michael Rathjen. “Monotone inductive definitions in explicit mathematics” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 125-146


Martin Otto. “The expressive power of fixed-point logic with counting” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 147-176


Lorenz Halbeisen and Haim Judah. “Mathias absoluteness and Ramsey property” The journal of symbolic logic. Vol. 61. Number 1, 1996 página 177-194


Sachio Hirokawa. “The proofs of α α in P-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 0’e. The journal of symbolic logic. Vol. 61. Number 4, 1996 página 1347-1363


William C. Calhoun and Theodore A. Slaman. “The ∏02 enumeration degrees are not dense” The journal of symbolic logic. Vol. 61. Number 4, 1996 página 1364-1379


Thomas Jech and Saharon Shelah. “On countably closed complete Boolean algebras” The journal of symbolic logic. Vol. 61. Number 4, 1996 página 1380-1386


THE JOURNAL OF SYMBOLIC LOGIC. VOL 62. Number 1. 1997.


Philip Sowcroft. “More on imaginaries in p-adic fields” The journal of symbolic logic. Vol. 62. Number 1, 1997 página 1-13


Lou Van Den Dries. “T -convexity and tame extensions II” The journal of symbolic logic. Vol. 62. Number 1, 1997 página 14-34


Jindřich Zapletal. “Splitting number at uncountable cardinals” The journal of symbolic logic. Vol. 62. Number 1, 1997 página 35-42


Douglas Peterson. “Cardinal functions on ultraproducts of Boolean algebras” The journal of symbolic logic. Vol. 62. Number 1, 1997 página 43-59


Patrick Simonetta. “Une correspondence entre anneaux partiels et groupes” The journal of symbolic logic. Vol. 62. Number 1, 1997 página 60-78


V. Yu. Shavrukov. “Undecidability in diagonalizable algebras” The journal of symbolic logic. Vol. 62. Number 1, 1997 página 79-116


Douglas Burke and Yo Matsubara. “Ideals and combinatorial principles” The journal of symbolic logic. Vol. 62. Number 1, 1997 página 117-122


Françoise Maurin. “The theory of integer multiplication with order restricted to primes is decidable” The journal of symbolic logic. Vol. 62. Number 1, 1997 página 123-130


Frank Wolter. “Completeness and decidability of tense logics closely related to logics above K4” The journal of symbolic logic. Vol. 62. Number 1, 1997 página 131-158


Oliver Chapuis. “˅ -free metabelian groups” The journal of symbolic logic. Vol. 62. Number 1, 1997 página 159-174


Matthew Foreman and Menachem Magidor. “A very weak square principle” The journal of symbolic logic. Vol. 62. Number 1, 1997 página 175-196


Kyriakos Kontostathis. “The combinatorics of the splitting theorem” The journal of symbolic logic. Vol. 62. Number 1, 1997 página 197-224


Robin Hirsch and Ian Hodkinson. “Step by step-Building representations in algebraic logic” The journal of symbolic logic. Vol. 62. Number 1, 1997 página 225-279


Jindřich Zapletal. “Small forcings and Cohen reals” The journal of symbolic logic. Vol. 62. Number 1, 1997 página 280-284


Nianzheng Liu. “Analytic cell decomposition and the closure of p-adic semianalytic sets” The journal of symbolic logic. Vol. 62. Number 1, 1997 página 285-303


Anne Vedø. “Asymptotic probabilities for second-order existential Kahr- Moore-Wang sentences” The journal of symbolic logic. Vol. 62. Number 1, 1997 página 304-319


THE JOURNAL OF SYMBOLIC LOGIC. VOL 62. Number 2. 1997.


Greg Hjorth. “Some applications of coarse inner model theory” The journal of symbolic logic. Vol. 62. Number 2, 1997 página 337 - 365

Joan Bagaria. “A characterization of Martin’s axiom in terms of absolutenees” The journal of symbolic logic. Vol. 62. Number 2, 1997 página 366 -372


Joel David Hamkins. “Canonical seeds and Prikry trees” The journal of symbolic logic. Vol. 62. Number 2, 1997 página 373 - 396


Steven D. Leonhardi. “Generalized nonsplitting in the recursively enumerable degrees” The journal of symbolic logic. Vol. 62. Number 2, 1997 página 397 - 437


David Pincus. “The dense linear ordering principle” The journal of symbolic logic. Vol. 62. Number 2, 1997 página 438 - 456


Jan Krajíček. “Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic” The journal of symbolic logic. Vol. 62. Number 2, 1997 página 457 - 486


Anand Pillay. “Remarks on Galois cohomology and definability” The journal of symbolic logic. Vol. 62. Number 2, 1997 página 487 - 492


José Iovino. “Definability in functional analysis” The journal of symbolic logic. Vol. 62. Number 2, 1997 página 493 - 505


Satoko Titani. “Completeness of global intuitionistic set theory” The journal of symbolic logic. Vol. 62. Number 2, 1997 página 506 - 528


Philip Kremer. “On the complexity of propositional quantification in intuitionistic logic” The journal of symbolic logic. Vol. 62. Number 2, 1997 página 529 - 544


Georg Gottlob. “Relativized logspace and generalized quantifiers over finite ordered structures” The journal of symbolic logic. Vol. 62. Number 2, 1997 página 545 - 574


Thomas Strahm. “Polynomial time operations in explicit mathematics” The journal of symbolic logic. Vol. 62. Number 2, 1997 página 575 - 594


Kenneth Scilling and Boško Živaljevic´. “Louveau’s theorem for the descriptive set theory of internal set” The journal of symbolic logic. Vol. 62. Number 2, 1997 página 595 - 607


Moshe Y. Vardi. “Special selection in logic in computer science” The journal of symbolic logic. Vol. 62. Number 2, 1997 página 608


James F. Lynch. “Infinitary logics and very sparse random graphs” The journal of symbolic logic. Vol. 62. Number 2, 1997 página 609 - 623


Ursula Martin and Elizabeth Scott. “The order types of termination orderings on monadic terms, strings and multisets”



Download 0.92 Mb.
Page3/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