Volume 79; Issue 2

Journal of Symbolic Logic

Volume 79; Issue 2
1

O-MINIMALISM

SCHOUTENS, HANS
Journal:
Journal of Symbolic Logic
Année:
2014
Langue:
english
Fichier:
PDF, 687 KB
english, 2014
2

AUTOMORPHISM GROUPS OF SATURATED MODELS OF PEANO ARITHMETIC

NURKHAIDAROV, ERMEK S., SCHMERL, JAMES H.
Journal:
Journal of Symbolic Logic
Année:
2014
Langue:
english
Fichier:
PDF, 425 KB
english, 2014
3

LIFTING PROOF THEORY TO THE COUNTABLE ORDINALS: ZERMELO-FRAENKEL SET THEORY

ARAI, TOSHIYASU
Journal:
Journal of Symbolic Logic
Année:
2014
Langue:
english
Fichier:
PDF, 471 KB
english, 2014
4

EXAMPLES IN DEPENDENT THEORIES

KAPLAN, ITAY, SHELAH, SAHARON
Journal:
Journal of Symbolic Logic
Année:
2014
Langue:
english
Fichier:
PDF, 527 KB
english, 2014
5

THE FREE PSEUDOSPACE IS N-AMPLE, BUT NOT (N + 1)-AMPLE

TENT, KATRIN
Journal:
Journal of Symbolic Logic
Année:
2014
Langue:
english
Fichier:
PDF, 391 KB
english, 2014
6

COMPLEXITY OF COMPLEXITY AND STRINGS WITH MAXIMAL PLAIN AND PREFIX KOLMOGOROV COMPLEXITY

BAUWENS, B., SHEN, A.
Journal:
Journal of Symbolic Logic
Année:
2014
Langue:
english
Fichier:
PDF, 322 KB
english, 2014
7

F σ EQUIVALENCE RELATIONS AND LAVER FORCING

DOUCHA, MICHAL
Journal:
Journal of Symbolic Logic
Année:
2014
Langue:
english
Fichier:
PDF, 318 KB
english, 2014
8

A NOTE ON INITIAL SEGMENTS OF THE ENUMERATION DEGREES

SLAMAN, THEODORE A., SORBI, ANDREA
Journal:
Journal of Symbolic Logic
Année:
2014
Langue:
english
Fichier:
PDF, 293 KB
english, 2014
9

GLIVENKO AND KURODA FOR SIMPLE TYPE THEORY

BROWN, CHAD E., RIZKALLAH, CHRISTINE
Journal:
Journal of Symbolic Logic
Année:
2014
Langue:
english
Fichier:
PDF, 302 KB
english, 2014
10

THE TREE PROPERTY UP TO אω+1

NEEMAN, ITAY
Journal:
Journal of Symbolic Logic
Année:
2014
Langue:
english
Fichier:
PDF, 506 KB
english, 2014
11

CHARACTERIZING LOWNESS FOR DEMUTH RANDOMNESS

BIENVENU, LAURENT, DOWNEY, ROD, GREENBERG, NOAM, NIES, ANDRÉ, TURETSKY, DAN
Journal:
Journal of Symbolic Logic
Année:
2014
Langue:
english
Fichier:
PDF, 516 KB
english, 2014
12

ALMOST INDISCERNIBLE SEQUENCES AND CONVERGENCE OF CANONICAL BASES

YAACOV, ITAÏ BEN, BERENSTEIN, ALEXANDER, HENSON, C. WARD
Journal:
Journal of Symbolic Logic
Année:
2014
Langue:
english
Fichier:
PDF, 479 KB
english, 2014
13

FRAGMENTS OF APPROXIMATE COUNTING

BUSS, SAMUEL R., KOŁODZIEJCZYK, LESZEK ALEKSANDER, THAPEN, NEIL
Journal:
Journal of Symbolic Logic
Année:
2014
Langue:
english
Fichier:
PDF, 459 KB
english, 2014