13629 results in The Journal of Symbolic Logic
Principles Weaker than BD-N
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 12 March 2014, pp. 873-885
- Print publication:
- September 2013
-
- Article
- Export citation
Comparisons of Polychromatic and Monochromatic Ramsey Theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 12 March 2014, pp. 951-968
- Print publication:
- September 2013
-
- Article
- Export citation
Low Level Nondelegability Results: Domination and Recursive Enumeration
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1005-1024
- Print publication:
- September 2013
-
- Article
- Export citation
Namba Forcing and No Good Scale
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 12 March 2014, pp. 785-802
- Print publication:
- September 2013
-
- Article
- Export citation
Higher-Order Illative Combinatory Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 12 March 2014, pp. 837-872
- Print publication:
- September 2013
-
- Article
- Export citation
A Limit Law of Almost l-partite Graphs
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 12 March 2014, pp. 911-936
- Print publication:
- September 2013
-
- Article
- Export citation
Failure of Interpolation in Constant Domain Intuitionistic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 12 March 2014, pp. 937-950
- Print publication:
- September 2013
-
- Article
- Export citation
Forcing Closed Unbounded Subsets of אω1+1
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 12 August 2016, pp. 681-707
- Print publication:
- September 2013
-
- Article
- Export citation
The Theory of Tracial Von Neumann Algebras Does Not Have A Model Companion
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1000-1004
- Print publication:
- September 2013
-
- Article
- Export citation
Measures Induced by Units
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 12 March 2014, pp. 886-910
- Print publication:
- September 2013
-
- Article
- Export citation
Invariance Properties of Almost Disjoint Families
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 12 March 2014, pp. 989-999
- Print publication:
- September 2013
-
- Article
- Export citation
Diagonally Non-Computable Functions and Bi-Immunity
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 12 March 2014, pp. 977-988
- Print publication:
- September 2013
-
- Article
- Export citation
K Without the Measurable
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 12 August 2016, pp. 708-734
- Print publication:
- September 2013
-
- Article
- Export citation
New Examples of Small Polish Structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 12 March 2014, pp. 969-976
- Print publication:
- September 2013
-
- Article
- Export citation
Rainbow Ramsey Theorem for Triples is Strictly Weaker than the Arithmetical Comprehension Axiom
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 12 March 2014, pp. 824-836
- Print publication:
- September 2013
-
- Article
- Export citation
On the Prewellorderings Associated with the Directed Systems of Mice
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 12 August 2016, pp. 735-763
- Print publication:
- September 2013
-
- Article
- Export citation
Killing The GCH Everywhere with a Single Real
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 12 March 2014, pp. 803-823
- Print publication:
- September 2013
-
- Article
- Export citation
Infinite sets that Satisfy the Principle of Omniscience in any Variety of Constructive Mathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 12 August 2016, pp. 764-784
- Print publication:
- September 2013
-
- Article
- Export citation
Unexpected imaginaries in valued fields with analytic structure
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 2 / June 2013
- Published online by Cambridge University Press:
- 12 March 2014, pp. 523-542
- Print publication:
- June 2013
-
- Article
- Export citation
Partial impredicativity in reverse mathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 2 / June 2013
- Published online by Cambridge University Press:
- 12 March 2014, pp. 459-488
- Print publication:
- June 2013
-
- Article
- Export citation