- 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
Assertion Proof and the Axiom of Choice
In ¸ Itedevidikenyon2006. Springer Verlag (2006)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
Cut-elimination for simple type theory with an axiom of choice.G. Mints - 1999 - Journal of Symbolic Logic 64 (2):479-485.
Some restricted lindenbaum theorems equivalent to the axiom of choice.David W. Miller - 2007 - Logica Universalis 1 (1):183-199.
Unions and the axiom of choice.Omar De la Cruz, Eric J. Hall, Paul Howard, Kyriakos Keremedis & Jean E. Rubin - 2008 - Mathematical Logic Quarterly 54 (6):652-665.
Disasters in topology without the axiom of choice.Kyriakos Keremedis - 2001 - Archive for Mathematical Logic 40 (8):569-580.
The Vector Space Kinna-Wagner Principle is Equivalent to the Axiom of Choice.Kyriakos Keremedis - 2001 - Mathematical Logic Quarterly 47 (2):205-210.
Bases, spanning sets, and the axiom of choice.Paul Howard - 2007 - Mathematical Logic Quarterly 53 (3):247-254.
The rigid relation principle, a new weak choice principle.Joel David Hamkins & Justin Palumbo - 2012 - Mathematical Logic Quarterly 58 (6):394-398.
Filters, Antichains and Towers in Topological Spaces and the Axiom of Choice.Kyriakos Keremedis - 1998 - Mathematical Logic Quarterly 44 (3):359-366.
On generic extensions without the axiom of choice.G. P. Monro - 1983 - Journal of Symbolic Logic 48 (1):39-52.
The axiom of choice for well-ordered families and for families of well- orderable sets.Paul Howard & Jean E. Rubin - 1995 - Journal of Symbolic Logic 60 (4):1115-1117.
Extending Independent Sets to Bases and the Axiom of Choice.Kyriakos Keremedis - 1998 - Mathematical Logic Quarterly 44 (1):92-98.
If vector spaces are projective modules then multiple choice holds.Paul Howard - 2005 - Mathematical Logic Quarterly 51 (2):187.
A New Proof that “Krull implies Zorn”.Bernhard Banaschewski - 1994 - Mathematical Logic Quarterly 40 (4):478-480.
Analytics
Added to PP
2016-09-21
Downloads
0
6 months
0
2016-09-21
Downloads
0
6 months
0
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.
Author's Profile
Citations of this work
Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill - 2015 - Dissertation, University of Waterloo
Buying Logical Principles with Ontological Coin: The Metaphysical Lessons of Adding epsilon to Intuitionistic Logic.David DeVidi & Corey Mulvihill - 2017 - IfCoLog Journal of Logics and Their Applications 4 (2):287-312.
Logic, Mathematics, Philosophy, Vintage Enthusiasms: Essays in Honour of John L. Bell.David DeVidi, Michael Hallett & Peter Clark (eds.) - 2011 - Dordrecht, Netherland: Springer.
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-7c76586df8-hc2g5 uwo