13629 results in The Journal of Symbolic Logic
The PCF conjecture and large cardinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 73 / Issue 2 / June 2008
- Published online by Cambridge University Press:
- 12 March 2014, pp. 674-688
- Print publication:
- June 2008
-
- Article
- Export citation
The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective
-
- Journal:
- The Journal of Symbolic Logic / Volume 73 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-64
- Print publication:
- March 2008
-
- Article
- Export citation
Weakly pointed trees and partial injections
-
- Journal:
- The Journal of Symbolic Logic / Volume 73 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 12 March 2014, pp. 363-368
- Print publication:
- March 2008
-
- Article
- Export citation
First-order and counting theories of ω-automatic structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 73 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 12 March 2014, pp. 129-150
- Print publication:
- March 2008
-
- Article
- Export citation
Hierarchies of forcing axioms I
-
- Journal:
- The Journal of Symbolic Logic / Volume 73 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 12 March 2014, pp. 343-362
- Print publication:
- March 2008
-
- Article
- Export citation
Flat algebras and the translation of universal Horn logic to equational logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 73 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 12 March 2014, pp. 90-128
- Print publication:
- March 2008
-
- Article
- Export citation
Canonical bases in excellent classes
-
- Journal:
- The Journal of Symbolic Logic / Volume 73 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 12 March 2014, pp. 165-180
- Print publication:
- March 2008
-
- Article
- Export citation
JSL volume 73 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 73 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- March 2008
-
- Article
-
- You have access
- Export citation
JSL volume 73 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 73 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- March 2008
-
- Article
-
- You have access
- Export citation
On very high degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 73 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 12 March 2014, pp. 309-342
- Print publication:
- March 2008
-
- Article
- Export citation
κ-stationary subsets of , infinitary games, and distributive laws in Boolean algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 73 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 12 March 2014, pp. 238-260
- Print publication:
- March 2008
-
- Article
- Export citation
Closed maximality principles: implications, separations and combinations
-
- Journal:
- The Journal of Symbolic Logic / Volume 73 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 12 March 2014, pp. 276-308
- Print publication:
- March 2008
-
- Article
- Export citation
Maximal irredundance and maximal ideal independence in Boolean algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 73 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 12 March 2014, pp. 261-275
- Print publication:
- March 2008
-
- Article
- Export citation
Nondiversity in substructures
-
- Journal:
- The Journal of Symbolic Logic / Volume 73 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 12 March 2014, pp. 193-211
- Print publication:
- March 2008
-
- Article
- Export citation
Omitting types for finite variable fragments and complete representations of algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 73 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 12 March 2014, pp. 65-89
- Print publication:
- March 2008
-
- Article
- Export citation
An exponential lower bound for a constraint propagation proof system based on ordered binary decision diagrams
-
- Journal:
- The Journal of Symbolic Logic / Volume 73 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 12 March 2014, pp. 227-237
- Print publication:
- March 2008
-
- Article
- Export citation
The number of openly generated Boolean algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 73 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 12 March 2014, pp. 151-164
- Print publication:
- March 2008
-
- Article
- Export citation
Semistationary and stationary reflection
-
- Journal:
- The Journal of Symbolic Logic / Volume 73 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 12 March 2014, pp. 181-192
- Print publication:
- March 2008
-
- Article
- Export citation
On LP-models of arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 73 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 12 March 2014, pp. 212-226
- Print publication:
- March 2008
-
- Article
-
- You have access
- Export citation
A note on subsystems of open induction
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 4 / December 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1318-1322
- Print publication:
- December 2007
-
- Article
- Export citation