13629 results in The Journal of Symbolic Logic
Approximate counting in bounded arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 959-993
- Print publication:
- September 2007
-
- Article
- Export citation
Substructural fuzzy logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 834-864
- Print publication:
- September 2007
-
- Article
- Export citation
On notions of genericity and mutual genericity
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 755-766
- Print publication:
- September 2007
-
- Article
- Export citation
Lower bounds for modal logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 941-958
- Print publication:
- September 2007
-
- Article
- Export citation
Turing computable embeddings
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 901-918
- Print publication:
- September 2007
-
- Article
- Export citation
Erdős-Rado without choice
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 897-900
- Print publication:
- September 2007
-
- Article
- Export citation
Corrigendum to: “Transfer methods for o-minimal topology”
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1079-1080
- Print publication:
- September 2007
-
- Article
- Export citation
Transfer principle in quantum set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 625-648
- Print publication:
- June 2007
-
- Article
- Export citation
Δ3O-determinacy, comprehension and induction
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 452-462
- Print publication:
- June 2007
-
- Article
- Export citation
NP search problems in low fragments of bounded arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 649-672
- Print publication:
- June 2007
-
- Article
- Export citation
Assignment of ordinals to patterns of resemblance
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 704-720
- Print publication:
- June 2007
-
- Article
- Export citation
JSL volume 72 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- June 2007
-
- Article
-
- You have access
- Export citation
JSL volume 72 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- June 2007
-
- Article
-
- You have access
- Export citation
Ideal convergence of bounded sequences
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 501-512
- Print publication:
- June 2007
-
- Article
- Export citation
Relation algebra reducts of cylindric algebras and complete representations
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 673-703
- Print publication:
- June 2007
-
- Article
- Export citation
Burgess’ PV is Robinson’s Q
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 619-624
- Print publication:
- June 2007
-
- Article
- Export citation
On sets not belonging to algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 483-500
- Print publication:
- June 2007
-
- Article
- Export citation
Simplicial structures in MV-algebras and logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 584-600
- Print publication:
- June 2007
-
- Article
- Export citation
Connecting many-sorted theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 535-583
- Print publication:
- June 2007
-
- Article
- Export citation
Successor-invariant first-order logic on finite structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 601-618
- Print publication:
- June 2007
-
- Article
- Export citation