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. 62. Number 2, 1997 página 624 - 635


Paliath Narendran, Frank Pfenning, and Richard Statman. “On the unification problem for Cartesian closed categories” The journal of symbolic logic. Vol. 62. Number 2, 1997 página 636 - 647


Mati Pentus. “Product-free Lambek calculus and context-free grammars”^ The journal of symbolic logic. Vol. 62. Number 2, 1997 página 648 - 660


Alexei Stolboushkin and Damian Niwiński. “y =2x vs. y =3x” The journal of symbolic logic. Vol. 62. Number 2, 1997 página 661 - 672


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


Thierry Coquand. “Minimal invariant space in formal topology” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 689-698


J. Ada´mek , P. T. Johnstone, J. A. Makowski, and J. Rosický. “Finitary sketches” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 699-707


Mary Bonet, Toniann Pitassi, and Ran Raz. “Lower bounds for cutting planes proofs with small coefficients” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 708-728


Sabine Broda and Luís Damas. “Compact bracket abstraction in combinatory logic” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 729-740


Douglas R. Burke. “Precipitous towers of normal filters” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 741-754


Vincent Danos, Jean-Baptiste Joinet, and Harold Schellinx. “A new deconstructive logic: linear logic” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 755-807


Sy. D. Friedman. “Coding without fine structure” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 808-815

Robin Hirsch and Ian Hodkinson. “Complete representations in algebraic logic” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 816-847


Shmuel Lifsches and Saharon Shelah. “Peano arithmetic may not be interpretable in the monadic theory of linear orders” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 848-872


S. J. McLeish. “The forth part of the back and forth map in countable homogeneous structures” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 873-890


Jiří Rosický. “Accessible categories, saturation and categoricity” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 891-901


Saharon Shelah and Simon Thomas. “The cofinality spectrum of the infinite synnetric group” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 902-916


Miklós Erdélyi-Szabó. “Decidability of Scott’s model as an ordered Q-vectorspace” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 917-924


Alan R. Woods. “Counting finite models” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 925-949


Michael Zakharyaschev. “Canonical formulas for K4. Part III: the finite model property” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 950-975


Marion Scheepers. “Rothberger’s property and partition relations” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 976-980


Pavel Pudlák. “Lower bounds for resolution and cutting plane proofs and monotone computations” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 981-998


Juha Oikkonen. “Undefnability of ĸ-well-orderings in L͚ĸ” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 999-1020


Erik Palmgren and Viggo Stoltenberg-Hansen. “A logical presentation of the continuous functionals” The journal of symbolic logic. Vol. 62. Number 3, 1997 página 1021-1034


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


Philip Kremer. “Defining relevant implication in a propositionally quantified S4” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1057-1069


Anand Pillay and Akito Tsuboi. “Amalgamations preserving N0-categoricity” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1070-1092


Deirdre Haskell and Dugald Macpherson. “A version of o-minimality for the p-adics” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1093-1141


Jan E. Holly. “Prototypes for definable subsets of algebraically closed valued fields” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1142-1146


Gerhard Jäger. “Powers types in explicit mathematics?” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1147-1150


Dirk Van Dalen. “How connected is the intuitionistic continuum?” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1151-1160


Martin Gilchrist and Saharon Shelah. “The consistency of ZFC + 2N0 ˃ Nw + F (N2) = F (Nw)” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1161-1172


Noa Goldring. “The entire NS ideal on P y μ can be precipitous” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1173-1178


Ricardo Bianconi. “Nondefinability results for expansions of the field of real numbers by the exponential function and by the restricted sine function” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1179-1186


Heike Mildenberger. “Non-constructive Galois-Tukey connections” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1187-1201


Sanjay Jain and Arun Sharma. “The structure of intrinsic complexity of learning” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1202-1209-1214


Yves Lafont. “The finite model property for various fragments of linear logic” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1215-1240


Andrea Asperti and Agata Ciabattoni. “A sufficient condition for completability of partial combinatory algebras” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1241-1252


