Volume 68; Issue 4

Main
Journal of Symbolic Logic
Volume 68; Issue 4

Journal of Symbolic Logic

Volume 68; Issue 4

1

Volume Information

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 414 KB

english, 2003

2

Front Matter

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 202 KB

english, 2003

3

Universally Baire Sets and Definable Well-Orderings of the Reals

Sy D. Friedman and Ralf Schindler

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 402 KB

english, 2003

4

A Theory for Log-Space and NLIN versus co-NLIN

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 248 KB

english, 2003

5

The Axiom of Choice and Combinatory Logic

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 367 KB

english, 2003

6

Ranked Partial Structures

Timothy J. Carlson

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 744 KB

english, 2003

7

Simple Stable Homogeneous Groups

Alexander Berenstein

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 434 KB

english, 2003

8

Cardinal-Preserving Extensions

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 235 KB

english, 2003

9

Partitioning Large Vector Spaces

James H. Schmerl

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 241 KB

english, 2003

10

An Application of Kochen's Theorem

Michael C. Laskowski

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 222 KB

english, 2003

11

Recovering Ordered Structures from Quotients of Their Automorphism Groups

M. Giraudet and J. K. Truss

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 237 KB

english, 2003

12

A Computably Categorical Structure Whose Expansion by a Constant Has Infinite Computable Dimension

Denis R. Hirschfeldt, Bakhadyr Khoussainov and Richard A. Shore

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 841 KB

english, 2003

13

Parallel Strategies

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 223 KB

english, 2003

14

Finite-to-One Maps

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 115 KB

english, 2003

15

Additivity Properties of Topological Diagonalizations

Tomek Bartoszynski, Saharon Shelah and Boaz Tsaban

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 186 KB

english, 2003

16

Distinguishing Types of Gaps in P(ω)/fin

Teruyuki Yorioka

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 357 KB

english, 2003

17

A Short Proof of the Strong Normalization of Classical Natural Deduction with Disjunction

René David and Karim Nour

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 294 KB

english, 2003

18

Proof Normalization Modulo

Gilles Dowek and Benjamin Werner

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 512 KB

english, 2003

19

Categoricity and U-Rank in Excellent Classes

Olivier Lessmann

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 437 KB

english, 2003

20

Ordering Mad Families a La Katětov

Michael Hrušák and Salvador García Ferreira

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 388 KB

english, 2003

21

The Cofinality of the Infinite Symmetric Group and Groupwise Density

Jörg Brendle and Maria Losada

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 200 KB

english, 2003

22

The Kolmogorov-Loveland Stochastic Sequences Are Not Closed under Selecting Subsequences

Wolfgang Merkle

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 346 KB

english, 2003

23

On Countable Simple Unidimensional Theories

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 225 KB

english, 2003

24

Ample Dividing

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 419 KB

english, 2003

25

A Proof-Theoretic Study of the Correspondence of Classical Logic and Modal Logic

H. Kushida and M. Okada

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 271 KB

english, 2003

26

Corrigendum to "Strong Normalization Proof with CPS-Translation for Second Order Classical Natural Deduction"

Koji Nakazawa and Makoto Tatsuta

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 93 KB

english, 2003

27

Back Matter

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 336 KB

english, 2003

28

The Kolmogorov-Loveland stochastic sequences are not closed under selecting subsequences

Merkle, Wolfgang

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 1.13 MB

english, 2003

29

Ample Dividing

Evans, David M.

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 1.27 MB

english, 2003

30

A short proof of the strong normalization of classical natural deduction with disjunction

David, René, Nour, Karim

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 862 KB

english, 2003

31

Additivity properties of topological diagonalizations

Bartoszynski, Tomek, Shelah, Saharon, Tsaban, Boaz

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 541 KB

english, 2003

32

Partitioning large vector spaces

Schmerl, James H.

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 769 KB

english, 2003

33

Proof normalization modulo

Dowek, Gilles, Werner, Benjamin

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 1.51 MB

english, 2003

34

Simple stable homogeneous groups

Berenstein, Alexander

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 1.18 MB

english, 2003

35

Universally Baire sets and definable well-orderings of the reals

Friedman, SY D., Schindler, Ralf

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 1.17 MB

english, 2003

36

Ordering MAD families a la Katětov

Hrušák, Michael, Ferreira, Salvador García

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 1.16 MB

english, 2003

37

The cofinality of the infinite symmetric group and groupwise density

Brendle, Jörg, Losada, Maria

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 588 KB

english, 2003

38

A theory for Log-Space and NLIN versus co-NLIN

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 690 KB

english, 2003

39

Parallel strategies

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 719 KB

english, 2003

40

A computably categorical structure whose expansion by a constant has infinite computable dimension

Hirschfeldt, Denis R., Khoussainov, Bakhadyr, Shore, Richard A.

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 2.55 MB

english, 2003

41

An application of Kochen's theorem

Laskowski, Michael C.

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 591 KB

english, 2003

42

JSL Volume 68 issue 4 Cover and Back matter

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 7.72 MB

english, 2003

43

JSL Volume 68 issue 4 Cover and Front matter

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 7.44 MB

english, 2003

44

Recovering ordered structures from quotients of their automorphism groups

Giraudet, M., Truss, J. K.

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 758 KB

english, 2003

45

Distinguishing types of gaps in (ω)/fin

Yorioka, Teruyuki

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 1.05 MB

english, 2003

46

Finite-to-one maps

Forster, Thomas

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 189 KB

english, 2003

47

Ranked partial structures

Carlson, Timothy J.

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 2.13 MB

english, 2003

48

A proof-theoretic study of the correspondence of classical logic and modal logic

Kushida, H., Okada, M.

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 710 KB

english, 2003

49

Categoricity and U-rank in excellent classes

Lessmann, Olivier

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 1.25 MB

english, 2003

50

Corrigendum to “Strong normalization proof with CPS-translation for second order classical natural deduction”

Nakazawa, Koji, Tatsuta, Makoto

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 840 KB

english, 2003

51

The axiom of choice and combinatory logic

Cantini, Andrea

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 790 KB

english, 2003

52

On countable simple unidimensional theories

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 499 KB

english, 2003