• PhilPapers
  • PhilPeople
  • PhilArchive
  • PhilEvents
  • PhilJobs
  • Sign in
PhilPeople
 
  • Sign in
  • News Feed
  • Find Philosophers
  • Departments
  • Radar
  • Help
 
profile-cover
Drag to reposition
profile picture

Alan Slomson

University of Leeds
  •  Home
  •  Publications
    15
    • Most Recent
    • Most Downloaded
    • Topics
  •  News and Updates
    5

 More details
  • University of Leeds
    Regular Faculty
Leeds, West Yorkshire, United Kingdom of Great Britain and Northern Ireland
Areas of Interest
Logic and Philosophy of Logic
General Philosophy of Science
  • All publications (15)
  •  76
    Bertrand russell memorial logic conference £200 essay prize
    with J. L. Bell, M. A. Dickmann, M. Machover, G. Priest, Y. Suzuki, and G. M. Wilmers
    Journal of Symbolic Logic 40 (2): 298-298. 1975.
  •  55
    The American Mathematical Society during January 8–11, 1997, in San Diego, California.• The 1996–97 ASL Annual Meeting will be held March 22–25, 1997, at the Massachusetts Institute of Technology in Cambridge, Massachusetts. Chair of the local organizing com-mittee is Sy Friedman.• The 1997 ASL European Summer Meeting (Logic Colloquium'97) will be held in early (review)
    with J. Derrick, F. Drake, D. Macpherson, J. Truss, and S. Wainer
    Bulletin of Symbolic Logic 1 (3). 1995.
    Science, Logic, and MathematicsLogic and Philosophy of Logic, Misc
  •  25
    Generalized quantifiers and well orderings
    Archive for Mathematical Logic 15 (1-2): 57-73. 1972.
  •  38
    The Theory of Logical Types
    Philosophical Quarterly 22 (88): 275-276. 1972.
  •  125
    Gebhard Furhken. Languages with added quantifier “there exist at least Nα.”The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 121–131
    Journal of Symbolic Logic 35 (2): 342. 1970.
    QuantifiersModel Theory
  •  115
    Chang C. C. and Keisler H. Jerome. Applications of ultraproducts of pairs of cardinals to the theory of models. Pacific journal of mathematics, vol. 12 , pp. 835–845.Chang C. C.. A note on the two cardinal problem. Proceedings of the American Mathematical Society, vol. 16 no. 6 , pp. 1148–1155 (review)
    Journal of Symbolic Logic 36 (2): 338-339. 1971.
    Model Theory
  •  105
    H. Jerome Keisler. On cardinalities of ultraproducts. Bulletin of the American Mathematical Society, vol. 70 , pp. 644–647 (review)
    Journal of Symbolic Logic 38 (4): 650. 1973.
    Logic and Philosophy of LogicModel Theory
  •  73
    Saharon Shelah. On the cardinality of ultraproduct of finite sets. The journal of symbolic logic, vol. 35 , pp. 83–84
    Journal of Symbolic Logic 38 (4): 650. 1973.
    Logic and Philosophy of LogicLogic and Philosophy of Logic, Miscellaneous
  •  79
    1997 European Summer Meeting of the Association for Symbolic Logic
    with M. Hyland Hodges, A. H. Lachlan, A. Louveau, Y. N. Moschovakis, L. Pacholski, J. K. Truss, and S. S. Wainer
    Bulletin of Symbolic Logic 4 (1): 55-117. 1998.
    Science, Logic, and MathematicsLogic and Philosophy of Logic, Misc
  •  138
    An undecidable two sorted predicate calculus
    Journal of Symbolic Logic 34 (1): 21-23. 1969.
    Logic and Philosophy of Logic
  •  139
    An algebraic characterization of indistinguishable cardinals
    Journal of Symbolic Logic 35 (1): 97-104. 1970.
    Two cardinals are said to beindistinguishableif there is no sentence of second order logic which discriminates between them. This notion, which is defined precisely below, is closely related to that ofcharacterizablecardinals, introduced and studied by Garland in [3]. In this paper we give an algebraic criterion for two cardinals to be indistinguishable. As a consequence we obtain a straightforward proof of an interesting theorem about characterizable cardinals due to Zykov [6].
    Logic and Philosophy of LogicCardinals and OrdinalsAxioms of Set Theory
  •  24
    Review: C. C. Chang, Descendingly Incomplete Ultrafilters (review)
    Journal of Symbolic Logic 38 (4): 650-650. 1973.
    Logic and Philosophy of LogicModel Theory
  •  100
    Remarks on Rescher's note on 'about'
    Mind 75 (299): 429-430. 1966.
    Rescher's suggested criterion for saying that a given proposition is "about a" is criticized and an alternative is suggested.
    Logic and Philosophy of Logic
  • The 1996-97 ASL Winter Meeting will be held in conjunction with the Annual Meeting of the American Mathematical Society during January 8-11, 1997, in San Diego, California. The 1996-97 ASL Annual Meeting will be held March 22-25, 1997, at the Massachusetts Institute of Technology in Cambridge, Massachusetts. Chair of the local organizing com-mittee is Sy Friedman (review)
    with A. Louveau, Y. Moschovakis, L. Pacholski, H. Schwichtenberg, T. Slaman, J. Truss, H. D. Macpherson, and S. Wainer
    Bulletin of Symbolic Logic 2 121. 1996.
    Science, Logic, and MathematicsLogic and Philosophy of Logic, Misc
  •  127
    Introduction to Axiomatic Set Theory
    with E. J. Lemmon
    Philosophical Quarterly 20 (78): 82. 1970.
    Areas of Mathematics
PhilPeople logo

On this site

  • Find a philosopher
  • Find a department
  • The Radar
  • Index of professional philosophers
  • Index of departments
  • Help
  • Acknowledgments
  • Careers
  • Contact us
  • Terms and conditions

Brought to you by

  • The PhilPapers Foundation
  • The American Philosophical Association
  • Centre for Digital Philosophy, Western University
PhilPeople is currently in Beta Sponsored by the PhilPapers Foundation and the American Philosophical Association
Feedback