books search
books
articles search
articles
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 8; Issue 4
Main
Bulletin of Symbolic Logic
Volume 8; Issue 4
Bulletin of Symbolic Logic
Volume 8; Issue 4
1
Large Cardinals Imply That Every Reasonably Definable Set of Reals Is Lebesgue Measurableby Saharon Shelah; Hugh Woodin
Review by: Joan Bagaria
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 515 KB
Your tags:
english, 2002
2
Parameterized Complexityby R. G. Downey; M. R. Fellows
Review by: Jörg Flum
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 345 KB
Your tags:
english, 2002
3
Individual Members 2002
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 5.63 MB
Your tags:
english, 2002
4
Simple Theories. Frank O. Wagner. Simple theories . Mathematics and its applications, vol. 503. Kluwer Academic Publishers, Dordrecht, Boston, and London, 2000, xi + 260 pp.
Hart, Bradd
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 89 KB
Your tags:
english, 2002
5
Platonism and Anti-Platonism in Mathematicsby Mark Balaguer
Review by: Mary Leng
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 481 KB
Your tags:
english, 2002
6
Zermelo's Cantorian Theory of Systems of Infinitely Long Propositions
R. Gregory Taylor
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 4.61 MB
Your tags:
english, 2002
7
Back Matter
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 212 KB
Your tags:
english, 2002
8
Mathematical Intuitionism and Intersubjectivity. A Critical Exposition of Arguments for Intuitionismby Tomasz Placek
Review by: Leon Horsten
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 521 KB
Your tags:
english, 2002
9
Proper Forcings and Absoluteness in L( R)by Itay Neeman; Jindřich Zapletal;Proper Forcing and L( R)by Itay Neeman; Jindřich Zapletal
Review by: Paul B. Larson
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 518 KB
Your tags:
english, 2002
10
The Superjump in Martin-Löf Type Theoryby Michael Rathjen; Samuel R. Buss; Petr Hájek; Pavel Pudlák
Review by: Michael Möllerfeld
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 222 KB
Your tags:
english, 2002
11
Simple Cardinal Characteristics of the Continuumby Andreas Blass; Haim Judah
Review by: Heike Mildenberger
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 362 KB
Your tags:
english, 2002
12
A Short Introduction to Intuitionistic Logicby Grigori Mints
Review by: Helmut Schwichtenberg
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 382 KB
Your tags:
english, 2002
13
Independent Families in Complete Boolean Algebrasby B. Balcar; F. Franek;The Space of Ultrafilters on N Covered by Nowhere Dense Setsby Bohuslav Balcar; Jan Pelant; Petr Simon;OCA and Automorphisms of P(ω)/finby Boban Velickovic
Review by: Klaas Pieter Hart
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 214 KB
Your tags:
english, 2002
14
Introduction to Cardinal Arithmeticby M. Holz; K. Steffens; E. Weitz
Review by: Maxim R. Burke
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 517 KB
Your tags:
english, 2002
15
Fragments of Heyting Arithmeticby Wolfgang Burr
Review by: Lev Beklemishev
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 365 KB
Your tags:
english, 2002
16
A Model in Which GCH Holds at Successors but Fails at Limitsby James Cummings;Strong Ultrapowers and Long Core Modelsby James Cummings;Coherent Sequences versus Radin Sequencesby James Cummings;Squares, Scales and Stationary Reflectionby James Cummings; Matthew Foreman; Menachem Magidor
Review by: Arthur W. Apter
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 516 KB
Your tags:
english, 2002
17
Volume Information
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 582 KB
Your tags:
english, 2002
18
Topics in Topologyby Stevo Todorcevic
Review by: Ilijas Farah
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 523 KB
Your tags:
english, 2002
19
Computability-Theoretic Complexity of Countable Structures
Valentina S. Harizanov
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 2.33 MB
Your tags:
english, 2002
20
Consistency Proof via Pointwise Inductionby Toshiyasu Arai
Review by: Andreas Weiermann
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 357 KB
Your tags:
english, 2002
21
The π -Calculus: A Theory of Mobile Processesby Davide Sangiorgi; David Walker
Review by: Hans Hüttel
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 345 KB
Your tags:
english, 2002
22
Association for Symbolic Logic
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 363 KB
Your tags:
english, 2002
23
Index of Reviews. Volumes 6-8. 2000-2002
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 1.37 MB
Your tags:
english, 2002
24
Computation on Abstract Data Types. The Extensional Approach, with an Application to Streamsby Solomon Feferman
Review by: Jeffery Zucker
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 762 KB
Your tags:
english, 2002
25
The Structure of Values and Normsby Sven Ove Hansson
Review by: Patrice Bailhache
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 515 KB
Your tags:
english, 2002
26
Polynomial Time Operations in Explicit Mathematicsby Thomas Strahm;Feasible Operations and Applicative Theories Based on λ ηby Andrea Cantini
Review by: Fernando Ferreira
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 372 KB
Your tags:
english, 2002
27
Notices
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 657 KB
Your tags:
english, 2002
28
A New Proof of the Strong Partition Relation on ω1by Steve Jackson;Admissible Suslin Cardinals in L( R)by Steve Jackson;A Computation of δ51by Steve Jackson
Review by: Howard S. Becker
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 516 KB
Your tags:
english, 2002
29
Simple Theoriesby Frank O. Wagner
Review by: Bradd Hart
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 538 KB
Your tags:
english, 2002
30
The Entwining Snake Is Reborn
Review by: Aleš Drápal
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 849 KB
Your tags:
english, 2002
31
Iteration Treesby D. A. Martin; J. R. Steel
Review by: William Mitchell
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 423 KB
Your tags:
english, 2002
32
First Steps into Metapredicativity in Explicit Mathematicsby Thomas Strahm; S. Barry Cooper; John K. Truss
Review by: Andrea Cantini
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 430 KB
Your tags:
english, 2002
33
Front Matter
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 271 KB
Your tags:
english, 2002
34
Jackson Steve. A new proof of the strong partition relation on ω1. Transactions of the American Mathematical Society , vol. 320 (1990), pp. 737–745.Jackson Steve. Admissible Suslin cardinals in L(R). The journal of symbolic logic, vol. 56 (1991), pp. 260–275.Jackson Steve. A computation of . Memoirs of the American Mathematical Society, no. 670. American Mathematical Society, Providence 1999, viii + 94 pp.
Becker, Howard S.
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 106 KB
Your tags:
english, 2002
35
Zermelo's Cantorian Theory of Systems of Infinitely Long Propositions
Taylor, R. Gregory
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 368 KB
Your tags:
english, 2002
36
Placek Tomasz. Mathematical intuitionism and intersubjectivity. A critical exposition of arguments for intuitionism . Synthese library, vol. 279. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1999, xii + 218 pp.
Horsten, Leon
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 79 KB
Your tags:
english, 2002
37
Holz M., Steffens K., and Weitz E.. Introduction to cardinal arithmetic . Birkhäuser advanced texts. Birkhäuser Verlag, Basel, Boston, and Berlin, 1999, vii + 304 pp.
Burke, Maxim R.
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 108 KB
Your tags:
english, 2002
38
Balaguer Mark. Platonism and anti-platonism in mathematics . Oxford University Press, Oxford and New York 1998, x + 217 pp.
Leng, Mary
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 69 KB
Your tags:
english, 2002
39
Todorcevic Stevo. Topics in topology . Lecture notes in mathematics, vol. 1652. Springer, Berlin, Heidelberg, New York, etc., 1997, viii + 153 pp.
Farah, Ilijas
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 106 KB
Your tags:
english, 2002
40
Sangiorgi Davide and Walker David. The π-calculus: a theory of mobile processes . Cambridge University Press, Cambridge, New York, etc., 2001, xii + 580 pp.
Hüttel, Hans
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 79 KB
Your tags:
english, 2002
41
Mints Grigori. A short introduction to intuitionistic logic . The university series in mathematics. Kluwer Academic/Plenum Publishers, New York etc. 2000, ix + 131 pp.
Schwichtenberg, Helmut
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 81 KB
Your tags:
english, 2002
42
Downey R. G. and Fellows M. R.. Parameterized complexity . Monographs in computer science. Springer, New York, Berlin, and Heidelberg, 1999, xv + 533 pp.
Flum, Jörg
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 84 KB
Your tags:
english, 2002
43
Burr Wolfgang. Fragments of Heyting arithmetic. The journal of symbolic logic , vol. 65 (2000), pp. 1223–1240.
Beklemishev, Lev
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 95 KB
Your tags:
english, 2002
44
Strahm Thomas. Polynomial time operations in explicit mathematics. The journal of symbolic logic , vol. 62 (1997), pp. 575–594.Cantini Andrea. Feasible operations and applicative theories based on λη. Mathematical logic quarterly, vol. 46 (2000), pp. 291–312.
Ferreira, Fernando
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 92 KB
Your tags:
english, 2002
45
Feferman Solomon. Computation on abstract data types. The extensional approach, with an application to streams. Annals of pure and applied logic , vol. 81 (1996), pp. 75–113.
Zucker, Jeffery
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 139 KB
Your tags:
english, 2002
46
Laver Richard. The left distributive law and the freeness of an algebra of elementary embeddings. Advances in mathematics , vol. 91 (1992), pp. 209–231.Laver Richard. A division algorithm for the free left distributive algebra. Logic Colloquium '90, ASL summer meeting in Helsinki, edited by Oikkonen J. and J. Väänänen, Lecture notes in logic, no. 2, Springer-Verlag, Berlin, Heidelberg, New York, etc., 1993, pp. 155–162.Laver Richard. On the algebra of elementary embeddings of a rank into itself. Advances in mathematics, vol. 110 (1995), pp. 334–346.Laver Richard. Braid group actions on left distributive structures, and well orderings
Drápal, Aleš
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 127 KB
Your tags:
english, 2002
47
Computability-Theoretic Complexity of Countable Structures
Harizanov, Valentina S.
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 238 KB
Your tags:
english, 2002
48
BSL volume 8 issue 4 Cover and Front matter
Journal:
Bulletin of Symbolic Logic
Year:
2002
File:
PDF, 4.60 MB
Your tags:
2002
49
James Cummings. A model in which GCH holds at successors but fails at limits . Transactions of the American Mathematical Society , vol. 329 (1992), pp. 1â39. - James Cummings. Strong ultrapowers and long core models . The journal of symbolic logic, vol. 58 (1993), pp. 240â248. - James Cummings. Coherent sequences versus Radin sequences . Annals of pure and applied logic, vol. 70 (1994), pp. 223â241. - James Cummings, Matthew Foreman, and Menachem Magidor. Squares, scales and stationary reflection . Journal of mathematical lo
Apter, Arthur W.
Journal:
Bulletin of Symbolic Logic
Year:
2002
File:
PDF, 102 KB
Your tags:
2002
50
Sven Ove Hansson. The structure of values and norms . Cambridge studies in probability, induction, and decision theory. Cambridge University Press, Cambridge, New York, etc., 2001, xiii + 314 pp.
Bailhache, Patrice
Journal:
Bulletin of Symbolic Logic
Year:
2002
File:
PDF, 98 KB
Your tags:
2002
51
Index of Reviews
Journal:
Bulletin of Symbolic Logic
Year:
2002
File:
PDF, 153 KB
Your tags:
2002
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×