Volume 75; Issue 2

Journal of Symbolic Logic

Volume 75; Issue 2
1

Interpreting true arithmetic in the -enumeration degrees

Kent, Thomas F.
Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 314 KB
english, 2010
2

On Downey's conjecture

Arslanov, Marat M., Kalimullin, Iskander Sh., Lempp, Steffen
Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 376 KB
english, 2010
3

Espaces vectoriels C-minimaux

Maalouf, Fares
Journal:
Journal of Symbolic Logic
Year:
2010
File:
PDF, 1.33 MB
2010
4

Schnorr trivial sets and truth-table reducibility

Franklin, Johanna N. Y., Stephan, Frank
Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 1.42 MB
english, 2010
6

Schlanke Körper (Slim fields)

Junker, Markus, Koenigsmann, Jochen
Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 1.31 MB
english, 2010
7

JSL volume 75 issue 2 Cover and Back matter

Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 405 KB
english, 2010
8

The bounded functional interpretation of the double negation shift

Patrícia, Engrácia, Ferreira, Fernando
Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 1003 KB
english, 2010
10

Towards applied theories based on computability logic

Japaridze, Giorgi
Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 2.39 MB
english, 2010
11

JSL volume 75 issue 2 Cover and Front matter

Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 890 KB
english, 2010
12

On quasiminimal excellent classes

Kirby, Jonathan
Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 1.05 MB
english, 2010
14

Effectivity and effective continuity of multifunctions

Spreen, Dieter
Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 2.54 MB
english, 2010
15

Strongly and co-strongly minimal abelian structures

Hrushovski, Ehud, Loveys, James
Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 1.21 MB
english, 2010
16

The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability

Omodeo, Eugenio, Policriti, Alberto
Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 1.54 MB
english, 2010
17

On changing cofinality of partially ordered sets

Gitik, Moti
Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 1.16 MB
english, 2010
18

Some natural decision problems in automatic graphs

Kuske, Dietrich, Lohrey, Markus
Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 3.17 MB
english, 2010
19

A form of feasible interpolation for constant depth Frege systems

Krajíček, Jan
Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 816 KB
english, 2010