Results for 'Logic, Symbolic and mathematical'

1000+ found
Order:
  1. Seventh Latin American on Mathematical Logic- Meeting of the Association for Symbolic Logic: Campinas, Brazil, 1985.Walter Carnielli - 1986 - Journal of Symbolic Logic 51 (4):1093-1103.
    This publication refers to the proceedings of the Seventh Latin American on Mathematical Logic held in Campinas, SP, Brazil, from July 29 to August 2, 1985. The event, dedicated to the memory of Ayda I. Arruda, was sponsored as an official Meeting of the Association for Symbolic Logic. Walter Carnielli. -/- The Journal of Symbolic Logic Vol. 51, No. 4 (Dec., 1986), pp. 1093-1103.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  25
    Reviewed Work(S): Lowness Properties and Randomness. Advances in Mathematics, Vol. 197 by André Nies; Lowness for the Class of Schnorr Random Reals. SIAM Journal on Computing, Vol. 35 by Bjørn Kjos-Hanssen; André Nies; Frank Stephan; Lowness for Kurtz Randomness. The Journal of Symbolic Logic, Vol. 74 by Noam Greenberg; Joseph S. Miller; Randomness and Lowness Notions Via Open Covers. Annals of Pure and Applied Logic, Vol. 163 by Laurent Bienvenu; Joseph S. Miller; Relativizations of Randomness and Genericity Notions. The Bulletin of the London Mathematical Society, Vol. 43 by Johanna N. Y. Franklin; Frank Stephan; Liang Yu; Randomness Notions and Partial Relativization. Israel Journal of Mathematics, Vol. 191 by George Barmpalias; Joseph S. Miller; André Nies. [REVIEW]Johanna N. Y. Franklin - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
    Review by: Johanna N. Y. Franklin The Bulletin of Symbolic Logic, Volume 19, Issue 1, Page 115-118, March 2013.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3. Proofs and Refutations: The Logic of Mathematical Discovery.Imre Lakatos (ed.) - 1976 - Cambridge University Press.
    Proofs and Refutations is essential reading for all those interested in the methodology, the philosophy and the history of mathematics. Much of the book takes the form of a discussion between a teacher and his students. They propose various solutions to some mathematical problems and investigate the strengths and weaknesses of these solutions. Their discussion (which mirrors certain real developments in the history of mathematics) raises some philosophical problems and some problems about the nature of mathematical discovery or (...)
  4.  45
    Jack H. Silver. Counting the Number of Equivalence Classes of Borel and Coanalytic Equivalence Relations. Annals of Mathematical Logic, Vol. 18 , Pp. 1–28. - John P. Burgess. Equivalences Generated by Families of Borel Sets. Proceedings of the American Mathematical Society. Vol. 69 , Pp. 323–326. - John P. Burgess. A Reflection Phenomenon in Descriptive Set Theory. Fundamenta Mathematicae. Vol. 104 , Pp. 127–139. - L. Harrington and R. Sami. Equivalence Relations, Projective and Beyond. Logic Colloquium '78, Proceedings of the Colloquium Held in Mons, August 1978, Edited by Maurice Boffa, Dirk van Dalen, and Kenneth McAloon, Studies in Logic and the Foundations of Mathematics, Vol. 97, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1979, Pp. 247–264. - Leo Harrington and Saharon Shelah. Counting Equivalence Classes for Co-Κ-Souslin Equivalence Relations. Logic Colloquium '80, Papers Intended for the European Summer Meeting of the Association for Symbolic Logic, Edit. [REVIEW]Alain Louveau - 1987 - Journal of Symbolic Logic 52 (3):869-870.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  5.  41
    Arthur W. Apter. On the Least Strongly Compact Cardinal. Israel Journal of Mathematics, Vol. 35 , Pp. 225–233. - Arthur W. Apter. Measurability and Degrees of Strong Compactness. The Journal of Symbolic Logic, Vol. 46 , Pp. 249–254. - Arthur W. Apter. A Note on Strong Compactness and Supercompactness. Bulletin of the London Mathematical Society, Vol. 23 , Pp. 113–115. - Arthur W. Apter. On the First N Strongly Compact Cardinals. Proceedings of the American Mathematical Society, Vol. 123 , Pp. 2229–2235. - Arthur W. Apter and Saharon Shelah. On the Strong Equality Between Supercompactness and Strong Compactness.. Transactions of the American Mathematical Society, Vol. 349 , Pp. 103–128. - Arthur W. Apter and Saharon Shelah. Menas' Result is Best Possible. Ibid., Pp. 2007–2034. - Arthur W. Apter. More on the Least Strongly Compact Cardinal. Mathematical Logic Quarterly, Vol. 43 , Pp. 427–430. - Arthur W. Apter. Laver Indestructibility and the Class of Compact Cardinals. The Journal of Sy. [REVIEW]James W. Cummings - 2000 - Bulletin of Symbolic Logic 6 (1):86-89.
  6.  36
    Joseph R. Shoenfield. Mathematical Logic. Republication of JSL XL 234. Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2001, Viii + 344 Pp. [REVIEW]J. Donald Monk - 2001 - Bulletin of Symbolic Logic 7 (3):376.
  7.  31
    Wilfried Buchholz. Notation Systems for Infinitary Derivations. Archive for Mathematical Logic, Vol. 30 No. 5–6 , Pp. 277–296. - Wilfried Buchholz. Explaining Gentzen's Consistency Proof Within Infinitary Proof Theory. Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25–29, 1997, Proceedings, Edited by Georg Gottlob, Alexander Leitsch, and Daniele Mundici, Lecture Notes in Computer Science, Vol. 1289, Springer, Berlin, Heidelberg, New York, Etc., 1997, Pp. 4–17. - Sergei Tupailo. Finitary Reductions for Local Predicativity, I: Recursively Regular Ordinals. Logic Colloquium '98, Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Prague, Czech Republic, August 9–15, 1998, Edited by Samuel R. Buss, Petr Háajek, and Pavel Pudlák, Lecture Notes in Logic, No. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., Etc., 2000, Pp. 465–499. [REVIEW]Toshiyasu Arai - 2002 - Bulletin of Symbolic Logic 8 (3):437-439.
  8.  31
    V. L. MurskiĬ. Nondiscernible Properties of Finite Systems of Identity Relations. Soviet Mathematics, Vol. 12 , Pp. 183–186. , Pp. 520–522.) - George F. McNulty. The Decision Problem for Equational Bases of Algebras. Annals of Mathematical Logic, Vol. 10 , Pp. 193–259. - George F. McNulty. Undecidable Properties of Finite Sets of Equations. The Journal of Symbolic Logic, Vol. 41 , Pp. 589–604. [REVIEW]S. Burris - 1982 - Journal of Symbolic Logic 47 (4):903-904.
  9.  30
    Dag Prawitz. Hauptsatz for Higher Order Logic. The Journal of Symbolic Logic, Bd. 33 , S. 452–457. - Dag Prawitz. Completeness and Hauptsatz for Second Order Logic. Theoria , Bd. 33 , S. 246–258. - Moto-o Takahashi. A Proof of Cut-Elimination in Simple Type-Theory. Journal of the Mathematical Society of Japan, Bd. 19 , S. 399–410. [REVIEW]K. Schutte - 1974 - Journal of Symbolic Logic 39 (3):607-607.
  10.  29
    Thomas Strahm. Polynomial Time Operations in Explicit Mathematics. The Journal of Symbolic Logic, Vol. 62 , Pp. 575–594. - Andrea Cantini. Feasible Operations and Applicative Theories Based on Λη. Mathematical Logic Quarterly, Vol. 46 , Pp. 291–312. [REVIEW]Fernando Ferreira - 2002 - Bulletin of Symbolic Logic 8 (4):534-535.
  11.  26
    Steve Jackson. A New Proof of the Strong Partition Relation on Ω1. Transactions of the American Mathematical Society, Vol. 320 , Pp. 737–745. - Steve Jackson. Admissible Suslin Cardinals in L. The Journal of Symbolic Logic, Vol. 56 , Pp. 260–275. - Steve Jackson. A Computation Of. Memoirs of the American Mathematical Society, No. 670. American Mathematical Society, Providence 1999, Viii + 94 Pp. [REVIEW]Howard S. Becker - 2002 - Bulletin of Symbolic Logic 8 (4):546-548.
  12.  26
    Angus Macintyre, Kenneth McKenna, and Lou van den Dries. Elimination of Quantifiers in Algebraic Structures. Advances in Mathematics, Vol. 47 , Pp. 74–87. - L. P. D. Van den Dries. A Linearly Ordered Ring Whose Theory Admits Elimination of Quantifiers is a Real Closed Field. Proceedings of the American Mathematical Society, Vol. 79 , Pp. 97–100. - Bruce I. Rose. Rings Which Admit Elimination of Quantifiers. The Journal of Symbolic Logic, Vol. 43 , Pp. 92–112; Corrigendum, Vol. 44 , Pp. 109–110. - Chantal Berline. Rings Which Admit Elimination of Quantifiers. The Journal of Symbolic Logic, Vol. 43 , Vol. 46 , Pp. 56–58. - M. Boffa, A. Macintyre, and F. Point. The Quantifier Elimination Problem for Rings Without Nilpotent Elements and for Semi-Simple Rings. Model Theory of Algebra and Arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1–7, 1979, Edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture. [REVIEW]Gregory L. Cherlin - 1985 - Journal of Symbolic Logic 50 (4):1079-1080.
  13.  25
    Raphael M. Robinson. Restricted Set-Theoretical Definitions in Arithmetic. Proceedings of the American Mathematical Society, Vol. 9 , Pp. 238–242. - Raphael M. Robinson. Restricted Set-Theoretical Definitions in Arithmetic. Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd Edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, Pp. 139–140. [REVIEW]Robert McNaughton - 1966 - Journal of Symbolic Logic 31 (4):659-660.
  14.  25
    Daniel J. Velleman, Morasses, Diamond, and Forcing, Annals of Mathematical Logic, Vol. 23 , Pp. 199–281. - Dan Velleman. On a Generalization of Jensen's □Κ, and Strategic Closure of Partial Orders, The Journal of Symbolic Logic, Vol. 48, No. 4 , Pp. 1046–1052. [REVIEW]Lee Stanley - 1989 - Journal of Symbolic Logic 54 (2):639-646.
  15.  24
    Gerald E. Sacks. Metarecursively Enumerable Sets and Admissible Ordinals. Bulletin of the American Mathematical Society, Vol. 72 , Pp. 59–64. - Gerald E. Sacks. Post's Problem, Admissible Ordinals, and Regularity. Transactions of the American Mathematical Society, Vol. 124 , Pp. 1–23. - Gerald E. Sacks. Metarecursion Theory. Sets, Models and Recursion Theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, Edited by John N. Crossley, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, Pp. 243–263. - Graham C. DriscollJr., Metarecursively Enumerable Sets and Their Metadegrees. The Journal of Symbolic Logic, Vol. 33 , Pp. 389–11. [REVIEW]Richard A. Platek - 1969 - Journal of Symbolic Logic 34 (1):115-116.
  16.  22
    G. Kreisel. Mathematical Significance of Consistency Proofs. The Journal of Symbolic Logic, Vol. 23 No. 2 , Pp. 155–182. [REVIEW]Abraham Robinson - 1966 - Journal of Symbolic Logic 31 (1):129-129.
  17.  21
    Menachem Magidor and Jerome Malitz. Compact Extensions of L . Annals of Mathematical Logic, Vol. 11 , Pp. 217–261. - Matt Kaufmann. A New Omitting Types Theorem for L. The Journal of Symbolic Logic, Vol. 44 , Pp. 507–521. [REVIEW]Kim Bruce - 1985 - Journal of Symbolic Logic 50 (4):1076-1078.
  18.  18
    Dana Scott and Patrick Suppes. Foundational Aspects of Theories of Measurement. The Journal of Symbolic Logic, Vol. 23 No. 2 , Pp. 113–128. Reprinted in Readings in Mathematical Psychology, Volume I, Edited by R. Duncan Luce, Robert R. Bush, and Eugene Galanter, John Wiley and Sons, Inc., New York and London 1963, Pp. 212–227. [REVIEW]Robert L. Causey - 1968 - Journal of Symbolic Logic 33 (2):287-288.
  19.  16
    James Cummings. A Model in Which GCH Holds at Successors but Fails at Limits. Transactions of the American Mathematical Society, Vol. 329 , Pp. 1–39. - James Cummings. Strong Ultrapowers and Long Core Models. The Journal of Symbolic Logic, Vol. 58 , Pp. 240–248. - James Cummings. Coherent Sequences Versus Radin Sequences. Annals of Pure and Applied Logic, Vol. 70 , Pp. 223–241. - James Cummings, Matthew Foreman, and Menachem Magidor. Squares, Scales and Stationary Reflection. Journal of Mathematical Logic, Vol. 1 , Pp. 35–98. [REVIEW]Arthur W. Apter - 2002 - Bulletin of Symbolic Logic 8 (4):550-552.
  20.  16
    Robert A. DiPaola. Pseudo-Complements and Ordinal Logics Based on Consistency Statements. The Journal of Symbolic Logic, Vol. 31 , Pp. 359–364. - Robert A. Dipaola. Some Properties of Pseudo-Complements of Recursively Enumerable Sets. Transactions of the American Mathematical Society, Vol. 121 , Pp. 296–308. [REVIEW]J. R. Shoenfield - 1972 - Journal of Symbolic Logic 37 (2):406-406.
  21.  15
    Richard A. Shore. Determining Automorphisms of the Recursively Enumerable Sets. Proceedings of the American Mathematical Society, Vol. 65 , Pp. 318– 325. - Richard A. Shore. The Homogeneity Conjecture. Proceedings of the National Academy of Sciences of the United States of America, Vol. 76 , Pp. 4218– 4219. - Richard A. Shore. On Homogeneity and Definability in the First-Order Theory of the Turing Degrees. The Journal of Symbolic Logic, Vol. 47 , Pp. 8– 16. - Richard A. Shore. The Arithmetic and Turing Degrees Are Not Elementarily Equivalent. Archiv Für Mathematische Logik Und Grundlagenforschung, Vol. 24 , Pp. 137– 139. - Richard A. Shore. The Structure of the Degrees of Unsolvabitity. Recursion Theory, Edited by Anil Nerode and Richard A. Shore, Proceedings of Symposia in Pure Mathematics, Vol. 42, American Mathematical Society, Providence1985, Pp. 33– 51. - Theodore A. Slaman and W. Hugh Woodin. Definability in the Turing Degrees. Illinois Journal of Mathematics, Vol. 30 , Pp. 320–. [REVIEW]Carl Jockusch - 1990 - Journal of Symbolic Logic 55 (1):358-360.
  22.  14
    Antonio Montalbán, Indecomposable Linear Orderings and Hyperarithmetic Analysis. Journal of Mathematical Logic, Vol. 6 , No. 1, Pp. 89–120. - Itay Neeman, The Strength of Jullien’s Indecomposability Theorem. Journal of Mathematical Logic, Vol. 8 , No. 1, Pp. 93–119. - Itay Neeman, Necessary Use Ofinduction in a Reversal. Journal of Symbolic Logic, Vol. 76 , No. 2, Pp. 561–574. [REVIEW]Henry Towsner - 2014 - Bulletin of Symbolic Logic 20 (3):366-368.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  13
    Fred Appenzeller. An Independence Result in Quadratic Form Theory: Infinitary Combinatorics Applied to Ε-Hermitian Spaces. The Journal of Symbolic Logic, Vol. 54 , Pp. 689–699. - Otmar Spinas. Linear Topologies on Sesquilinear Spaces of Uncountable Dimension. Fundamenta Mathematicae, Vol. 139 , Pp. 119–132. - James E. Baumgartner, Matthew Foreman, and Otmar Spinas. The Spectrum of the Γ-Invariant of a Bilinear Space. Journal of Algebra, Vol. 189 , Pp. 406–418. - James E. Baumgartner and Otmar Spinas. Independence and Consistency Proofs in Quadratic Form Theory. The Journal of Symbolic Logic, Vol. 56 , Pp. 1195–1211. - Otmar Spinas. Iterated Forcing in Quadratic Form Theory. Israel Journal of Mathematics, Vol. 79 , Pp. 297–315. - Otmar Spinas. Cardinal Invariants and Quadratic Forms. Set Theory of the Reals, Edited by Haim Judah, Israel Mathematical Conference Proceedings, Vol. 6, Gelbart Research Institute for Mathematical Sciences, Bar-Ilan University, Ramat-Gan 1993, Distributed by T. [REVIEW]Paul C. Eklof - 2001 - Bulletin of Symbolic Logic 7 (2):285-286.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  13
    Stewart Shapiro. Second-Order Languages and Mathematical Practice. The Journal of Symbolic Logic, Vol. 50 , Pp. 714–742. [REVIEW]Geoffrey Hellman - 1989 - Journal of Symbolic Logic 54 (1):291-293.
  25.  13
    Carl G. JockuschJr., and David B. Posner. Double Jumps of Minimal Degrees. The Journal of Symbolic Logic, Vol. 43 No. 4 , Pp. 715–724. - Carl G. JockuschJr., and David B. Posner. Automorphism Bases for Degrees of Unsotvability. Israel Journal of Mathematics, Vol. 40 , Pp. 150–164. - Richard L. Epstein. Initial Segments of Degrees Below 0′. Memoirs of the American Mathematical Society, No. 241. American Mathematical Society, Providence1981, Vi + 102 Pp. - Richard A. Shore. The Theory of the Degrees Below 0′. The Journal of the London Mathematical Society, Ser. 2 Vol. 24 , Pp. 1–14.M. Lerman - 1985 - Journal of Symbolic Logic 50 (2):550-552.
  26.  13
    S. C. Kleene. Finite Axiomatizability of Theories in the Predicate Calculus Using Additional Predicate Symbols. A Revised Reprint of XIX 62. Two Papers on the Predicate Calculus, by S. C. Kleene, Memoirs of the American Mathematical Society, No. 10, Lithographed, Providence 1967, Pp. 27–66. - W. Craig and R. L. Vaught. Finite Axiomatizability Using Additional Predicates. The Journal of Symbolic Logic, Vol. 23 No. 3 , Pp. 289–308. [REVIEW]Mihály Makkai - 1971 - Journal of Symbolic Logic 36 (2):334-335.
  27.  12
    R. Dougherty and A. S. Kechris. Hausdorff Measures and Sets of Uniqueness for Trigonometric Series. Proceedings of the American Mathematical Society, Vol. 105 , Pp. 894–897. - Alexander S. Kechris and Alain Louveau. Covering Theorems for Uniqueness and Extended Uniqueness Sets. Colloquium Mathematicum, Vol. 59 , Pp. 63–79. - Alexander S. Kechris. Hereditary Properties of the Class of Closed Sets of Uniqueness for Trigonometric Series. Israel Journal of Mathematics, Vol. 73 , Pp. 189–198. - A. S. Kechris and A. Louveau. Descriptive Set Theory and Harmonic Analysis. The Journal of Symbolic Logic, Vol. 57 , Pp. 413–441. [REVIEW]Howard S. Becker - 2002 - Bulletin of Symbolic Logic 8 (1):94-95.
  28.  12
    Robert W. Robinson. Simplicity of Recursively Enumerable Sets.The Journal of Symbolic Logic, Vol. 32 , Pp. 162–172. - Robert W. Robinson. Two Theorems on Hyperhypersimple Sets. Transactions of the American Mathematical Society, Vol. 128 , Pp. 531–538. - A. H. Lachlan. On the Lattice of Recursively Enumerable Sets.Transactions of the American Mathematical Society, Vol. 130 , Pp. 1–37. - A. H. Lachlan. The Elementary Theory of Recursively Enumerable Sets. Duke Mathematical Journal, Vol. 35 , Pp. 123–146. [REVIEW]James C. Owings - 1970 - Journal of Symbolic Logic 35 (1):153-155.
  29.  11
    Wayne Richter. Extensions of the Constructive Ordinals. The Journal of Symbolic Logic, Vol. 30 , Pp. 193–211. - Wayne Richter. Constructive Transfinite Number Classes. Bulletin of the American Mathematical Society, Vol. 73 , Pp. 261–265. - Wayne Richter. Constructively Accessible Ordinal Numbers. The Journal of Symbolic Logic, Vol. 33 , Pp. 43–55.Gustav B. Hensel - 1971 - Journal of Symbolic Logic 36 (2):341-342.
  30.  10
    Donder Hans-Dieter. Regularity of Ultrafilters and the Core Model. Israel Journal of Mathematics, Vol. 63 , Pp. 289–322. - Donder Hans-Dieter, Koepke Peter, and Levinski Jean-Pierre. Some Stationary Subsets of P. Proceedings of the American Mathematical Society, Vol. 102 , Pp. 1000–1004. - Walker D. J.. On the Transversal Hypothesis and the Weak Kurepa Hypothesis. The Journal of Symbolic Logic, Vol. 53 , Pp. 854–877. [REVIEW]Stewart Baldwin - 1990 - Journal of Symbolic Logic 55 (3):1313-1315.
  31.  10
    Bradd Hart and Matthew Valeriote. A Structure Theorem for Strongly Abelian Varieties with Few Models. The Journal of Symbolic Logic, Vol. 56 , Pp. 832–852. - Bradd Hart and Sergei Starchenko. Addendum to “A Structure Theorem for Strongly Abelian Varieties.”The Journal of Symbolic Logic., Vol. 58 , Pp. 1419–1425. - Bradd Hart, Sergei Starchenko, and Matthew Valeriote. Vaught's Conjecture for Varieties. Transactions of the American Mathematical Society, Vol. 342 , Pp. 173–196. - B. Hart and S. Starchenko. Superstable Quasi-Varieties. Annals of Pure and Applied Logic, Vol. 69 , Pp. 53–71. - B. Hart, A. Pillay, and S. Starchenko. Triviality, NDOP and Stable Varieties. Annals of Pure and Applied Logic., Vol. 62 , Pp. 119–146.Ralph McKenzie - 1999 - Journal of Symbolic Logic 64 (4):1820-1821.
  32.  10
    Haim Gaifman. Models and Types of Peano's Arithmetic. Annals of Mathematical Logic, Vol. 9, Pp. 223–306. - Julia F. Knight. Omitting Types in Set Theory and Arithmetic. The Journal of Symbolic Logic, Vol. 41 , Pp. 25–32. - Julia F. Knight. Hanf Numbers for Omitting Types Over Particular Theories. The Journal of Symbolic Logic, Vol. 41 , Pp. 583–588. - Fred G. Abramson and Leo A. Harrington. Models Without Indiscernibles. The Journal of Symbolic Logic, Vol. 41 , Vol. 43 , Pp. 572–600. [REVIEW]J. P. Ressayre - 1983 - Journal of Symbolic Logic 48 (2):484-485.
  33.  9
    Thomas Jech and Karel Prikry. On Ideals of Sets and the Power Set Operation. Bulletin of the American Mathematical Society, Vol. 82 , Pp. 593–595. - F. Galvin, T. Jech, and M. Magidor. An Ideal Game. The Journal of Symbolic Logic, Vol. 43 , Pp. 284–292. - T. Jech, M. Magidor, W. Mitchell, and K. Prikry. Precipitous Ideals. The Journal of Symbolic Logic, Vol. 45 , Pp. 1–8. - Yuzuru Kakuda. On a Condition for Cohen Extensions Which Preserve Precipitous Ideals. The Journal of Symbolic Logic, Vol. 46, Pp. 296–300. - Thomas Jech and Karel Prikry. Ideals Over Uncountable Sets: Application of Almost Disjoint Functions and Generic Ultrapowers. Memoirs of the American Mathematical Society, No. 214. American Mathematical Society, Providence 1979, Iii + 71 Pp. - Menachem Magidor. Precipitous Ideals and Sets. Israel Journal of Mathematics, Vol. 35 , Pp. 109–134. [REVIEW]James E. Baumgartner - 1985 - Journal of Symbolic Logic 50 (1):239-240.
  34.  44
    A Mathematical Introduction to Logic.Herbert B. Enderton - 1972 - New York: Academic Press.
    A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   70 citations  
  35.  8
    Telis K. Menas. A Combinatorial Property of Pkλ. The Journal of Symbolic Logic, Vol. 41 , Pp. 225–234. - Donald H. Pelletier. The Partition Property for Certain Extendible Measures on Supercompact Cardinals. Proceedings of the American Mathematical Society, Vol. 81 , Pp. 607–612. - Kenneth Kunen and Donald H. Pelletier. On a Combinatorial Property of Menas Related to the Partition Property for Measures on Supercompact Cardinals. The Journal of Symbolic Logic, Vol. 48 , Pp. 475–481. - Julius B. Barbanel. Supercompact Cardinals, Trees of Normal Ultrafilters, and the Partition Property. The Journal of Symbolic Logic, Vol. 51 , Pp. 701–708. [REVIEW]Carlos Augusto Di Prisco - 1991 - Journal of Symbolic Logic 56 (3):1098.
  36.  8
    André Nies. Lowness Properties and Randomness. Advances in Mathematics, Vol. 197 , No. 1, Pp. 274–305. - Bjørn Kjos-Hanssen, André Nies, and Frank Stephan. Lowness for the Class of Schnorr Random Reals. SIAM Journal on Computing, Vol. 35 , No. 3, Pp. 647–657. - Noam Greenberg and Joseph S. Miller. Lowness for Kurtz Randomness. The Journal of Symbolic Logic, Vol. 74 , No. 2, Pp. 665–678. - Laurent Bienvenu and Joseph S. Miller. Randomness and Lowness Notions Via Open Covers. Annals of Pure and Applied Logic, Vol. 163 , No. 5, Pp. 506–518. - Johanna N. Y. Franklin, Frank Stephan, and Liang. Yu Relativizations of Randomness and Genericity Notions. The Bulletin of the London Mathematical Society, Vol. 43 , No. 4, Pp. 721–733. - George Barmpalias, Joseph S. Miller, and André Nies. Randomness Notions and Partial Relativization. Israel Journal of Mathematics, Vol. 191 , No. 2, Pp. 791–816. [REVIEW]Johanna N. Y. Franklin - 2013 - Bulletin of Symbolic Logic 19 (1):115-118.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  7
    Patrick Farrington. Hinges and Automorphisms of the Degrees of Non-Constructibility. The Journal of the London Mathematical Society, Ser. 2 Vol. 28 , Pp. 193–202. - Petr Hájek. Some Results on Degrees of Constructibility. Higher Set Theory, Proceedings, Oberwolfach, Germany, April 13–23, 1977, Edited by G. H. Müller and D. S. Scott, Lecture Notes in Mathematics, Vol. 669, Springer-Verlag, Berlin, Heidelberg, and New York, 1978, Pp. 55–71. - Zofia Adamowicz. On Finite Lattices of Degrees of Constructibility of Reals. The Journal of Symbolic Logic, Vol. 41 , Pp. 313–322. - Zofia Adamowicz. Constructive Semi-Lattices of Degrees of Constructibility. Set Theory and Hierarchy Theory V, Bierutowice, Poland 1976, Edited by A. Lachlan, M. Srebrny, and A. Zarach, Lecture Notes in Mathematics, Vol. 619, Springer-Verlag, Berlin, Heidelberg, and New York, 1977, Pp. 1–43. [REVIEW]Robert Lubarsky - 1989 - Journal of Symbolic Logic 54 (3):1109-1111.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38.  6
    S. S. Goncharov. Autostability and Computable Families of Constructivizations. Algebra and Logic, Vol. 14 , No. 6, Pp. 392–409. - S. S. Goncharov. The Quantity of Nonautoequivalent Constructivizations. Algebra and Logic, Vol. 16 , No. 3, Pp. 169–185. - S. S. Goncharov and V. D. Dzgoev. Autostability of Models. Algebra and Logic, Vol. 19 , No. 1, Pp. 28–37. - J. B. Remmel. Recursively Categorical Linear Orderings. Proceedings of the American Mathematical Society, Vol. 83 , No. 2, Pp. 387–391. - Terrence Millar. Recursive Categoricity and Persistence. The Journal of Symbolic Logic, Vol. 51 , No. 2, Pp. 430–434. - Peter Cholak, Segey Goncharov, Bakhadyr Khoussainov and Richard A. Shore. Computably Categorical Structures and Expansions by Constants. The Journal of Symbolic Logic, Vol. 64 , No. 1, Pp. 13–137. - Peter Cholak, Richard A. Shore and Reed Solomon. A Computably Stable Structure with No Scott Family of Finitary Formulas. Archive for Mathematical Logic, Vol. 45 , No. 5, Pp. 519–538. [REVIEW]Daniel Turetsky - 2012 - Bulletin of Symbolic Logic 18 (1):131-134.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  5
    G. Metakides and A. Nerode. Recursion Theory and Algebra. Algebra and Logic, Papers From the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, Edited by J. N. Crossley, Lecture Notes in Mathematics, Vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, Pp. 209–219. - 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 No. 4 , Pp. 481–491. - Iraj Kalantari. Major Subspaces of Recursively Enumerable Vector Spaces. The Journal of Symbolic Logic, Vol. 43 , Pp. 293–303. - J. Remmel. A R-Maximal Vector Space Not Contained in Any Maximal Vector Space. The Journal of Symbolic Logic, Vol. 43 , Pp. 430–441. - Allen Retzlaff. Simple and Hyperhypersimple Vector Spaces. The Journal of Symbolic Logic, Vol. 43 , Pp. 260–269. - J. B. Remmel. Maximal and Cohesive Vector Spaces. The Journal of Symbolic Logic, Vol. 42 No. 3. [REVIEW]Henry A. Kierstead - 1986 - Journal of Symbolic Logic 51 (1):229-232.
  40.  5
    Andreas Weiermann. Complexity Bounds for Some Finite Forms of Kruskal's Theorem. Journal of Symbolic Computation, Vol. 18 , Pp. 463–448. - Andreas Weiermann. Termination Proofs for Term Rewriting Systems with Lexicographic Path Ordering Imply Multiply Recursive Derivation Lengths. Theoretical Computer Science, Vol. 139 , Pp. 355–362. - Andreas Weiermann. Bounding Derivation Lengths with Functions From the Slow Growing Hierarchy. Archive of Mathematical Logic, Vol. 37 , Pp. 427–441. [REVIEW]Georg Moser - 2004 - Bulletin of Symbolic Logic 10 (4):588-590.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  5
    Andreas Blass and Saharon Shelah. Ultrafilters with Small Generating Sets. Israel Journal of Mathematics, Vol. 65 , Pp. 259–271. - Andreas Blass and Saharon Shelah. There May Be Simple - and -Points and the Rudin–Keisler Ordering May Be Downward Directed. Annals of Pure and Applied Logic, Vol. 33 , Pp. 213–243. - Andreas Blass. Near Coherence of Filters. II: Applications to Operator Ideals, the Stone–Čech Remainder of a Half-Line, Order Ideals of Sequences, and the Slenderness of Groups. Transactions of the American Mathematical Society, Vol. 300 , Pp. 557–581. - Andreas Blass and Saharon Shelah. Near Coherence of Filters III: A Simplified Consistency Proof. Notre Dame Journal of Formal Logic, Vol. 30 , Pp. 530–538. - Andreas Blass and Claude Laflamme. Consistency Results About Filters and the Number of Inequivalent Growth Types. The Journal of Symbolic Logic, Vol. 54 , Pp. 50–56. - Andreas Blass. Applications of Superperfect Forcing and its Relatives. Set Theory and its Applications. [REVIEW]Peter J. Nyikos - 1992 - Journal of Symbolic Logic 57 (2):763-766.
  42.  4
    G. L. Cherlin. The Model-Companion of a Class of Structures. The Journal of Symbolic Logic, Vol. 37 , Pp. 546–556. - L. Lipshitz and D. Saracino. The Model Companion of the Theory of Commutative Rings Without Nilpotent Elements. Proceedings of the American Mathematical Society, Vol. 38 , Pp. 381–387. - Angus Macintyre. Model-Completeness for Sheaves of Structures. Fundamenta Mathematicae, Vol. 81 No. 1 , Pp. 73–89. [REVIEW]Stephen D. Comer - 1983 - Journal of Symbolic Logic 48 (2):496-496.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  4
    Louise Hay. On Creative Sets and Indices of Partial Recursive Functions. Transactions of the American Mathematical Society, Vol. 120 No. 2 , Pp. 359–367. - Louise Hay. Isomorphism Types of Index Sets of Partial Recursive Functions. Proceedings of the American Mathematical Society, Vol. 17 , Pp. 106–110. - Louise Hay. Index Sets of Finite Classes of Recursively Enumerable Sets. The Journal of Symbolic Logic, Vol. 34 , Pp. 39–44. [REVIEW]Forbes D. Lewis - 1974 - Journal of Symbolic Logic 39 (1):186-187.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  3
    Greg Hjorth. Classification and Orbit Equivalence Relations. Mathematical Surveys and Monographs, Vol. 75. American Mathematical Society, Providence, RI, 2000, Xviii + 195 Pp. - Greg Hjorth. A Dichotomy Theorem for Turbulence. The Journal of Symbolic Logic, Vol. 67 No. 4 , Pp. 1520–1540. [REVIEW]Howard Becker - 2010 - Bulletin of Symbolic Logic 16 (3):403-405.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  30
    Rabin M. O.. Computable Algebraic Systems. Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd Edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, Pp. 134–138.Rabin Michael O.. Computable Algebra, General Theory and Theory of Computable Fields. Transactions of the American Mathematical Society, Vol. 95 , Pp. 341–360. [REVIEW]B. H. Mayoh - 1967 - Journal of Symbolic Logic 32 (3):412-413.
  46.  29
    E. Marczewski. Sur les Congruences Et les Propriétés Positives d'Algèbres Abstraites. Colloquium Mathematicum, Vol. 2 No. 3–4 , Pp. 220–228. - Roger C. Lyndon. Properties Preserved Under Homomorphism. Pacific Journal of Mathematics, Vol. 9 , Pp. 143–154. - Roger C. Lyndon. Properties Preserved in Subdirect Products. Pacific Journal of Mathematics, Vol. 9 , Pp. 155–164. - R. C. Lyndon. Sentences Preserved Under Homomorphisms; Sentences Preserved Under Subdirect Products. Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd Edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, Pp. 122–124. - R. C. Lyndon. Properties Preserved Under Algebraic Constructions. Bulletin of the American Mathematical Society, Vol. 65 , Pp. 287–299. [REVIEW]Thomas Frayne - 1968 - Journal of Symbolic Logic 32 (4):533-534.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  23
    C. C. Chang. Algebraization of Infinitely Many-Valued Logic. Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd Edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, Pp. 144–146. - C. C. Chang. Algebraic Analysis of Many Valued Logics. Transactions of the American Mathematical Society, Vol. 88 , Pp. 467–490. - C. C. Chang. A New Proof of the Completeness of the Łukasiewicz Axioms. Transactions of the American Mathematical Society, Vol. 93 , Pp. 74–80. [REVIEW]Alfred Horn - 1971 - Journal of Symbolic Logic 36 (1):159-160.
  48.  22
    Sets and Proofs, Invited Papers From Logic Colloquium '97—European Meeting of the Association for Symbolic Logic, Leeds, July 1997. Thomas Strahm. First Steps Into Metapredicativity in Explicit Mathematics. Sets and Proofs, Invited Papers From Logic Colloquium '97—European Meeting of the Association for Symbolic Logic, Leeds, July 1997, Edited by S. Barry Cooper and John K. Truss, London Mathematical Society Lecture Note Series, No. 258, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1999, Pp. 383–402. [REVIEW]Andrea Cantini - 2002 - Bulletin of Symbolic Logic 8 (4):535-536.
  49.  20
    J. C. E. Dekker and J. Myhill. Recursive Equivalence Types. University of California Publications in Mathematics, N.S. Vol. 3 No. 3 , Pp. 67–214. - J. C. E. Dekker. Congruences in Isols with a Finite Modulus. Mathematische Zeitschrift, Vol. 70 , Pp. 113–124. - J. Myhill. Recursive Equivalence Types and Combinatorial Functions. Bulletin of the American Mathematical Society, Vol. 64 , Pp. 373–376. - J. C. E. Dekker. The Factorial Function for Isols. Mathematische Zeitschrift, Vol. 70 , Pp. 250–262. - J. C. E. Dekker and J. Myhill. The Divisibility of Isols by Powers of Primes. Mathematische Zeitschrift, Vol. 73 . Pp. 127–133. - J. C. E. Dekker. An Expository Account of Isols. Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd Edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, Pp. 189–200. [REVIEW]Donald L. Kreider - 1960 - Journal of Symbolic Logic 25 (4):356-359.
  50.  20
    Ilijas Farah, Bradd Hart, and David Sherman. Model Theory of Operator Algebras I: Stability. Bulletin of the London Mathematical Society, Vol. 45 , No. 4, Pp. 825–838, Doi:10.1112/Blms/Bdt014. - Ilijas Farah, Bradd Hart, and David Sherman. Model Theory of Operator Algebras II: Model Theory. Israel Journal of Mathematics, Vol. 201 , No. 1, Pp. 477–505, Doi:10.1007/S11856-014-1046-7. - Ilijas Farah, Bradd Hart, and David Sherman. Model Theory of Operator Algebras III: Elementary Equivalence and II1factors. Bulletin of the London Mathematical Society, Vol. 46 , No. 3, Pp. 609–628, Doi:10.1112/Blms/Bdu012. - Isaac Goldbring, Bradd Hart, and Thomas Sinclair. The Theory of Tracial von Neumann Algebras Does Not Have a Model Companion. Journal of Symbolic Logic, Vol. 78 , No. 3, Pp. 1000–1004. [REVIEW]Itaï Ben Yaacov - 2015 - Bulletin of Symbolic Logic 21 (4):425-427.
1 — 50 / 1000