Rodney G. Downey and Steffen Lempp. “Contiguity and distributivity in the enumerable Turing degrees” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1253-1264


Renling Jin. “Type two cuts, bad cuts and very bad cuts” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1265-1279


Marion Scheepers, and William Weiss. “Variations on a game of Gale (III): remainder strategies” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1280-1296


J. L. Bell. “Zorn’s lemma and complete Boolean algebras in intuitionistic type theories” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1297-1314


Alexis Bès. “Undecidable extensions Büchi arithmetic and Cobham-Semënov Theorem” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1315-1340


Andrzej Roslanowski and Saharon Shelah. “Simple forcing notions and forcing axioms” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1341-1352


Sara Negri and Silvio Valentini. “Tychonoff’s theorem in the framework of formal topologies” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1353-1364


Vladimir Kanovei. “An Ulm-type classification theorem for equivalence relations in Solovay model” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1365-1379


Eric Martin and Daniel Osherson. “Scientific discovery based on belief revision” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1380-1396


Vann McGee. “The complexity of the modal predicate logic of ‘true in every transitive model of ZF’” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1371-1378


Joan Bagaria and W. Hugh Woodin. “Δ~1n sets of reals” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1379-1428


Carlo Toffalori. “Wildness implies undecidability for lattices over group rings” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1429-1447


Ieke Moerdijk and Erik Palmgren. “Minimal models of Heyting arithmetic” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1448-1460


Michel Parigot. “Proofs of strong normalisation for second order classical natural deduction” The journal of symbolic logic. Vol. 62. Number 4, 1997 página 1461-1479


THE JOURNAL OF SYMBOLIC LOGIC. VOL 63. Number 1. 1998.


Leo Harrington and Robert I. Soare. “Codable sets and orbits of computably enumerable sets” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 1-28


Arnold W. Miller and Juris Steprans. “Orthogonal families of real sequences” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 29-49


M. Boffa. “More on an undecidability result of Bateman, Jockuch and Woods” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 50


Joel David Hamkins. “Small Forcing makes any cardinal superdestructible” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 51-58


Alistair H. Lachlan and Robert I. Soare. “Models of arithmetic and subuniform bounds for the arithmetic sets” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 59-72


Thomas Eiter and Georg Gottlob. “On the expressiveness of frame satisfiability and fragments of second-order logic” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 73-82


L. Lipshitz and Z. Robinson. “On dimensional fibers of rigid subanalytic sets” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 83-88


Stephen Bigelow. “Supplements of bounded permutation groups” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 89-102


Shmuel Lifsches and Saharon Shelah. “Uniformization and Skolem functions in the class of trees” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 103-127


Marek Balcerzak, Andrzej Ropslanowski and Saharon Shelah. “Ideals without ccc” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 128-148


Arthur W Apter. “Laver indestructibility and the class of compact cardinals” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 149-157


Sy D. Friedman. “Generic saturation” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 158-162


Hajnal Andréka, Robert Goldblatt and István Németi. “Relativised quantification: Some canonical varieties of sequence-set algebras” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 163-184


Dieter Spreen. “On effective topological spaces” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 185-221


Mauro Di. Nasso. “Pseudo-superstructures as nonstandard universes” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 222-236


Françoise Delon and Patrick Simonetta. “Undecidable wreath products and skew power series fields” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 237-246


Gian Aldo Antonelli. “Extensional quotients for type theory and the consistency problem for NF” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 247-261


Kenneth Schilling. “Vanishing Borel sets” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 262-268


Tomasz Polacik. “Propositional quantification in the monadic fragment of intuitionistic logic” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 269-300


Andrej Nowik, Marion Scheepers and Tomasz Weiss. “The algebraic sum of real numbers with strong measure zero sets” The journal of symbolic logic. Vol. 63. Number 1, 1998 página 301-324

THE JOURNAL OF SYMBOLIC LOGIC. VOL 63. Number 2. 1998.


