03E: Set Theory Somewhat related to the ordering of sets is Combinatorial Set Theory. relations, and set algebra); 03E25 Axiom of choice and related propositions http://www.math.niu.edu/~rusin/known-math/index/03EXX.html
PlanetMath: Axiom Of Choice AMS MSC, 03E25 (Mathematical logic and foundations Set theory Axiom of choice and related propositions). 03E30 (Mathematical logic and foundations http://planetmath.org/encyclopedia/AxiomOfChoice.html
03Exx 03E25 Axiom of choice and related propositions See also 04A25; 03E30 Axiomatics 03E45 Constructibility, ordinal definability, and related notions http://www.ams.org/mathweb/msc1991/03Exx.html
Sachgebiete Der AMS-Klassifikation: 00-09 and structures 03C10 Quantifier elimination and related topics 03C13 Finite classical set theory 03E25 Axiom of choice and related propositions, http://www.math.fu-berlin.de/litrech/Class/ams-00-09.html
MathNet-Mathematical Subject Classification 03E25, Axiom of choice and related propositions See also 04A25. 03E30, Axiomatics of classical set theory and its fragments http://basilo.kaist.ac.kr/API/?MIval=research_msc_1991_out&class=03-XX
Is Godel Lieing When He States This - Sci.logic | Google Groups undecidable propositions of principia mathematica and related systems in The undecidable , M, Davis, Raven Press, 1965,p.21. and in Axiom of choice http://groups.google.as/group/sci.logic/msg/194061aa98d003a7
Mhb03.htm 03E25, Axiom of choice and related propositions. 03E30, Axiomatics of classical set theory and its fragments. 03E35, Consistency and independence results http://www.mi.imati.cnr.it/~alberto/mhb03.htm
List KWIC DDC22 510 And MSC+ZDM E-N Lexical Connection Axiom of choice and related propositions 03E25 Axiomatic and generalized convexity 52A01 Axiomatic computability and recursion theory abstract and 03D75 http://www.math.unipd.it/~biblio/kwic/msc-cdd/dml2_11_05.htm
03Exx and set algebra) 03E25 Axiom of choice and related propositions 03E30 and Axioms 03E70 Nonclassical and secondorder set theories 03E72 Fuzzy set http://www.emis.de/MSC2000/03Exx.html
HeiDOK 03E25 Axiom of choice and related propositions ( 0 Dok. ) 03E30 Axiomatics of classical set theory and its fragments ( 0 Dok. http://archiv.ub.uni-heidelberg.de/volltextserver/msc_ebene3.php?zahl=03E&anzahl
Seminars Of The CENTRE De RECHERCHE En THEORIE Des CATEGORIES the Axiom of choice for (Kuratowski)finite sets and ``related issues . However, in settings where the propositions themselves can be circular, http://www.math.mcgill.ca/rags/seminar/seminar.listings.01
On Gödel's Philosophy Of Mathematics, Notes K. Gödel, On Formally Undecidable propositions of Principia Mathematica and related . Gödel, The Consistency of the Axiom of choice and the Generalized http://www.friesian.com/goedel/notes.htm
Intute: Science, Engineering And Technology - Browse Set Theory The page includes links to the key people involved in the development of the theory, as well as to links to related areas such as the Axiom of choice and http://www.intute.ac.uk/sciences/cgi-bin/browse.pl?id=27000
Math History - 20th Century ... 1963, Cohen proves the independence of the Axiom of choice and of the continuum approximately 4.669201660910 , which is related to perioddoubling http://lahabra.seniorhigh.net/PAGES/teachers/pages/math/timeline/m20thCentury.ht
Axiom Of Choice - Quotes Translate this page A selection of articles related to Axiom of choice - Quotes. To see this, for any proposition let be the set and let be the set (see Set-builder http://www.experiencefestival.com/axiom_of_choice_-_quotes
JSTOR A Mathematical Axiom Contradicting The Axiom Of Choice. The Axiom of determinateness is the proposition ~. It is observed that although the Axiom of choice and the Axiom of determinateness are inconsistent, http://links.jstor.org/sici?sici=0022-4812(197103)36:1<164:AMACTA>2.0.CO;2-P
The Computer Journal -- Sign In Page There is therefore a need to investigate how the constructive Axiom of choice, validated by the BrouwerHeyting-Kolmogorov interpretation, is related to http://comjnl.oxfordjournals.org/cgi/content/full/49/3/345
The Axiom Of Choice And Non-enumerable Reals Proposition The ZermeloFraenkel power set Axiom and the Axiom of choice are inconsistent if an extended language is not used to express all the reals. http://www.angelfire.com/az3/nfold/choice.html
Peter Suber, "Kurt Gödel In Blue Hill" Gödel s 1938 proof provided the related result that the negation of the Axiom of choice could not be derived from the standard Axioms. http://www.earlham.edu/~peters/writing/godel.htm
The Axiom Of Choice Is Wrong « The Everything Seminar The argument against the Axiom of choice which really hit a chord I first .. form opinions on the right choices for various undecidable propositions http://cornellmath.wordpress.com/2007/09/13/the-axiom-of-choice-is-wrong/
Fuzzy Logic These propositions are undecidable within ZFC, in some sense they are Goedel sentences . 3. If the Axiom of choice proposition is true then in ZFC there http://www.physicsforums.com/showthread.php?p=127080
Brunner: Positive Functionals And The Axiom Of Choice Positive functionals and the Axiom of choice NorbertBrunner In this note we prove, that a proposition which is useful in integration theory, is equivalent http://www.numdam.org/numdam-bin/fitem?id=RSMUP_1984__72__9_0
Programming And Computation The proposition is the statement of the Law of Excluded Middle, . The Axiom of choice may also be viewed as an assertion that set s membership predicate http://okmij.org/ftp/Computation/
Gödel One of the most amazing Axioms in all of mathematics is The Axiom of choice. It basically says that many mathematical propositions can only be proved http://www.yhwh.com/Thoughts/godel.htm
Math Forum - Math Library - Publications & Logic/Foundations & Research This assertion is easy to prove using the Axiom of choice, but becomes a much . This site presents a set theory description of the proposition and an http://mathforum.org/library/results.html?ed_topics=&levels=research&resource_ty
Practical Foundations Of Mathematics His 1904 proof of the wellordering principle (Proposition 6.7.13 and Exercise 6.53) attracted DEFINITION 1.8.9 The Axiom of dependent choice says that http://www.cs.man.ac.uk/~pt/Practical_Foundations/html/s18.html
The Googol Room Group theorys adaptation to temporal propositions will be a more subtle matter than . It also abandons the Axiom of choice (AOC) as a practical matter. http://www.googolroom.org/GrailMachineTwo.htm
The Ithaca Papers Can this be done when the propositions of a mere philosophical perspective . the Axiom of choice or propositional calculi with morders of logical-value. http://www.geocities.com/moonhoabinh/ithapapers/econo.html
Russell's Paradox (Stanford Encyclopedia Of Philosophy) For example, assuming both P and ~P, any arbitrary proposition, Q, can be proved as follows ZF and ZFC (i.e., ZF supplemented by the Axiom of choice), http://plato.stanford.edu/entries/russell-paradox/
20th WCP: Do Sentences Have Identity? Some logicians have rejected propositions in favour of sentences, . Zermelos Axiom of choice (AC) is logically equivalent to Zorns lemma (ZL), http://www.bu.edu/wcp/Papers/Logi/LogiBeza.htm
AMERICAN MATHEMATICAL MONTHLY - June/July 2001 Two Classical Surprises Concerning the Axiom of choice and the Continuum Hypothesis (Trichotomy is the proposition that of any two cardinals, a and b, http://www.maa.org/pubs/monthly_jj02_toc.html
Springer Online Reference Works a) the Axiom of choice and the generalized continuum hypothesis are has made it possible to state a proposition on the unsolvability in principal (in an http://eom.springer.de/A/a014310.htm
An Encoding Of Zermelo-Fraenkel Set Theory In Coq A noncomputational type-theoretical Axiom of choice is necessary to prove the Aczel s is that propositions are defined on the impredicative level Prop. http://coq.inria.fr/contribs/zermelo-fraenkel.html
Axiom Of Choice - Wikipedia, The Free Encyclopedia As this could be done for any proposition, this completes the proof that the Axiom of choice implies the law of the excluded middle. Forms of the Axiom of http://en.wikipedia.org/wiki/Axiom_of_choice
FP Lunch It is strange on the one hand the Axiom of choice is singled out as the I showed that while the proofrelevant Axiom of choice is provable in Type http://sneezy.cs.nott.ac.uk/fplunch/weblog/
School Of Mathematics The most interesting feature of set theory is the Axiom of choice one (The proposition that every injective function has a left inverse is much weaker. http://www.maths.tcd.ie/pub/official/Courses04-05/371.html
Untitled Page By the Axiom of choice, we can assume that P is wellordered. If n is not a point then let P be the first proposition in the well-ordering which is not http://www.ihmc.us/users/phayes/context/ContextMereology.html
Axiom - Wiktionary (philosophy) A selfevident and necessary truth; a proposition which it is The axioms of political economy cannot be considered absolute truths. http://en.wiktionary.org/wiki/axiom
The Accursed Share: Sets & Numbers & Physics - Oh My! Anyways, what Badiou seems to mean by his proposition is that mathematics (specifically, ZermeloFraenkel set theory, with the Axiom of choice, http://accursedshare.blogspot.com/2006/02/sets-numbers-physics-oh-my.html