13629 results in The Journal of Symbolic Logic
An incompleteness theorem for βn-models
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 612-616
- Print publication:
- June 2004
-
- Article
- Export citation
Implicit proofs
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 387-397
- Print publication:
- June 2004
-
- Article
- Export citation
Π11 relations and paths through
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 585-611
- Print publication:
- June 2004
-
- Article
- Export citation
Combinatorics for the dominating and unsplitting numbers
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 482-498
- Print publication:
- June 2004
-
- Article
- Export citation
Degree spectra of prime models
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 430-442
- Print publication:
- June 2004
-
- Article
- Export citation
JSL volume 69 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- June 2004
-
- Article
-
- You have access
- Export citation
Formalized token models and duality in semantics: an algebraic approach
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 443-477
- Print publication:
- June 2004
-
- Article
- Export citation
On first-order sentences without finite models
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 329-339
- Print publication:
- June 2004
-
- Article
- Export citation
A universal extender model without large cardinals in V
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 371-386
- Print publication:
- June 2004
-
- Article
- Export citation
Degrees of unsolvability of continuous functions
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 555-584
- Print publication:
- June 2004
-
- Article
- Export citation
On a question of Herzog and Rothmaler
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 478-481
- Print publication:
- June 2004
-
- Article
- Export citation
Schnorr randomness
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 533-554
- Print publication:
- June 2004
-
- Article
- Export citation
Bi-isolation in the d.c.e. degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 409-420
- Print publication:
- June 2004
-
- Article
- Export citation
JSL volume 69 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- June 2004
-
- Article
-
- You have access
- Export citation
Ladder gaps over stationary sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 518-532
- Print publication:
- June 2004
-
- Article
- Export citation
JSL Volume 69 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 1 / March 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- March 2004
-
- Article
-
- You have access
- Export citation
Dual weak pigeonhole principle, pseudo-surjective functions, and provability of circuit lower bounds
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 1 / March 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 265-286
- Print publication:
- March 2004
-
- Article
- Export citation
Two step iteration of almost disjoint families
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 1 / March 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 81-90
- Print publication:
- March 2004
-
- Article
- Export citation
Parsimony hierarchies for inductive inference
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 1 / March 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 287-327
- Print publication:
- March 2004
-
- Article
- Export citation
Splittings of effectively speedable sets and effectively levelable sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 1 / March 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 143-158
- Print publication:
- March 2004
-
- Article
- Export citation