13630 results in The Journal of Symbolic Logic
RANK LOGIC IS DEAD, LONG LIVE RANK LOGIC!
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 1 / March 2019
- Published online by Cambridge University Press:
- 14 March 2019, pp. 54-87
- Print publication:
- March 2019
-
- Article
- Export citation
JSL volume 84 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 1 / March 2019
- Published online by Cambridge University Press:
- 14 March 2019, pp. f1-f3
- Print publication:
- March 2019
-
- Article
-
- You have access
- Export citation
COMPONENTS AND MINIMAL NORMAL SUBGROUPS OF FINITE AND PSEUDOFINITE GROUPS
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 1 / March 2019
- Published online by Cambridge University Press:
- 14 March 2019, pp. 290-300
- Print publication:
- March 2019
-
- Article
- Export citation
DEFINABLE MINIMAL COLLAPSE FUNCTIONS AT ARBITRARY PROJECTIVE LEVELS
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 1 / March 2019
- Published online by Cambridge University Press:
- 14 March 2019, pp. 266-289
- Print publication:
- March 2019
-
- Article
- Export citation
ITERATING SYMMETRIC EXTENSIONS
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 1 / March 2019
- Published online by Cambridge University Press:
- 14 March 2019, pp. 123-159
- Print publication:
- March 2019
-
- Article
- Export citation
ON SINGULAR STATIONARITY II (TIGHT STATIONARITY AND EXTENDERS-BASED METHODS)
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 1 / March 2019
- Published online by Cambridge University Press:
- 14 March 2019, pp. 320-342
- Print publication:
- March 2019
-
- Article
- Export citation
ON A QUESTION OF KRAJEWSKI’S
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 1 / March 2019
- Published online by Cambridge University Press:
- 14 March 2019, pp. 343-358
- Print publication:
- March 2019
-
- Article
- Export citation
UNSOUND INFERENCES MAKE PROOFS SHORTER
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 1 / March 2019
- Published online by Cambridge University Press:
- 14 March 2019, pp. 102-122
- Print publication:
- March 2019
-
- Article
- Export citation
ON THE INEVITABILITY OF THE CONSISTENCY OPERATOR
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 1 / March 2019
- Published online by Cambridge University Press:
- 14 March 2019, pp. 205-225
- Print publication:
- March 2019
-
- Article
- Export citation
JSL volume 84 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 1 / March 2019
- Published online by Cambridge University Press:
- 14 March 2019, pp. b1-b2
- Print publication:
- March 2019
-
- Article
-
- You have access
- Export citation
MARKOV’S PRINCIPLE AND SUBSYSTEMS OF INTUITIONISTIC ANALYSIS
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 26 February 2019, pp. 870-876
- Print publication:
- June 2019
-
- Article
- Export citation
A SEPARATION RESULT FOR COUNTABLE UNIONS OF BOREL RECTANGLES
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 22 February 2019, pp. 517-532
- Print publication:
- June 2019
-
- Article
- Export citation
THE HARRINGTON–SHELAH MODEL WITH LARGE CONTINUUM
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 22 February 2019, pp. 684-703
- Print publication:
- June 2019
-
- Article
- Export citation
INDEPENDENCE IN GENERIC INCIDENCE STRUCTURES
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 15 February 2019, pp. 750-780
- Print publication:
- June 2019
-
- Article
- Export citation
A NOTE ON PREDICATIVE ORDINAL ANALYSIS I: ITERATED COMPREHENSION AND TRANSFINITE INDUCTION
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 1 / March 2019
- Published online by Cambridge University Press:
- 13 February 2019, pp. 226-265
- Print publication:
- March 2019
-
- Article
- Export citation
NORMAL MEASURES ON A TALL CARDINAL
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 1 / March 2019
- Published online by Cambridge University Press:
- 13 February 2019, pp. 178-204
- Print publication:
- March 2019
-
- Article
- Export citation
BASIS THEOREMS FOR ${\rm{\Sigma }}_2^1$-SETS
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 1 / March 2019
- Published online by Cambridge University Press:
- 11 February 2019, pp. 376-387
- Print publication:
- March 2019
-
- Article
- Export citation
AXIOMATIZATION OF PROVABLE n-PROVABILITY
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 08 February 2019, pp. 849-869
- Print publication:
- June 2019
-
- Article
- Export citation
ITP, ISP, AND SCH
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 08 February 2019, pp. 713-725
- Print publication:
- June 2019
-
- Article
- Export citation
DERIVED MODELS OF MICE BELOW THE LEAST FIXPOINT OF THE SOLOVAY SEQUENCE
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 1 / March 2019
- Published online by Cambridge University Press:
- 07 February 2019, pp. 27-53
- Print publication:
- March 2019
-
- Article
- Export citation