13629 results in The Journal of Symbolic Logic
A model complete theory of valued D-fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1758-1784
- Print publication:
- December 2000
-
- Article
- Export citation
Inconsistent models of arithmetic Part II: the general case
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1519-1529
- Print publication:
- December 2000
-
- Article
- Export citation
Topological elementary equivalence of closed semi-algebraic sets in the real plane
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1530-1555
- Print publication:
- December 2000
-
- Article
- Export citation
Epsilon-logic is more expressive than first-order logic over finite structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1749-1757
- Print publication:
- December 2000
-
- Article
- Export citation
On the commutativity of jumps
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1725-1748
- Print publication:
- December 2000
-
- Article
- Export citation
JSL volume 65 issue 4 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- December 2000
-
- Article
-
- You have access
- Export citation
Interpreting classical theories in constructive ones
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1785-1812
- Print publication:
- December 2000
-
- Article
- Export citation
Admissibility of structural rules for contraction-free systems of intuitionistic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1499-1518
- Print publication:
- December 2000
-
- Article
- Export citation
Computable Boolean algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1605-1623
- Print publication:
- December 2000
-
- Article
- Export citation
◇ at Mahlo cardinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1813-1822
- Print publication:
- December 2000
-
- Article
- Export citation
Definability in low simple theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1481-1490
- Print publication:
- December 2000
-
- Article
- Export citation
Expedited Broda-Damas bracket abstraction
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1850-1857
- Print publication:
- December 2000
-
- Article
- Export citation
JSL volume 65 issue 4 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b11
- Print publication:
- December 2000
-
- Article
-
- You have access
- Export citation
Recursive inseparability for residual bounds of finite algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1863-1880
- Print publication:
- December 2000
-
- Article
- Export citation
Applications of PCF theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1624-1674
- Print publication:
- December 2000
-
- Article
- Export citation
Le problème des grandes puissances et celui des grandes racines
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1675-1685
- Print publication:
- December 2000
-
- Article
- Export citation
A polarized partition relation using elementary substructures
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1491-1498
- Print publication:
- December 2000
-
- Article
- Export citation
Minimal fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1833-1835
- Print publication:
- December 2000
-
- Article
- Export citation
A lambda proof of the P-W theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1841-1849
- Print publication:
- December 2000
-
- Article
- Export citation
All intermediate logics with extra axioms in one variable, except eight, are not strongly ω-complete
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1576-1604
- Print publication:
- December 2000
-
- Article
- Export citation