Volume 70; Issue 3

Main
Journal of Symbolic Logic
Volume 70; Issue 3

Journal of Symbolic Logic

Volume 70; Issue 3

1

Random Reals and Possibly Infinite Computations Part I: Randomness in ∅′

Verónica Becher and Serge Grigorieff

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 2.34 MB

english, 2005

2

On Mathematical Instrumentalism

Patrick Caldon and Aleksandar Ignjatović

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 1.87 MB

english, 2005

3

A Logic for Metric and Topology

Frank Wolter and Michael Zakharyaschev

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 3.02 MB

english, 2005

4

Minimal Predicates. Fixed-Points, and Definability

Johan Van Benthem

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 1.97 MB

english, 2005

5

Canonical Extensions and Relational Completeness of Some Substructural Logics

J. Michael Dunn, Mai Gehrke and Alessandra Palmigiano

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 2.61 MB

english, 2005

6

Corrigendum to "Number Systems with Simplicity Hierarchies: A Generalization of Conway's Theory of Surreal Numbers"

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 120 KB

english, 2005

7

Front Matter

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 357 KB

english, 2005

8

Tree Structures Associated to a Family of Functions

Spiros A. Argyros, Pandelis Dodos and Vassilis Kanellopoulos

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 1.48 MB

english, 2005

9

Bounding and Nonbounding Minimal Pairs in the Enumeration Degrees

S. Barry Cooper, Angsheng Li, Andrea Sorbi and Yue Yang

Journal:

Journal of Symbolic Logic

Year:

2005

File:

PDF, 4.27 MB

2005

10

Strong Compactness and Stationary Sets

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 1.21 MB

english, 2005

11

Uncountable Dense Categoricity in Cats

Itay Ben-Yaacov

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 3.33 MB

english, 2005

12

Weak Cardinality Theorems

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 2.11 MB

english, 2005

13

Algebraic Set Theory and the Effective Topos

Claire Kouwenhoven-Gentil and Jaap van Oosten

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 1.14 MB

english, 2005

14

Preserving Preservation

Jakob Kellner and Saharon Shelah

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 3.14 MB

english, 2005

15

A Continuous Movement Version of the Banach-Tarski Paradox: A Solution to de Groot's Problem

Trevor M. Wilson

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 716 KB

english, 2005

16

The Axiom of Elementary Sets on the Edge of Peircean Expressibility

Andrea Formisano, Eugenio G. Omodeo and Alberto Policriti

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 1.56 MB

english, 2005

17

On Constructing Completions

Laura Crosilla, Hajime Ishihara and Peter Schuster

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 1.00 MB

english, 2005

18

Bi-Borel Reducibility of Essentially Countable Borel Equivalence Relations

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 1.01 MB

english, 2005

19

Products of 'Transitive' Modal Logics

D. Gabelaia, A. Kurucz, F. Wolter and M. Zakharyaschev

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 2.75 MB

english, 2005

20

Corrigendum to "A Schanuel Condition for Weierstrass Equations"

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 103 KB

english, 2005

21

Back Matter

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 420 KB

english, 2005

22

Corrigendum to “Number Systems with Simplicity Hierarchies: A Generalization of Conway's Theory of Surreal Numbers”

Ehrlich, Philip

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 209 KB

english, 2005

23

JSL volume 70 issue 3 Cover and Front matter

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 1.67 MB

english, 2005

24

JSL volume 70 issue 3 Cover and Back matter

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 1.99 MB

english, 2005

25

Weak cardinality theorems

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 1.34 MB

english, 2005

26

On mathematical instrumentalism

Caldon, Patrick, Ignjatović, Aleksandar

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 1.21 MB

english, 2005

27

Algebraic set theory and the effective topos

Kouwenhoven-Gentil, Claire, van Oosten, Jaap

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 819 KB

english, 2005

28

The axiom of elementary sets on the edge of Peircean expressibility

Formisano, Andrea, Omodeo, Eugenio G., Policriti, Alberto

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 1.03 MB

english, 2005

29

Strong compactness and stationary sets

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 841 KB

english, 2005

30

A continuous movement version of the Banach–Tarski paradox: A solution to de Groot's Problem

Wilson, Trevor M.

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 534 KB

english, 2005

31

Products of ‘transitive” modal logics

Gabelaia, D., Kurucz, A., Wolter, F., Zakharyaschev, M.

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 1.71 MB

english, 2005

32

A logic for metric and topology

Wolter, Frank, Zakharyaschev, Michael

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 1.89 MB

english, 2005

33

Random reals and possibly infinite computations Part I: Randomness in ∅′

Becher, Verónica, Grigorieff, Serge

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 1.47 MB

english, 2005

34

Corrigendum to “A Schanuel Condition for Weierstrass Equations”

Kirby, Jonathan

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 1.48 MB

english, 2005

35

Uncountable dense categoricity in cats

Ben-Yaacov, Itay

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 2.06 MB

english, 2005

36

Minimal predicates, fixed-points, and definability

Benthem, Johan Van

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 1.29 MB

english, 2005

37

On constructing completions

Crosilla, Laura, Ishihara, Hajime, Schuster, Peter

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 716 KB

english, 2005

38

Bi-Borel reducibility of essentially countable Borel equivalence relations

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 733 KB

english, 2005

39

Canonical extensions and relational completeness of some substructural logics

Dunn, J. Michael, Gehrke, Mai, Palmigiano, Alessandra

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 1.61 MB

english, 2005

40

Preserving preservation

Kellner, Jakob, Shelah, Saharon

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 1.94 MB

english, 2005

41

Tree structures associated to a family of functions

Argyros, Spiros A., Dodos, Pandelis, Kanellopoulos, Vassilis

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 995 KB

english, 2005

42

Bounding and nonbounding minimal pairs in the enumeration degrees

Cooper, S. Barry, Li, Angsheng, Sorbi, Andrea, Yang, Yue

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 1.74 MB

english, 2005