Jacob Lurie. “The effective content of surreal algebra” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 337-371


David Ballard and William Boshuck. “Definability and descent” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 372-378


Alexis Bèsmand Denis Richard. “Undecidable extensions of Skolem arithmetic” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 379-401


Paola D’ Aquino. “Solving Pell equations locally in models of IΔ0” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 402-410


Marat M. Arslanov, Geoffrey L. LaForte and Theodore A. Slaman. “Relative enumerability in the difference hierarchy” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 411-420


Oleg V. Belegradek. “On minimal structures” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 421-426


John T. Baldwin and Saharon Shelah. “DOP and FCP in generic structures” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 427-438


Mike Prest. “The representation theories of elementarily equivalent rings” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 439-450


A. J. C. Hurkens, Monica Mc Arthur, Yiannis N. Moschovakis, Lawrence S. Moss and Glen T. Whitney. “The logic of recursive equations” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 451-478


Maarten Marx. “Amalgamation in relation algebras” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 479-484


Mark J. Debonis and Ali Nesin. “There are 2 N0 many almost strongly minimal generalized n- gons that do not interpret an infinite group” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 485-508


Michael Rathjen. “Some two-cardinal results for O-minimal theories” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 509-542


Timothy Bays. “Superdestructibility: A dual to Laver’s indestructibility” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 543-548


Joel David Hamkins and Saharon Shelah. “A strong version of Herbrand’s theorem for introvert sentences” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 549-554


Tore Langholm. “Paires de structures O- minimales” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 555-569


Yerzhan Baisalov and Bruno Poizat. “Sequentially continuous linear mappings in constructive analysis” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 570-578


Douglas Bridges and Ray Mines. “Sequentially continuous linear mappings in constructive analysis” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 579-583


Claude Laflamme and Jian-Ping Zhu. “The Rudin-Blass ordering of ultrafilters” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 584-592


Heike Mildenberger. “Changing cardinal invariants of the reals without changing or the reals” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 593-599


Stefano Berardi, Marc Bezem and Thierry Coquand. “On the computational content of the axiom of choice” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 600-622


Wendy MacCaull. “Relational semantics and a relational proof system for full Lambek calculus” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 623-637


Michael Benedikt. “Ultrafilters which extend measures” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 638-662


Greg Hjorth. “An absoluteness principle for Borel sets” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 663-693


Mark D. Schelatter. “A many permutation group result for unstable theories” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 694-708


Gaisi Takeuti. “Frege proof system and TNC°” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 709-738


Deirdre Haskell and Dugald Macpherson. “A note on valuation definable expansions of fields” The journal of symbolic logic. Vol. 63. Number 2, 1998 página 739-743


THE JOURNAL OF SYMBOLIC LOGIC. VOL 63. Number 3. 1998.


Charles Morgan. “Higher gap morasses, Ia: Gap-two morases and condensation” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 753-787


Anand Pillay. “Definability and definable groups in simple theories” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 788-796


C. T. Chong and Yue Yang. “Σ2 induction and infinite injury priority argument, Part I: maximal sets and the jump operator” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 797-814


Friederike Körner. “Automorphisms moving all non-algebraic points and an application to NF” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 815-830


A. Avron. “Multiplicative conjunction and an algebraic meaning of contraction and weakening” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 831-859


Gaisi Takeuti and Masahiro Yasumoto. “Forcing on bounded arithmetic II” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 860-868


Will Dekkers, Martin Bunder and Henk Barendregt. “Completeness of the propositions-as-types interpretation of intuitionist logic into illative combinatory logic” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 869-890


Su Gao. “On automorphism groups of countable structures” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 891-896


Toshiyasu Arai. “Variations on a theme by Weiermann” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 897-925


Byunghan Kim. “A note on Lascar strong types in simple theories” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 926-936


Daniel W. Cunningham. “The fine structure of real mice” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 937-994


Frank O. Wagner. “Small fields” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 995-1002


Yo Matsubara and Masahiro Shioya. “Nowhere precipitousness of some ideals” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 1003-1006


