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

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

english, 2002

3

Individual Members 2002

Journal:

Bulletin of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 5.63 MB

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.

Journal:

Bulletin of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 89 KB

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

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

english, 2002

7

Back Matter

Journal:

Bulletin of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 212 KB

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

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

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

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

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

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

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

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

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

english, 2002

17

Volume Information

Journal:

Bulletin of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 582 KB

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

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

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

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

english, 2002

22

Association for Symbolic Logic

Journal:

Bulletin of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 363 KB

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

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

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

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

english, 2002

27

Notices

Journal:

Bulletin of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 657 KB

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

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

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

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

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

english, 2002

33

Front Matter

Journal:

Bulletin of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 271 KB

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

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

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.

Journal:

Bulletin of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 79 KB

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

english, 2002

38

Balaguer Mark. Platonism and anti-platonism in mathematics . Oxford University Press, Oxford and New York 1998, x + 217 pp.

Journal:

Bulletin of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 69 KB

english, 2002

39

Todorcevic Stevo. Topics in topology . Lecture notes in mathematics, vol. 1652. Springer, Berlin, Heidelberg, New York, etc., 1997, viii + 153 pp.

Journal:

Bulletin of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 106 KB

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.

Journal:

Bulletin of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 79 KB

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

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.

Journal:

Bulletin of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 84 KB

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

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

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

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

Journal:

Bulletin of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 127 KB

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

english, 2002

48

BSL volume 8 issue 4 Cover and Front matter

Journal:

Bulletin of Symbolic Logic

Year:

2002

File:

PDF, 4.60 MB

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

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

2002

51

Index of Reviews

Journal:

Bulletin of Symbolic Logic

Year:

2002

File:

PDF, 153 KB

2002