13629 results in The Journal of Symbolic Logic
UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 2 / June 2015
- Published online by Cambridge University Press:
- 22 April 2015, pp. 490-502
- Print publication:
- June 2015
-
- Article
- Export citation
SILVER ANTICHAINS
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 2 / June 2015
- Published online by Cambridge University Press:
- 22 April 2015, pp. 503-519
- Print publication:
- June 2015
-
- Article
- Export citation
MARTIN-LÖF RANDOMNESS IN SPACES OF CLOSED SETS
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 2 / June 2015
- Published online by Cambridge University Press:
- 22 April 2015, pp. 359-383
- Print publication:
- June 2015
-
- Article
- Export citation
JSL volume 80 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 2 / June 2015
- Published online by Cambridge University Press:
- 22 April 2015, pp. f1-f3
- Print publication:
- June 2015
-
- Article
-
- You have access
- Export citation
HARRINGTON’S PRINCIPLE IN HIGHER ORDER ARITHMETIC
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 2 / June 2015
- Published online by Cambridge University Press:
- 22 April 2015, pp. 477-489
- Print publication:
- June 2015
-
- Article
-
- You have access
- Export citation
THE MOUSE SET CONJECTURE FOR SETS OF REALS
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 2 / June 2015
- Published online by Cambridge University Press:
- 22 April 2015, pp. 671-683
- Print publication:
- June 2015
-
- Article
- Export citation
LOWER BOUNDS FOR DNF-REFUTATIONS OF A RELATIVIZED WEAK PIGEONHOLE PRINCIPLE
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 2 / June 2015
- Published online by Cambridge University Press:
- 22 April 2015, pp. 450-476
- Print publication:
- June 2015
-
- Article
- Export citation
NON-SPLITTINGS OF SPEEDABLE SETS
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 2 / June 2015
- Published online by Cambridge University Press:
- 22 April 2015, pp. 609-635
- Print publication:
- June 2015
-
- Article
- Export citation
FAILURES OF THE SILVER DICHOTOMY IN THE GENERALIZED BAIRE SPACE
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 2 / June 2015
- Published online by Cambridge University Press:
- 22 April 2015, pp. 661-670
- Print publication:
- June 2015
-
- Article
- Export citation
HOMOGENEITY AND FIX-POINTS: GOING FORTH!
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 2 / June 2015
- Published online by Cambridge University Press:
- 22 April 2015, pp. 636-660
- Print publication:
- June 2015
-
- Article
- Export citation
PRESBURGER ARITHMETIC, RATIONAL GENERATING FUNCTIONS, AND QUASI-POLYNOMIALS
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 2 / June 2015
- Published online by Cambridge University Press:
- 22 April 2015, pp. 433-449
- Print publication:
- June 2015
-
- Article
- Export citation
UNDECIDABILITY OF CONSEQUENCE RELATION IN FULL NON-ASSOCIATIVE LAMBEK CALCULUS
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 2 / June 2015
- Published online by Cambridge University Press:
- 22 April 2015, pp. 567-586
- Print publication:
- June 2015
-
- Article
- Export citation
BAD FIELDS WITH TORSION
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 1 / March 2015
- Published online by Cambridge University Press:
- 13 March 2015, pp. 221-233
- Print publication:
- March 2015
-
- Article
- Export citation
A VALUATION THEORETIC CHARACTERIZATION OF RECURSIVELY SATURATED REAL CLOSED FIELDS
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 1 / March 2015
- Published online by Cambridge University Press:
- 13 March 2015, pp. 194-206
- Print publication:
- March 2015
-
- Article
- Export citation
SET FORCING AND STRONG CONDENSATION FOR H(ω2)
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 1 / March 2015
- Published online by Cambridge University Press:
- 13 March 2015, pp. 56-84
- Print publication:
- March 2015
-
- Article
- Export citation
BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 1 / March 2015
- Published online by Cambridge University Press:
- 13 March 2015, pp. 1-28
- Print publication:
- March 2015
-
- Article
- Export citation
A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 1 / March 2015
- Published online by Cambridge University Press:
- 13 March 2015, pp. 341-358
- Print publication:
- March 2015
-
- Article
- Export citation
STRUCTURE THEORY OF L(ℝ, μ) AND ITS APPLICATIONS
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 1 / March 2015
- Published online by Cambridge University Press:
- 13 March 2015, pp. 29-55
- Print publication:
- March 2015
-
- Article
- Export citation
DEFINABLE HENSELIAN VALUATIONS
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 1 / March 2015
- Published online by Cambridge University Press:
- 13 March 2015, pp. 85-99
- Print publication:
- March 2015
-
- Article
- Export citation
LOCALLY CONSTANT FUNCTIONS IN C-MINIMAL STRUCTURES
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 1 / March 2015
- Published online by Cambridge University Press:
- 13 March 2015, pp. 207-220
- Print publication:
- March 2015
-
- Article
- Export citation