Volume 7; Issue 3

Bulletin of Symbolic Logic

Volume 7; Issue 3

1

Polish Metric Spaces: Their Classification and Isometry Groups

John D. Clemens, Su Gao and Alexander S. Kechris

Journal:

Bulletin of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 1.16 MB

english, 2001

2

2001 Annual Meeting of the Association for Symbolic Logic

Journal:

Bulletin of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 1.46 MB

english, 2001

3

[untitled]

Review by: Fernando Ferreira

Journal:

Bulletin of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 73 KB

english, 2001

4

Full Frobenius Groups of Finite Morley Rank and the Feit-Thompson Theorem

Journal:

Bulletin of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 1.12 MB

english, 2001

5

2000-2001 Winter Meeting of the Association for Symbolic Logic

Journal:

Bulletin of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 859 KB

english, 2001

6

Simmons Harold. Derivation and computation. Taking the Curry-Howard correspondence seriously . Cambridge tracts in theoretical computer science, vol. 51. Cambridge University Press, Cambridge, New York, etc., 2000, xxv + 384 pp.

Journal:

Bulletin of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 515 KB

english, 2001

7

Front Matter

Journal:

Bulletin of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 215 KB

english, 2001

8

Computable Structures and the Hyperarithmetical Hierarchyby C. J. Ash; J. Knight

Review by: Valentina Harizanov

Journal:

Bulletin of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 414 KB

english, 2001

9

The Concept of Logical Consequenceby John Etchemendy

Review by: Vann McGee

Journal:

Bulletin of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 307 KB

english, 2001

10

On the Structure of Measurable Filters on a Countable Setby Tomek Bartoszynski;Intersection of < 2N0Ultrafilters May Have Measure Zeroby Tomek Bartoszynski; Saharon Shelah;Measure and Category-Filters on ωby Tomek Bartoszynski; Haim Judah; W. Just; H. Woodin;All Meager Filters May be Nullby Tomek Bartoszynski; Martin Goldstern; Haim Judah; Saharon Shelah;Remarks on the Intersection of Filtersby Tomek Bartoszynski

Review by: Claude Laflamme

Journal:

Bulletin of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 316 KB

english, 2001

11

In Memoriam: Joseph R. Shoenfield, 1927-2000

Carl G. Jockusch, Jr.

Journal:

Bulletin of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 381 KB

english, 2001

12

Back Matter

Journal:

Bulletin of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 230 KB

english, 2001

13

Square in Core Models

Ernest Schimmerling and Martin Zeman

Journal:

Bulletin of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 820 KB

english, 2001

14

An Intuitionistic Fixed Point Theoryby Wilfried Buchholz

Review by: Erik Palmgren

Journal:

Bulletin of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 277 KB

english, 2001

15

2000-2001 Winter Meeting of the Association for Symbolic Logic

Journal:

Bulletin of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 665 KB

english, 2001

16

The Complexity of Antidifferentiationby Randall Dougherty; Alexander S. Kechris;The Collection of Distal Flows is not Borelby Ferenc Beleznay; Matthew Foreman;The Complexity of the Collection of Measure-Distal Transformationsby Ferenc Beleznay; Matthew Foreman;Pointwise Limits of Subsequences and Σ12Setsby Howard Becker;Some Complete Σ12Sets in Harmonic Analysisby Howard Becker; Sylvain Kahane; Alain Louveau;PCA Sets and Convexityby Robert Kaufman;Descriptive Set Theoretic Phenomena in Analysis and Topologyby Howard Becker; H. Judah; W. Just; H. Woodin

Review by: Gabriel Debs

Journal:

Bulletin of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 535 KB

english, 2001

17

On the Complexity of the Classification Problem for Torsion-Free Abelian Groups of Finite Rank

Journal:

Bulletin of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 1.33 MB

english, 2001

18

On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, and the Next Stable Set

Journal:

Bulletin of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 1.27 MB

english, 2001

19

Mathematical Logicby Joseph R. Shoenfield

Review by: J. Donald Monk

Journal:

Bulletin of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 212 KB

english, 2001

20

Tada Mitsuru and Tatsuta Makoto. The function ⌊a/m⌋ in sharply bounded arithmetic. Archive for mathematical logic , vol. 37 no. 1 (1997), pp. 51–57.

Ferreira, Fernando

Journal:

Bulletin of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 61 KB

english, 2001

21

In Memoriam: Joseph R. Shoenfield 1927–2000

Jockusch, Carl G.

Journal:

Bulletin of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 53 KB

english, 2001

22

Notices

Journal:

Bulletin of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 61 KB

english, 2001

23

Language, Proof and Logicby Jon Barwise; John Etchemendy;LPL Software Manualby Gerard Allwein; Dave Barker-Plummer; Jon Barwise; John Etchemendy; Albert Liu

Review by: Patrick Grim

Journal:

Bulletin of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 437 KB

english, 2001

24

Formalizing Forcing Arguments in Subsystems of Second-Order Arithmeticby Jeremy Avigad

Review by: Alberto Marcone

Journal:

Bulletin of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 339 KB

english, 2001

25

2000-2001 Spring Meeting of the Association for Symbolic Logic

Journal:

Bulletin of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 713 KB

english, 2001

26

Notices

Journal:

Bulletin of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 532 KB

english, 2001

27

BSL volume 7 issue 3 Cover and Front matter

Journal:

Bulletin of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 4.42 MB

english, 2001

28

BSL volume 7 issue 3 Cover and Back matter

Journal:

Bulletin of Symbolic Logic

Year:

2001

File:

PDF, 2.69 MB

2001