13629 results in The Journal of Symbolic Logic
The basic intuitionistic logic of proofs
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 439-451
- Print publication:
- June 2007
-
- Article
- Export citation
A power function with a fixed finite gap everywhere
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 361-417
- Print publication:
- June 2007
-
- Article
- Export citation
An analysis of the W*-hierarchy
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 513-534
- Print publication:
- June 2007
-
- Article
- Export citation
Asymptotic classes of finite structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 418-438
- Print publication:
- June 2007
-
- Article
- Export citation
Sublocales in formal topology
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 463-482
- Print publication:
- June 2007
-
- Article
- Export citation
Theories very close to PA where Kreisel's Conjecture is false
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 123-137
- Print publication:
- March 2007
-
- Article
- Export citation
Intensional models for the theory of types
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 98-118
- Print publication:
- March 2007
-
- Article
- Export citation
A Reduction of the NF consistency Problem
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 285-304
- Print publication:
- March 2007
-
- Article
- Export citation
Red fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 207-225
- Print publication:
- March 2007
-
- Article
- Export citation
JSL volume 72 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- March 2007
-
- Article
-
- You have access
- Export citation
Spectra of structures and relations
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 324-348
- Print publication:
- March 2007
-
- Article
- Export citation
JSL volume 72 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- March 2007
-
- Article
-
- You have access
- Export citation
Completeness of MLL proof-nets w.r.t. weak distributivity
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 159-170
- Print publication:
- March 2007
-
- Article
- Export citation
Linear Kripke frames and Gödel logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 26-44
- Print publication:
- March 2007
-
- Article
- Export citation
Combinatorial principles weaker than Ramsey's Theorem for pairs
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 171-206
- Print publication:
- March 2007
-
- Article
- Export citation
Elementary differences between the (2p)-C. E. and the (2p +1)-c. e. enumeration degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 277-284
- Print publication:
- March 2007
-
- Article
- Export citation
The nonstationary ideal in the ℙmax extension
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 138-158
- Print publication:
- March 2007
-
- Article
- Export citation
Power set modulo small, the singular of uncountable cofinality
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 226-242
- Print publication:
- March 2007
-
- Article
- Export citation
The pointwise ergodic theorem in subsystems of second-order arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 45-66
- Print publication:
- March 2007
-
- Article
- Export citation
A question of van den Dries and a theorem of Lipshitz and Robinson; Not everything is standard
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 119-122
- Print publication:
- March 2007
-
- Article
- Export citation