- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Some Aspects and Examples of Infinity Notions
Mathematical Logic Quarterly 40 (1):111-124 (1994)
Abstract
I wish to thank Klaus Kühnle who streamlined in [8] several of my definitions and proofs concerning the subject matter of this paper. Some ideas and results arose from discussions with Klaus Leeb. Jan Johannsen discovered some mistakes in an earlier versionOther Versions
No versions found
My notes
Similar books and articles
Logic, mathematics, and computer science: modern foundations with practical applications.Yves Nievergelt - 2015 - New York,: Springer. Edited by Yves Nievergelt.
Products of Compact Spaces and the Axiom of Choice.O. De la Cruz, Paul Howard & E. Hall - 2002 - Mathematical Logic Quarterly 48 (4):508-516.
Some Results on Partitions and Cartesian Products in the Absence of the Axiom of Choice.A. H. Kruse - 1974 - Mathematical Logic Quarterly 20 (8-12):149-172.
Some closure properties of finite definitions.Maricarmen Martinez - 2001 - Studia Logica 68 (1):43-68.
Weak Forms of the Axiom of Choice and the Generalized Continuum Hypothesis.Arthur L. Rubin & Jean E. Rubin - 1993 - Mathematical Logic Quarterly 39 (1):7-22.
Some Observations on the Axiom of Choice.Arthur H. Kruse - 1962 - Mathematical Logic Quarterly 8 (2):125-146.
On some Theorems Equivalent with the Axiom of Choice.Bernhard Banaschewski - 1961 - Mathematical Logic Quarterly 7 (17-18):279-282.
Various forms of infinity for finitely supported structures.Andrei Alexandru & Gabriel Ciobanu - 2021 - Archive for Mathematical Logic 61 (1):173-222.
Understanding mathematical proof.John Taylor - 2014 - Boca Raton: Taylor & Francis. Edited by Rowan Garnier.
Analytics
Added to PP
2013-11-03
Downloads
38 (#599,835)
6 months
3 (#1,486,845)
2013-11-03
Downloads
38 (#599,835)
6 months
3 (#1,486,845)
Historical graph of downloads
Citations of this work
Finiteness classes arising from Ramsey-theoretic statements in set theory without choice.Joshua Brot, Mengyang Cao & David Fernández-Bretón - 2021 - Annals of Pure and Applied Logic 172 (6):102961.
The First-Order Structure of Weakly Dedekind-Finite Sets.A. C. Walczak-Typke - 2005 - Journal of Symbolic Logic 70 (4):1161 - 1170.
A Note on Weakly Dedekind Finite Sets.Pimpen Vejjajiva & Supakun Panasawatwong - 2014 - Notre Dame Journal of Formal Logic 55 (3):413-417.
The permutations with n non‐fixed points and the subsets with n elements of a set.Supakun Panasawatwong & Pimpen Vejjajiva - 2023 - Mathematical Logic Quarterly 69 (3):341-346.
Hindman’s theorem in the hierarchy of choice principles.David Fernández-Bretón - 2023 - Journal of Mathematical Logic 24 (1).
References found in this work
An independence result concerning the axiom of choice.Gershon Sageev - 1975 - Annals of Mathematical Logic 8 (1):1-184.
There Can Be a Permutation Which Is Not The Product of Two Reflections.J. W. Degen - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (1):65-66.
There Can Be a Permutation Which Is Not The Product of Two Reflections.J. W. Degen - 1988 - Mathematical Logic Quarterly 34 (1):65-66.
All Uncountable Cardinals Can be Singular.M. Gitik - 1984 - Journal of Symbolic Logic 49 (2):662-663.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-648784bb4d-xlp8h uwo