A Note on Induction, Abstraction, and Dedekind-Finiteness
نویسنده
چکیده
The purpose of this note is to present a simplification of the system of arithmetical axioms given in previous work; specifically, it is shown how the induction principle can in fact be obtained from the remaining axioms, without the need of explicit postulation. The argument might be of more general interest, beyond the specifics of the proposed axiomatization, as it highlights the interaction of the notion of Dedekind-finiteness and the induction principle.
منابع مشابه
A Note on Superamorphous Sets and Dual Dedekind-Infinity
In the absence of the axiom of choice there are several possible nonequivalent ways of translating the intuitive idea of “infinity” into a mathematical definition. In [10], Tarski investigated some natural infinity notions notions, and his research was continued by Levy [8], Truss [12], Spǐsiak and Vojtas [9], Howard and Yorke [4] and others. The most prominent definitions of finiteness are the...
متن کاملϕ-ALMOST DEDEKIND RINGS AND $\Phi$-ALMOST DEDEKIND MODULES
The purpose of this paper is to introduce some new classes of rings and modules that are closely related to the classes of almost Dedekind domains and almost Dedekind modules. We introduce the concepts of $\phi$-almost Dedekind rings and $\Phi$-almost Dedekind modules and study some properties of this classes. In this paper we get some equivalent conditions for $\phi$-almost Dedekind rings and ...
متن کاملFiniteness and Computation in Toposes
Some notions in mathematics can be considered relative. Relative is a term used to denote when the variation in the position of an observer implies variation in properties or measures on the observed object. We know, from Skolem theorem, that there are first-order models where R is countable and some where it is not. This fact depends on the position of the observer and on the instrument/langua...
متن کاملA hybrid mean value involving a new Gauss sums and Dedekind sums
In this paper, we introduce a new sum analogous to Gauss sum, then we use the properties of the classical Gauss sums and analytic method to study the hybrid mean value problem involving this new sums and Dedekind sums, and give an interesting identity for it.
متن کاملUniversit a Di Pisa Failures, Finiteness, and Full Abstraction Failures, Finiteness, and Full Abstraction
For a simple CCS-like language a trace semantics and a failure semantics are presented. The failure semantics is shown to be fully abstract with respect to the trace semantics if and only if the set of internal actions is innnite.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Notre Dame Journal of Formal Logic
دوره 53 شماره
صفحات -
تاریخ انتشار 2012