Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS

   
Mobile Device Pairing
Green Open Access
Transactions of the American Mathematical Society
Transactions of the American Mathematical Society
ISSN 1088-6850(online) ISSN 0002-9947(print)

 

Extension methods in cardinal arithmetic


Author: Erik Ellentuck
Journal: Trans. Amer. Math. Soc. 149 (1970), 307-325
MSC: Primary 02.60
MathSciNet review: 0256868
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Functions (relations) defined on the nonnegative integers are extended to the cardinal numbers by the method of Myhill (Nerode) respectively. We obtain various results relating these extensions and conclude with an analysis of AE Horn sentences interpreted in the cardinal numbers. Let $ \mathfrak{A}$ be the sentence $ (\forall {x_1}) \cdots (\forall {x_n})(\exists !y)\mathfrak{b}$ where quantifiers are restricted to the Dedekind cardinals and $ \mathfrak{b}$ is an equation built up from functors for cardinal addition, multiplication, and integer constants. One of our principal results is that $ \mathfrak{A}$ is a theorem of set theory (with the axiom of choice replaced by the axiom of choice for sets of finite sets) if and only if we can prove that the uniquely determined Skolem function for $ \mathfrak{A}$ extends an almost combinatorial function.


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


Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 02.60

Retrieve articles in all journals with MSC: 02.60


Additional Information

DOI: http://dx.doi.org/10.1090/S0002-9947-1970-0256868-0
PII: S 0002-9947(1970)0256868-0
Keywords: Dedekind cardinal, universal cardinal, combinatorial function, eventually combinatorial function, almost combinatorial function, combinatorial operator, frame, Horn sentence
Article copyright: © Copyright 1970 American Mathematical Society