13629 results in The Journal of Symbolic Logic
Recovering ordered structures from quotients of their automorphism groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1189-1198
- Print publication:
- December 2003
-
- Article
- Export citation
A proof-theoretic study of the correspondence of classical logic and modal logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1403-1414
- Print publication:
- December 2003
-
- Article
- Export citation
Partitioning large vector spaces
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1171-1180
- Print publication:
- December 2003
-
- Article
- Export citation
Cardinal-preserving extensions
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1163-1170
- Print publication:
- December 2003
-
- Article
- Export citation
Ample Dividing
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1385-1402
- Print publication:
- December 2003
-
- Article
- Export citation
The Kolmogorov-Loveland stochastic sequences are not closed under selecting subsequences
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1362-1376
- Print publication:
- December 2003
-
- Article
- Export citation
Corrigendum to “Strong normalization proof with CPS-translation for second order classical natural deduction”
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1415-1416
- Print publication:
- December 2003
-
- Article
- Export citation
The completeness of Heyting first-order logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 3 / September 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 751-763
- Print publication:
- September 2003
-
- Article
- Export citation
Generality of proofs and its Brauerian representation
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 3 / September 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 740-750
- Print publication:
- September 2003
-
- Article
- Export citation
Non-well-foundedness of well-orderable power sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 3 / September 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 879-884
- Print publication:
- September 2003
-
- Article
- Export citation
Isomorphisms of splits of computably enumerable sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 3 / September 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1044-1064
- Print publication:
- September 2003
-
- Article
- Export citation
Canonical functions, non-regular ultrafilters and Ulam's problem on ω1
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 3 / September 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 713-739
- Print publication:
- September 2003
-
- Article
- Export citation
A hierarchy for the plus cupping Turing degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 3 / September 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 972-988
- Print publication:
- September 2003
-
- Article
- Export citation
Embedding jump upper semilattices into the Turing degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 3 / September 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 989-1014
- Print publication:
- September 2003
-
- Article
- Export citation
JSL volume 68 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 3 / September 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- September 2003
-
- Article
-
- You have access
- Export citation
The approximation structure of a computably approximable real
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 3 / September 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 885-922
- Print publication:
- September 2003
-
- Article
- Export citation
Existential definability with bounds on archimedean valuations
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 3 / September 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 860-878
- Print publication:
- September 2003
-
- Article
- Export citation
Differential forms in the model theory of differential fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 3 / September 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 923-945
- Print publication:
- September 2003
-
- Article
- Export citation
Ultrafilters on the natural numbers
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 3 / September 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 764-784
- Print publication:
- September 2003
-
- Article
- Export citation
Classical and constructive hierarchies in extended intuitionistic analysis
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 3 / September 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1015-1043
- Print publication:
- September 2003
-
- Article
- Export citation