13629 results in The Journal of Symbolic Logic
THE FREE PSEUDOSPACE IS N-AMPLE, BUT NOT (N + 1)-AMPLE
-
- Journal:
- The Journal of Symbolic Logic / Volume 79 / Issue 2 / June 2014
- Published online by Cambridge University Press:
- 25 June 2014, pp. 410-428
- Print publication:
- June 2014
-
- Article
- Export citation
THE TREE PROPERTY UP TO אω+1
-
- Journal:
- The Journal of Symbolic Logic / Volume 79 / Issue 2 / June 2014
- Published online by Cambridge University Press:
- 25 June 2014, pp. 429-459
- Print publication:
- June 2014
-
- Article
- Export citation
GLIVENKO AND KURODA FOR SIMPLE TYPE THEORY
-
- Journal:
- The Journal of Symbolic Logic / Volume 79 / Issue 2 / June 2014
- Published online by Cambridge University Press:
- 25 June 2014, pp. 485-495
- Print publication:
- June 2014
-
- Article
- Export citation
LIFTING PROOF THEORY TO THE COUNTABLE ORDINALS: ZERMELO-FRAENKEL SET THEORY
-
- Journal:
- The Journal of Symbolic Logic / Volume 79 / Issue 2 / June 2014
- Published online by Cambridge University Press:
- 25 June 2014, pp. 325-354
- Print publication:
- June 2014
-
- Article
- Export citation
MASS PROBLEMS AND INITIAL SEGMENT COMPLEXITY
-
- Journal:
- The Journal of Symbolic Logic / Volume 79 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 17 April 2014, pp. 20-44
- Print publication:
- March 2014
-
- Article
- Export citation
DECIDABLE MODELS OF ω-STABLE THEORIES
-
- Journal:
- The Journal of Symbolic Logic / Volume 79 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 17 April 2014, pp. 186-192
- Print publication:
- March 2014
-
- Article
- Export citation
AN INDEPENDENCE THEOREM FOR NTP2 THEORIES
-
- Journal:
- The Journal of Symbolic Logic / Volume 79 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 17 April 2014, pp. 135-153
- Print publication:
- March 2014
-
- Article
- Export citation
DECIDABILITY OF MODULES OVER A BÉZOUT DOMAIN D+XQ[X] WITH D A PRINCIPAL IDEAL DOMAIN AND Q ITS FIELD OF FRACTIONS
-
- Journal:
- The Journal of Symbolic Logic / Volume 79 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 17 April 2014, pp. 296-305
- Print publication:
- March 2014
-
- Article
- Export citation
THE STRONG TREE PROPERTY AT SUCCESSORS OF SINGULAR CARDINALS
-
- Journal:
- The Journal of Symbolic Logic / Volume 79 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 17 April 2014, pp. 193-207
- Print publication:
- March 2014
-
- Article
- Export citation
FIELDS WITH SEVERAL COMMUTING DERIVATIONS
-
- Journal:
- The Journal of Symbolic Logic / Volume 79 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 17 April 2014, pp. 1-19
- Print publication:
- March 2014
-
- Article
- Export citation
ON
${\omega _1}$-STRONGLY COMPACT CARDINALS
-
- Journal:
- The Journal of Symbolic Logic / Volume 79 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 17 April 2014, pp. 266-278
- Print publication:
- March 2014
-
- Article
- Export citation
THE NON-AXIOMATIZABILITY OF O-MINIMALITY
-
- Journal:
- The Journal of Symbolic Logic / Volume 79 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 17 April 2014, pp. 54-59
- Print publication:
- March 2014
-
- Article
- Export citation
A LIGHTFACE ANALYSIS OF THE DIFFERENTIABILITY RANK
-
- Journal:
- The Journal of Symbolic Logic / Volume 79 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 17 April 2014, pp. 240-265
- Print publication:
- March 2014
-
- Article
- Export citation
FROM A1 TO D5: TOWARDS A FORCING-RELATED CLASSIFICATION OF RELATIONAL STRUCTURES
-
- Journal:
- The Journal of Symbolic Logic / Volume 79 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 17 April 2014, pp. 279-295
- Print publication:
- March 2014
-
- Article
- Export citation
A REDUCTION TO THE COMPACT CASE FOR GROUPS DEFINABLE IN O-MINIMAL STRUCTURES
-
- Journal:
- The Journal of Symbolic Logic / Volume 79 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 17 April 2014, pp. 45-53
- Print publication:
- March 2014
-
- Article
- Export citation
GENERIC STABILITY AND STABILITY
-
- Journal:
- The Journal of Symbolic Logic / Volume 79 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 17 April 2014, pp. 179-185
- Print publication:
- March 2014
-
- Article
- Export citation
MODEL-THEORETIC PROPERTIES OF ULTRAFILTERS BUILT BY INDEPENDENT FAMILIES OF FUNCTIONS
-
- Journal:
- The Journal of Symbolic Logic / Volume 79 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 17 April 2014, pp. 103-134
- Print publication:
- March 2014
-
- Article
- Export citation
JSL volume 79 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 79 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 17 April 2014, pp. f1-f3
- Print publication:
- March 2014
-
- Article
-
- You have access
- Export citation
THE TURING DEGREES BELOW GENERICS AND RANDOMS
-
- Journal:
- The Journal of Symbolic Logic / Volume 79 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 17 April 2014, pp. 171-178
- Print publication:
- March 2014
-
- Article
- Export citation
THE NEAT EMBEDDING PROBLEM FOR ALGEBRAS OTHER THAN CYLINDRIC ALGEBRAS AND FOR INFINITE DIMENSIONS
-
- Journal:
- The Journal of Symbolic Logic / Volume 79 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 17 April 2014, pp. 208-222
- Print publication:
- March 2014
-
- Article
- Export citation