13629 results in The Journal of Symbolic Logic
Pure type systems with more liberal rules
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1561-1580
- Print publication:
- December 2001
-
- Article
- Export citation
Erratum
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1975-1976
- Print publication:
- December 2001
-
- Article
-
- You have access
- Export citation
On the maximality of logics with approximations
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1909-1918
- Print publication:
- December 2001
-
- Article
- Export citation
The consistency strength of successive cardinals with the tree property
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1837-1847
- Print publication:
- December 2001
-
- Article
- Export citation
Disquotational truth and analyticity
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1959-1973
- Print publication:
- December 2001
-
- Article
- Export citation
A new correctness criterion for the proof nets of non-commutative multiplicative linear logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1524-1542
- Print publication:
- December 2001
-
- Article
- Export citation
Expansions of dense linear orders with the intermediate value property
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1783-1790
- Print publication:
- December 2001
-
- Article
- Export citation
An open mapping theorem for o-minimal structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1817-1820
- Print publication:
- December 2001
-
- Article
- Export citation
Monoid based semantics for linear formulas
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1597-1619
- Print publication:
- December 2001
-
- Article
- Export citation
The classification of small types of rank ω, Part I
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1884-1898
- Print publication:
- December 2001
-
- Article
- Export citation
Sequent calculus in natural deduction style
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1803-1816
- Print publication:
- December 2001
-
- Article
- Export citation
Errata in “Strong axioms of infinity in NFU”
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, p. 1974
- Print publication:
- December 2001
-
- Article
- Export citation
Definable sets in Boolean-ordered o-minimal structures. I
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1821-1836
- Print publication:
- December 2001
-
- Article
- Export citation
The canary tree revisited
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1677-1694
- Print publication:
- December 2001
-
- Article
- Export citation
Embedding finite lattices into the ideals of computably enumerable turing degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1791-1802
- Print publication:
- December 2001
-
- Article
- Export citation
The Jensen Covering Property
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1505-1523
- Print publication:
- December 2001
-
- Article
- Export citation
Some structural results concerning supercompact cardinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1919-1927
- Print publication:
- December 2001
-
- Article
- Export citation
Partitioning subsets of stable models
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1899-1908
- Print publication:
- December 2001
-
- Article
- Export citation
On tarski on models
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1701-1726
- Print publication:
- December 2001
-
- Article
- Export citation
Initial segments of the lattice of Π10 classes
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1749-1765
- Print publication:
- December 2001
-
- Article
- Export citation