Volume 16; Issue 3

Bulletin of Symbolic Logic

Volume 16; Issue 3
1

WHAT DOES IT TAKE TO PROVE FERMAT'S LAST THEOREM? GROTHENDIECK AND THE LOGIC OF NUMBER THEORY

COLIN MCLARTY
Journal:
Bulletin of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 1.80 MB
english, 2010
2

ERRATUM

Journal:
Bulletin of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 125 KB
english, 2010
4

Front Matter

Journal:
Bulletin of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 841 KB
english, 2010
5

THE COMPLEXITY OF CLASSIFICATION PROBLEMS FOR MODELS OF ARITHMETIC

SAMUEL COSKEY and ROMAN KOSSAK
Journal:
Bulletin of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 1.28 MB
english, 2010
6

The search for diamonds

Review by: Assaf Rinot
Journal:
Bulletin of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 546 KB
english, 2010
7

2009-2010 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC

John Steel
Journal:
Bulletin of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 802 KB
english, 2010
8

RELATIVE TRUTH DEFINABILITY OF AXIOMATIC TRUTH THEORIES

KENTARO FUJIMOTO
Journal:
Bulletin of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 3.40 MB
english, 2010
9

An introduction to decision theoryby Martin Peterson

Review by: Steven Robertson
Journal:
Bulletin of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 466 KB
english, 2010
10

REVERSE MATHEMATICS: THE PLAYGROUND OF LOGIC

RICHARD A. SHORE
Journal:
Bulletin of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 2.36 MB
english, 2010
12

2010 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC

Stewart Shapiro
Journal:
Bulletin of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 730 KB
english, 2010
13

Back Matter

Journal:
Bulletin of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 257 KB
english, 2010
15

Philosophical logicby John P. Burgess

Review by: Lloyd Humberstone
Journal:
Bulletin of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 492 KB
english, 2010
20

Reverse Mathematics: The Playground of Logic

Shore, Richard A.
Journal:
Bulletin of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 231 KB
english, 2010
24

Relative Truth Definability of Axiomatic Truth Theories

Fujimoto, Kentaro
Journal:
Bulletin of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 399 KB
english, 2010
25

The Complexity of Classification Problems for Models of Arithmetic

Coskey, Samuel, Kossak, Roman
Journal:
Bulletin of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 191 KB
english, 2010
26

2009–2010 Winter Meeting of the Association for Symbolic Logic

Steel, John
Journal:
Bulletin of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 116 KB
english, 2010
28

2010 Winter Meeting of the Association for Symbolic Logic

Shapiro, Stewart
Journal:
Bulletin of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 106 KB
english, 2010
29

The 2009 Annual Conference of the Australasian Association for Logic

Brady, Ross
Journal:
Bulletin of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 76 KB
english, 2010
30

BSL volume 16 issue 3 Cover and Front matter

Journal:
Bulletin of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 1.97 MB
english, 2010
37

S. Feferman. Reflecting on incompleteness. The Journal of Symbolic Logic, vol. 56 (1991), no. 1, pp. 1–49. - W. N. Reinhardt. Some remarks on extending and interpreting theories with a partial predicate for truth. Journal of Philosophical Logic, vol. 15 (1986), no. 2, pp. 219–251. - V. Halbach and L. Horsten. Axiomatizing Kripke’s theory of truth. The Journal of Symbolic Logic, vol. 71 (2006), no. 2, pp. 667–712 - H. Friedman and M. Sheard. An axiomatic approach to self-referential truth.Annals of Pure and Applied Logic, vol. 33 (1987), no. 1, pp. 1–21. - V. Halbach. A system of complete and consistent truth. Notre Dame Journal of Formal Logic, vol. 35 (1994), no. 3, pp. 311–327.

Leigh, Graham E.
Journal:
Bulletin of Symbolic Logic
Year:
2010
File:
PDF, 124 KB
2010