J. Paris and A. Vencovská. “Proof systems for probabilistic uncertain reasoning” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 1007-1039


P. Matet and J. Pawlikowski. “Ideals over w and cardinal invariants of the continuum” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 1040-1054


Piotr Koszmider. “On the existence of strong chains in  (w1)/Fin ” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 1055-1062


Alex M. McAllister. “Completions of PA: Models and enumerations of representable sets” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 1063-1082


W. L. Founché and P. H. Potgieter. “Kolmogorov complexity and symmetric relational structures” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 1083-1094


Mario Chiari and Jan Krajíček. “Witnessing functions in bounded arithmetic and search problems” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 1095-1115


Andrés Villaveces. “Chains of end elementary extensions of models of set theory” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 1116-1136


Peter Koepke. “Extenders, embedding normal forms, and the Martin-Steel-theorem” The journal of symbolic logic. Vol. 63. Number 3, 1998 página 1137-1176


THE JOURNAL OF SYMBOLIC LOGIC. VOL 64. Number 1. 1999.


Moti Gitik. “On closed unbounded sets consisting of former regulars” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 1-12


Peter Cholak, Sergey Goncharov, Bakhadyr Khoussainov and Richard A. Shore. “Computably categorical structures and expansions by constants” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 13-37


Qi Feng. “Rado’s conjecture and presaturation of the nonstationary ideal on w1” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 38-44


Rod Downey and Carl G. Jockusch, Jr. “Effective presentability of Bolean algebras of Cantor-Bendixson rank 1” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 45-52


Gerharg Jäger, Reinhard Kahle, Anton Setzer and Thomas Strahm. “The proof-theoretic analisis of transfinitely iterated fixed point theories” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 53-67


Tuna Altinel and Gregory Cherlin. “On central extensions of algebraic groups” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 68-74


Slawomir Solecki and Otmar Spinas. “Dominating and unbounded free sets” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 75-80


Paul Larson. “An Smax variation for one Souslin tree” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 81-98


Marcus Kracht and Frank Wolter. “Normal monomodal logics can simulate all orthers” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 99-138


Ralf-Dieter Schindler. “Successive weakly compact or singular cardinals” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 139-146


Hisato Muraki. “Non-distributive upper semilattice of Klenne degrees” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 147-158


Gregory L. Cherlin. “Infinite imprimite homogeneous 3-edge-colored complete graphs” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 159-179


Mirna Džamonja and Saharon Shelah. “Similar but not the same: various versions of ♣ do not coincide” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 180-198


U. Felgner and J. K. Truss. “Thew independence of the Prime Ideal Theorem from the Order- Extension Principle” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 199-215


Salma Kuhlmann. “Infinitary properties of valued and ordered vector spaces” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 216-226


Kosta Došen and Zoran Petric´. “Cartesian isomorphisms are symmetric monoidal: A justification of linear logic” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 227-242


H. Andréka, I. Hodkinson and I. Németi. “Finite algebras of relations are representable on finite sets” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 243-267


A. James Humphreys and Stephen G. Simpson. “Separation and Weak König’s Lemma” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 268-278


J. Czelakowski and W. Dziobiak. “Deduction theorems within RM and its extensions” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 279-290


Hongwei Xi. “Upper bounds for standardizations and an application” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 291-303


Stefano Berardi. “Intuitionistic completeness for first order classical logic” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 304-312


Andrea Cantini and Pierluigi Minari. “Uniform inseparability in explicit mathematics” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 313-326


Jeremy Avigad and Richard Sommer. “The model-theoretic ordinal analysis of theories of predicative strength” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 327-349


Amir Leshem and Menachem Magidor. “The independence of δ1n The journal of symbolic logic. Vol. 64. Number 1, 1999 página 350-362


Felipe Cucker and Klaus Meer. “Logics which capture complexity classes over the reals” The journal of symbolic logic. Vol. 64. Number 1, 1999 página 363-390



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