Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)

 
 

 

Combinatorial functions and indecomposable cardinals


Author: Erik Ellentuck
Journal: Proc. Amer. Math. Soc. 57 (1976), 311-317
MSC: Primary 02K05; Secondary 02F45
DOI: https://doi.org/10.1090/S0002-9939-1976-0409177-1
MathSciNet review: 0409177
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Combinatorial functions are used to replace indecomposable cardinals in certain types of set theoretic arguments. This allows us to extend decidability results from nonchoice set theories to set theories with a principle of linear ordering.


References [Enhancements On Off] (What's this?)

  • [1] R. Bradford, Cardinal addition and the axiom of choice, Ann. Math. Logic 3 (1971), no. 2, 111-196. MR 46 #38. MR 0300878 (46:38)
  • [2] -, Undecidability of the theory of Dedekind cardinal addition, Lecture delivered at the Amer. Math. Soc. Summer Institute on Axiomatic Set Theory, UCLA, 1967.
  • [3] E. Ellentuck, The structure of Dedekind cardinals, Trans. Amer. Math. Soc. 180 (1973), 109-125. MR 48 #3743. MR 0325396 (48:3743)
  • [4] E. Ellentuck and A. Manaster, The decidability of a class of AE sentence in the isols, Pacific J. Math. 43 (1972), 573-584. MR 48 #5841. MR 0327499 (48:5841)
  • [5] A. Manaster, Higher order indecomposable isols, Ph. D. Thesis, Cornell Univ., 1965. MR 0224468 (37:67)
  • [6] J. Myhill, Elementary properties of the group of isolic integers, Math. Z. 78 (1962), 126-130. MR 25 #1102. MR 0137651 (25:1102)
  • [7] W. Szmielew, Elementary properties of Abelian groups, Fund. Math. 41 (1955), 203-271. MR 17, 233. MR 0072131 (17:233e)
  • [8] A. Tarski, Cardinal algebras, Oxford Univ. Press, New York, 1949. MR 10, 686. MR 0029954 (10:686f)

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC: 02K05, 02F45

Retrieve articles in all journals with MSC: 02K05, 02F45


Additional Information

DOI: https://doi.org/10.1090/S0002-9939-1976-0409177-1
Keywords: Combinatorial function, indecomposable cardinal
Article copyright: © Copyright 1976 American Mathematical Society

American Mathematical Society