13629 results in The Journal of Symbolic Logic
Eventually infinite time Turing machine degrees: infinite time decidable reals
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1193-1203
- Print publication:
- September 2000
-
- Article
- Export citation
On quantification with a finite universe
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1055-1075
- Print publication:
- September 2000
-
- Article
- Export citation
Gödel sentences of bounded arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1338-1346
- Print publication:
- September 2000
-
- Article
- Export citation
A 1-generic degree with a strong minimal cover
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1395-1442
- Print publication:
- September 2000
-
- Article
- Export citation
On representation theorems for nonmonotonic consequence relations
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1321-1337
- Print publication:
- September 2000
-
- Article
- Export citation
Topological completeness for higher-order logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1168-1182
- Print publication:
- September 2000
-
- Article
- Export citation
An ordinal partition avoiding pentagrams
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 969-978
- Print publication:
- September 2000
-
- Article
- Export citation
On the role of implication in formal logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1076-1114
- Print publication:
- September 2000
-
- Article
- Export citation
JSL Volume 65 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- September 2000
-
- Article
-
- You have access
- Export citation
Quasi-o-minimal structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1115-1132
- Print publication:
- September 2000
-
- Article
- Export citation
Ordinal diagrams for Π3-reflection
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1375-1394
- Print publication:
- September 2000
-
- Article
- Export citation
Stationary sets and infinitary logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1311-1320
- Print publication:
- September 2000
-
- Article
- Export citation
Fragments of Heyting arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1223-1240
- Print publication:
- September 2000
-
- Article
- Export citation
Located sets and reverse mathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1451-1480
- Print publication:
- September 2000
-
- Article
- Export citation
The Logic of Choice
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1264-1310
- Print publication:
- September 2000
-
- Article
- Export citation
On the equational theory of representable polyadic equality algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1143-1167
- Print publication:
- September 2000
-
- Article
- Export citation
JSL Volume 65 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- September 2000
-
- Article
-
- You have access
- Export citation
The Hahn representation theorem for ℓ-groups in ZFA
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 519-524
- Print publication:
- June 2000
-
- Article
- Export citation
Expressivity in polygonal, plane mereotopology
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 822-838
- Print publication:
- June 2000
-
- Article
- Export citation
Implicational F-structures and implicational relevance logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 788-802
- Print publication:
- June 2000
-
- Article
- Export citation