13629 results in The Journal of Symbolic Logic
Edwin W. Miller. On a property of families of sets. English with Polish summary. Sprawozdania z posiedzeń Towarzystwa Naukowego Warszawskiego (Comptes rendus des séances de la Société des Sciences et des Lettres de Varsovie), Class III, vol. 30 (1937), pp. 31–38. - Ben Dushnik and Miller E. W.. Partially ordered sets. American journal of mathematics, vol. 63 (1941), pp. 600–610. - P. Erdős. Some set-theoretical properties of graphs. Revista, Universidad Nacional de Tucumán, Serie A, Matemáticas y física teórica, vol. 3 (1942), pp. 363–367. - G. Fodor. Proof of a conjecture of P. Erdős. Acta scientiarum mathematicarum, vol. 14 no. 4 (1952), pp. 219–227. - P. Erdős and Rado R.. A partition calculus in set theory. Bulletin of the American Mathematical Society, vol. 62 (1956), pp. 427–489. - P. Erdős and Rado R.. Intersection theorems for systems of sets. The journal of the London Mathematical Society, vol. 35 (1960), pp. 85–90. - A. Hajnal. Some results and problems on set theory. Acta mathematica Academiae Scientiarum Hungaricae, vol. 11 (1960), pp. 277–298. - P. Erdős and Hajnal A.. On a property of families of sets. Acta mathematica Academiae Scientiarum Hungaricae, vol. 12 (1961), pp. 87–123. - A. Hajnal. Proof of a conjecture of S. Ruziewicz. Fundamenta mathematicae, vol. 50 (1961), pp. 123–128. - P. Erdős, Hajnal A. and Rado R.. Partition relations for cardinal numbers. Acta mathematica Academiae Scientiarum Hungaricae, vol. 16 (1965), pp. 93–196. - P. Erdős and Hajnal A.. On a problem of B. Jónsson. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 14 (1966), pp. 19–23. - P. Erdős and Hajnal A.. On chromatic number of graphs and set-systems. Acta mathematica Academiae Scientiarum Hungaricae, vol. 17 (1966), pp. 61–99.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 698-701
- Print publication:
- June 1995
-
- Article
- Export citation
Moti Gitik. On the Mitchell and Rudin-Keisler orderings of ultrafilters. Annals of pure and applied logic, vol. 39 (1988), pp. 175–197.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 1 / March 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 338-339
- Print publication:
- March 1995
-
- Article
- Export citation
Delineating classes of computational complexity via second order theories with weak set existence principles. I
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 1 / March 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 103-121
- Print publication:
- March 1995
-
- Article
- Export citation
Fine hierarchies and Boolean terms
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 1 / March 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 289-317
- Print publication:
- March 1995
-
- Article
- Export citation
Moti Gitik and Menachem Magidor. The singular cardinal hypothesis revisited. Set theory of the continuum, edited by H. Judah, W. Just, and H. Woodin, Mathematical Sciences Research Institute publications, vol. 26, Springer-Verlag, New York etc. 1992, pp. 243–279.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 1 / March 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 339-340
- Print publication:
- March 1995
-
- Article
- Export citation
Hereditarily structurally complete modal logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 1 / March 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 266-288
- Print publication:
- March 1995
-
- Article
- Export citation
Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 1 / March 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 122-159
- Print publication:
- March 1995
-
- Article
- Export citation
Moti Gitik. The strength of the failure of the singular cardinal hypothesis. Annals of pure and applied logic, vol. 51 (1991), pp. 215–240.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 1 / March 1995
- Published online by Cambridge University Press:
- 12 March 2014, p. 340
- Print publication:
- March 1995
-
- Article
- Export citation
Weak presentations of computable fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 1 / March 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 199-208
- Print publication:
- March 1995
-
- Article
- Export citation
Uniqueness, collection, and external collapse of cardinals in IST and models of Peano arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 1 / March 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 318-324
- Print publication:
- March 1995
-
- Article
- Export citation
Type reducing correspondences and well-orderings: Frege's and Zermelo's constructions re-examined
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 1 / March 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 209-221
- Print publication:
- March 1995
-
- Article
- Export citation
The consistency of one fixed omega
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 1 / March 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 172-177
- Print publication:
- March 1995
-
- Article
- Export citation
Solomon Feferman. Reflecting on incompleteness. The journal of symbolic logic, vol. 56 (1991), pp. 1–49.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 1 / March 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 345-347
- Print publication:
- March 1995
-
- Article
- Export citation
The combinatorics of combinatorial coding by a real
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 1 / March 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 36-57
- Print publication:
- March 1995
-
- Article
- Export citation
Joseph Brent. Charles Sanders Peirce. A life. Indiana University Press, Bloomington and Indianapolis1993, xvi + 388 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 1 / March 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 348-352
- Print publication:
- March 1995
-
- Article
- Export citation
JSL Volume 60 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 1 / March 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- March 1995
-
- Article
-
- You have access
- Export citation
T-convexity and tame extensions
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 1 / March 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 74-102
- Print publication:
- March 1995
-
- Article
- Export citation
The equivalence of NF-style set theories with “tangled” type theories; the construction of ω-models of predicative NF (and more)
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 1 / March 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 178-190
- Print publication:
- March 1995
-
- Article
- Export citation
A combinatorial forcing for coding the universe by a real when there are no sharps
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 1 / March 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-35
- Print publication:
- March 1995
-
- Article
- Export citation
Scott incomplete Boolean ultrapowers of the real line
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 1 / March 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 160-171
- Print publication:
- March 1995
-
- Article
- Export citation