Volume 75; Issue 1

Journal of Symbolic Logic

Volume 75; Issue 1
1

On the complexity of Gödel's proof predicate

Chen, Yijia, Flum, Jörg
Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 175 KB
english, 2010
2

Uniquely undefinable elements

Hjorth, Greg
Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 422 KB
english, 2010
3

The importance of Π1 0 classes in effective randomness

Barmpalias, George, Lewis, Andrew E.M., Ng, Keng Meng
Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 1.09 MB
english, 2010
4

Finitely axiomatizable strongly minimal groups

Blossier, Thomas, Bouscaren, Elisabeth
Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 1.82 MB
english, 2010
5

An equiconsistency for universal indestructibility

Apter, Arthur W., Sargsyan, Grigor
Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 868 KB
english, 2010
7

JSL volume 75 issue 1 Cover and Back matter

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

Recovering the hyperdefinable group action in the group configuration theorem

Kim, Byunghan
Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 953 KB
english, 2010
9

A proof of completeness for continuous first-order logic

Yaacov, Itaï Ben, Pedersen, Arthur Paul
Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 1.48 MB
english, 2010
10

A Sacks real out of nowhere

Kellner, Jakob, Saharon Shelah,
Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 2.31 MB
english, 2010
11

Tait's conservative extension theorem revisited

Akiyoshi, Ryota
Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 899 KB
english, 2010
12

A monotonicity theorem for dp-minimal densely ordered groups

Goodrick, John
Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 1.19 MB
english, 2010
13

On Tao's “finitary” infinite pigeonhole principle

Gaspar, Jaime, Kohlenbach, Ulrich
Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 1.10 MB
english, 2010
14

Normal triangulations in o-minimal structures

Baro, Elías
Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 1.00 MB
english, 2010
15

JSL volume 75 issue 1 Cover and Front matter

Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 909 KB
english, 2010
16

Groups definable in linear o-minimal structures: the non-compact case

Eleftheriou, Pantelis E.
Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 878 KB
english, 2010
17

Real closed fields and models of Peano arithmetic

D'Aquino, P., Knight, J. F., Starchenko, S.
Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 874 KB
english, 2010
18

Schnorr triviality and genericity

Franklin, Johanna N.Y.
Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 1.27 MB
english, 2010
19

Fields interpretable in superrosy groups with NIP (the non-solvable case)

Krupiński, Krzysztof
Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 1.09 MB
english, 2010
20

Groups of small Cantor rank

Poizat, Bruno
Journal:
Journal of Symbolic Logic
Year:
2010
File:
PDF, 727 KB
2010
21

Baire reductions and good Borel reducibilities

Ros, Luca Motto
Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 1.57 MB
english, 2010
22

Lattice initial segments of the hyperdegrees

Shore, Richard A., Kjos-Hanssen, Bjørn
Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 2.16 MB
english, 2010
23

A phase semantics for polarized linear logic and second order conservativity

Hamano, Masahiro, Takemura, Ryo
Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 1.64 MB
english, 2010
24

Limitwise monotonic functions, sets, and degrees on computable domains

Kach, Asher M., Turetsky, Daniel
Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 1.67 MB
english, 2010
25

The Ackermann functions are not optimal, but by how much?

Simmons, H.
Journal:
Journal of Symbolic Logic
Year:
2010
Language:
english
File:
PDF, 1017 KB
english, 2010