Volume 72; Issue 1

Main
Journal of Symbolic Logic
Volume 72; Issue 1

Journal of Symbolic Logic

Volume 72; Issue 1

1

Forcing Indestructibility of Set-Theoretic Axioms

Bernhard König

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 959 KB

english, 2007

2

Front Matter

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 323 KB

english, 2007

3

On Finite Approximations of Topological Algebraic Systems

L. Yu. Glebsky, E. I. Gordon and C. Ward Henson

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 2.04 MB

english, 2007

4

Linear Kripke Frames and Gödel Logics

Arnold Beckmann and Norbert Preining

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 1.47 MB

english, 2007

5

The Pointwise Ergodic Theorem in Subsystems of Second-Order Arithmetic

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 1.63 MB

english, 2007

6

Type-Definable and Invariant Groups in O-Minimal Structures

Jana Maříková

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 1.07 MB

english, 2007

7

Non-Branching Degrees in the Medvedev Lattice of$\Pi _{1}^{0}$Classes

Christopher P. Alfeld

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 1.26 MB

english, 2007

8

Intensional Models for the Theory of Types

Reinhard Muskens

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 1.71 MB

english, 2007

9

A Question of Van Den Dries and a Theorem of Lipshitz and Robinson; Not Everything Is Standard

Ehud Hrushovski and Ya'Acov Peterzil

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 415 KB

english, 2007

10

Theories Very Close to PA Where Kreisel's Conjecture Is False

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 1.01 MB

english, 2007

11

Completeness of MLL Proof-Nets w.r.t. Weak Distributivity

Jean-Baptiste Joinet

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 815 KB

english, 2007

12

Combinatorial Principles Weaker than Ramsey's Theorem for Pairs

Denis R. Hirschfeldt and Richard A. Shore

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 2.94 MB

english, 2007

13

Red Fields

A. Baudisch, A. Martin-Pizarro and M. Ziegler

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 1.28 MB

english, 2007

14

Power Set Modulo Small, the Singular of Uncountable Cofinality

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 1.15 MB

english, 2007

15

The Logic of Interactive Turing Reduction

Giorgi Japaridze

Journal:

Journal of Symbolic Logic

Année:

2007

Fichier:

PDF, 5.74 MB

2007

16

Elementary Differences between the (2p)-C. E. and the (2p + 1)-C. E. Enumeration Degrees

I. S. Kalimullin

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 639 KB

english, 2007

17

A Reduction of the NF Consistency Problem

Athanassios Tzouvaras

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 1.43 MB

english, 2007

18

Bounding Homogeneous Models

Barbara F. Csima, Valentina S. Harizanov, Denis R. Hirschfeldt and Robert I. Soare

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 1.56 MB

english, 2007

19

Spectra of Structures and Relations

Valentina S. Harizanov and Russell G. Miller

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 2.13 MB

english, 2007

20

Back Matter

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 104 KB

english, 2007

21

Red fields

Baudisch, A., Martin-Pizarro, A., Ziegler, M.

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 1.13 MB

english, 2007

22

The nonstationary ideal in the ℙ max extension

Larson, Paul B.

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 1.48 MB

english, 2007

23

Non-branching degrees in the Medvedev lattice of Π1 0 classes

Alfeld, Christopher P.

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 1.10 MB

english, 2007

24

A question of van den Dries and a theorem of Lipshitz and Robinson; Not everything is standard

Hrushovski, Ehud, Peterzil, Ya'acov

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 411 KB

english, 2007

25

A Reduction of the NF consistency Problem

Tzouvaras, Athanassios

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 1.23 MB

english, 2007

26

On finite approximations of topological algebraic systems

Glebsky, L. Yu., Gordon, E. I., Henson, C. Ward

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 1.70 MB

english, 2007

27

Power set modulo small, the singular of uncountable cofinality

Shelah, Saharon

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 1.02 MB

english, 2007

28

Spectra of structures and relations

Harizanov, Valentina S., Miller, Russell G.

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 1.79 MB

english, 2007

29

JSL volume 72 issue 1 Cover and Front matter

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 1.61 MB

english, 2007

30

Forcing indestructibility of set-theoretic axioms

KÖnig, Bernhard

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 826 KB

english, 2007

31

The logic of interactive turing reduction

Japaridze, Giorgi

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 2.32 MB

english, 2007

32

Type-definable and invariant groups in o-minimal structures

Maříková, Jana

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 951 KB

english, 2007

33

Theories very close to PA where Kreisel's Conjecture is false

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 931 KB

english, 2007

34

Intensional models for the theory of types

Muskens, Reinhard

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 1.45 MB

english, 2007

35

Completeness of MLL proof-nets w.r.t. weak distributivity

Joinet, Jean-Baptiste

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 745 KB

english, 2007

36

Bounding homogenous models

Barbara F. Csima,, Harizanov, Valentina S., Hirschfeldt, Denis R., Soare, Robert I.

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 1.34 MB

english, 2007

37

Combinatorial principles weaker than Ramsey's Theorem for pairs

Hirschfeldt, Denis R., Shore, Richard A.

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 2.42 MB

english, 2007

38

The pointwise ergodic theorem in subsystems of second-order arithmetic

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 1.40 MB

english, 2007

39

Linear Kripke frames and Gödel logics

Beckmann, Arnold, Preining, Norbert

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 1.22 MB

english, 2007

40

JSL volume 72 issue 1 Cover and Back matter

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 1.82 MB

english, 2007

41

Elementary differences between the (2 p )-C. E. and the (2 p +1)-c. e. enumeration degrees

Kalimullin, I. S.

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 602 KB

english, 2007

42

The Nonstationary Ideal in the Pmax Extension

Journal:

Journal of Symbolic Logic

Année:

2007

Langue:

english

Fichier:

PDF, 1.77 MB

english, 2007