Volume 77; Issue 3

Journal of Symbolic Logic

Volume 77; Issue 3
1

The Friedman-Sheard programme in intuitionistic logic

Leigh, Graham E., Rathjen, Michael
Journal:
Journal of Symbolic Logic
Year:
2012
Language:
english
File:
PDF, 321 KB
english, 2012
2

Herbrand consistency of some arithmetical theories

Salehi, Saeed
Journal:
Journal of Symbolic Logic
Year:
2012
Language:
english
File:
PDF, 261 KB
english, 2012
4

JSL volume 77 issue 3 Cover and Front matter

Journal:
Journal of Symbolic Logic
Year:
2012
Language:
english
File:
PDF, 1.33 MB
english, 2012
6

JSL volume 77 issue 3 Cover and Back matter

Journal:
Journal of Symbolic Logic
Year:
2012
Language:
english
File:
PDF, 515 KB
english, 2012
7

Term extraction and Ramsey's theorem for pairs

Kreuzer, Alexander P., Kohlenbach, Ulrich
Journal:
Journal of Symbolic Logic
Year:
2012
Language:
english
File:
PDF, 2.42 MB
english, 2012
8

Non-genericity phenomena in ordered Fraïssé classes

Slutsky, Konstantin
Journal:
Journal of Symbolic Logic
Year:
2012
Language:
english
File:
PDF, 1.39 MB
english, 2012
9

A strong polarized relation

Garti, Shimon, Shelah, Saharon
Journal:
Journal of Symbolic Logic
Year:
2012
Language:
english
File:
PDF, 815 KB
english, 2012
10

Small representations of SL2 in the finite Morley rank category

Cherlin, Gregory, Deloro, Adrien
Journal:
Journal of Symbolic Logic
Year:
2012
Language:
english
File:
PDF, 1.02 MB
english, 2012
11

Non-finitely axiomatisable two-dimensional modal logics

Kurucz, Agi, Marcelino, Sérgio
Journal:
Journal of Symbolic Logic
Year:
2012
Language:
english
File:
PDF, 1012 KB
english, 2012
12

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

Policriti, Alberto, Omodeo, Eugenio
Journal:
Journal of Symbolic Logic
Year:
2012
Language:
english
File:
PDF, 1.36 MB
english, 2012
13

On ω-categorical, generically stable groups

Dobrowolski, Jan, Krupiński, Krzysztof
Journal:
Journal of Symbolic Logic
Year:
2012
Language:
english
File:
PDF, 776 KB
english, 2012
14

-definability at uncountable regular cardinals

Lücke, Philipp
Journal:
Journal of Symbolic Logic
Year:
2012
Language:
english
File:
PDF, 2.14 MB
english, 2012
15

The tree property and the failure of the Singular Cardinal Hypothesis at ℵ ω 2

Sinapova, Dima
Journal:
Journal of Symbolic Logic
Year:
2012
Language:
english
File:
PDF, 169 KB
english, 2012
16

A sound and complete axiomatization for Dynamic Topological Logic

Fernández-Duque, David
Journal:
Journal of Symbolic Logic
Year:
2012
Language:
english
File:
PDF, 233 KB
english, 2012