13629 results in The Journal of Symbolic Logic
A note on equational theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1705-1712
- Print publication:
- December 2000
-
- Article
- Export citation
Logics of belief change without linearity
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1556-1575
- Print publication:
- December 2000
-
- Article
- Export citation
Inconsistency of the Axiom of Choice with the positive theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1911-1916
- Print publication:
- December 2000
-
- Article
- Export citation
More on Cichoń's diagram and infinite games
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1713-1724
- Print publication:
- December 2000
-
- Article
- Export citation
Strong 0-1 laws in finite model theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1686-1704
- Print publication:
- December 2000
-
- Article
- Export citation
Nonstandard analysis in topology: nonstandard and standard compactifications
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1836-1840
- Print publication:
- December 2000
-
- Article
- Export citation
More on entangled orders
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1823-1832
- Print publication:
- December 2000
-
- Article
- Export citation
Actions of non-compact and non-locally compact Polish groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1881-1894
- Print publication:
- December 2000
-
- Article
- Export citation
The rise and fall of typed sentences
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1858-1862
- Print publication:
- December 2000
-
- Article
- Export citation
Corrigendum
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1917-1918
- Print publication:
- December 2000
-
- Article
- Export citation
Formal topologies on the set of first-order formulae
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1183-1192
- Print publication:
- September 2000
-
- Article
- Export citation
Was Sierpiński right? IV
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1031-1054
- Print publication:
- September 2000
-
- Article
- Export citation
Computability over the partial continuous functionals
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1133-1142
- Print publication:
- September 2000
-
- Article
- Export citation
Undecidability of the real-algebraic structure of models of intuitionistic elementary analysis
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1014-1030
- Print publication:
- September 2000
-
- Article
- Export citation
Basic logic: reflection, symmetry, visibility
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 979-1013
- Print publication:
- September 2000
-
- Article
- Export citation
Hierarchies of monadic generalized quantifiers
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1241-1263
- Print publication:
- September 2000
-
- Article
- Export citation
On decidable extensions of Presburger arithmetic: from A. Bertrand numeration sytems to Pisot numbers
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1347-1374
- Print publication:
- September 2000
-
- Article
- Export citation
Model companions of theories with an automorphism
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1215-1222
- Print publication:
- September 2000
-
- Article
- Export citation
On the consistency of the Definable Tree Property on ℵ1
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1204-1214
- Print publication:
- September 2000
-
- Article
- Export citation
Minimal types in separably closed field
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1443-1450
- Print publication:
- September 2000
-
- Article
- Export citation