13629 results in The Journal of Symbolic Logic
Power-like models of set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1766-1782
- Print publication:
- December 2001
-
- Article
- Export citation
L'égalité au cube
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1647-1676
- Print publication:
- December 2001
-
- Article
- Export citation
JSL volume 66 issue 4 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b10
- Print publication:
- December 2001
-
- Article
-
- You have access
- Export citation
Continuum cardinals generalized to Boolean algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1928-1958
- Print publication:
- December 2001
-
- Article
- Export citation
JSL volume 66 issue 4 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- December 2001
-
- Article
-
- You have access
- Export citation
Credibility limited revision
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1581-1596
- Print publication:
- December 2001
-
- Article
- Export citation
On the recursion theorem in iterative operative spaces
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1727-1748
- Print publication:
- December 2001
-
- Article
- Export citation
Main gap for locally saturated elementary submodels of a homogeneous structure
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1286-1302
- Print publication:
- September 2001
-
- Article
- Export citation
First order theories for nonmonotone inductive definitions: recursively inaccessible and Mahlo
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1073-1089
- Print publication:
- September 2001
-
- Article
- Export citation
Forcing many positive polarized partition relations between a cardinal and its powerset
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1359-1370
- Print publication:
- September 2001
-
- Article
- Export citation
Properties of ideals on the generalized Cantor spaces
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1303-1320
- Print publication:
- September 2001
-
- Article
- Export citation
JSL volume 66 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- September 2001
-
- Article
-
- You have access
- Export citation
On elementary embeddings from an inner model to the universe
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1090-1116
- Print publication:
- September 2001
-
- Article
- Export citation
On computable automorphisms of the rational numbers
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1458-1470
- Print publication:
- September 2001
-
- Article
- Export citation
An axiomatization of full Computation Tree Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1011-1057
- Print publication:
- September 2001
-
- Article
- Export citation
Number systems with simplicity hierarchies: a generalization of Conway's theory of surreal numbers
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1231-1258
- Print publication:
- September 2001
-
- Article
- Export citation
Unfoldable cardinals and the GCH
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1186-1198
- Print publication:
- September 2001
-
- Article
- Export citation
Minimality and completions of PA
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1447-1457
- Print publication:
- September 2001
-
- Article
- Export citation
An intuitionistic version of Zermelo's proof that every choice set can be well-ordered
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1121-1126
- Print publication:
- September 2001
-
- Article
- Export citation
A note on the isomorphism problem for SK[G]
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1117-1120
- Print publication:
- September 2001
-
- Article
- Export citation