13629 results in The Journal of Symbolic Logic
UNIFICATION IN INTERMEDIATE LOGICS
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 22 July 2015, pp. 713-729
- Print publication:
- September 2015
-
- Article
- Export citation
THE NEXT BEST THING TO A P-POINT
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 22 July 2015, pp. 866-900
- Print publication:
- September 2015
-
- Article
- Export citation
AXIOM I0 AND HIGHER DEGREE THEORY
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 22 July 2015, pp. 970-1021
- Print publication:
- September 2015
-
- Article
- Export citation
EMBEDDINGS OF P(ω)/Fin INTO BOREL EQUIVALENCE RELATIONS BETWEEN ℓp AND ℓq
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 22 July 2015, pp. 917-939
- Print publication:
- September 2015
-
- Article
- Export citation
ALMOST GALOIS ω-STABLE CLASSES
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 22 July 2015, pp. 763-784
- Print publication:
- September 2015
-
- Article
- Export citation
PEBBLE GAMES AND LINEAR EQUATIONS
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 22 July 2015, pp. 797-844
- Print publication:
- September 2015
-
- Article
- Export citation
CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 22 July 2015, pp. 845-865
- Print publication:
- September 2015
-
- Article
- Export citation
JSL volume 80 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 22 July 2015, pp. b1-b2
- Print publication:
- September 2015
-
- Article
-
- You have access
- Export citation
SAFE RECURSIVE SET FUNCTIONS
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 22 July 2015, pp. 730-762
- Print publication:
- September 2015
-
- Article
- Export citation
A STRONG MULTI-TYPED INTUITIONISTIC THEORY OF FUNCTIONALS
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 22 July 2015, pp. 1035-1065
- Print publication:
- September 2015
-
- Article
- Export citation
AN ALGEBRA WHOSE SUBALGEBRAS ARE CHARACTERIZED BY DENSITY
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 22 July 2015, pp. 1066-1074
- Print publication:
- September 2015
-
- Article
- Export citation
FORKING AND STABILITY IN THE REPRESENTATIONS OF A C*-ALGEBRA
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 22 July 2015, pp. 785-796
- Print publication:
- September 2015
-
- Article
- Export citation
MAD SPECTRA
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 22 July 2015, pp. 901-916
- Print publication:
- September 2015
-
- Article
- Export citation
JSL volume 80 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 22 July 2015, pp. f1-f3
- Print publication:
- September 2015
-
- Article
-
- You have access
- Export citation
TRANSFINITE RECURSION IN HIGHER REVERSE MATHEMATICS
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 22 July 2015, pp. 940-969
- Print publication:
- September 2015
-
- Article
- Export citation
ON RESURRECTION AXIOMS
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 2 / June 2015
- Published online by Cambridge University Press:
- 22 April 2015, pp. 587-608
- Print publication:
- June 2015
-
- Article
- Export citation
THE UNDECIDABILITY OF THE DEFINABILITY OF PRINCIPAL SUBCONGRUENCES
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 2 / June 2015
- Published online by Cambridge University Press:
- 22 April 2015, pp. 384-432
- Print publication:
- June 2015
-
- Article
- Export citation
DECIDABILITY FOR THEORIES OF MODULES OVER VALUATION DOMAINS
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 2 / June 2015
- Published online by Cambridge University Press:
- 22 April 2015, pp. 684-711
- Print publication:
- June 2015
-
- Article
- Export citation
TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE S4
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 2 / June 2015
- Published online by Cambridge University Press:
- 22 April 2015, pp. 520-566
- Print publication:
- June 2015
-
- Article
- Export citation
JSL volume 80 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 2 / June 2015
- Published online by Cambridge University Press:
- 22 April 2015, pp. b1-b2
- Print publication:
- June 2015
-
- Article
-
- You have access
- Export citation