February 2000 Archives by subject
Starting: Tue Feb 1 11:39:16 EDT 2000
Ending: Mon Feb 28 12:59:43 EDT 2000
Messages: 123
- FOM: "Axiom" of constructibility
Harvey Friedman
- FOM: a comment on a post by Mathias
holmes at catseye.idbsu.edu
- FOM: A dual view of foundations
Todd Wilson
- FOM: administrative announcements
Stephen G Simpson
- FOM: aksiom of constructibility
Kanovei
- FOM: alternative foundations?
holmes at catseye.idbsu.edu
- FOM: categorical digression; the other one percent
Stephen G Simpson
- FOM: categorical digression; the other one percent
Andrej.Bauer at cs.cmu.edu
- FOM: Category of ALL categories
Colin McLarty
- FOM: Category of ALL categories
Stephen G Simpson
- FOM: category theory
Steve Awodey
- FOM: category theory and f.o.m.
holmes at catseye.idbsu.edu
- FOM: category theory, cohomology, group theory, and f.o.m.
Stephen G Simpson
- FOM: category theory, cohomology, group theory, and f.o.m.
Andrej.Bauer at cs.cmu.edu
- FOM: category theory, cohomology, group theory, and f.o.m.
Todd Wilson
- FOM: category theory, cohomology, group theory, and f.o.m.
Todd Wilson
- FOM: category theory, cohomology, group theory, and f.o.m.
Stephen G Simpson
- FOM: category theory, cohomology, group theory, and f.o.m.
Stephen G Simpson
- FOM: category theory, cohomology, group theory, and f.o.m.
Andrej.Bauer at cs.cmu.edu
- FOM: category theory, cohomology, group theory, and f.o.m.
Till Mossakowski
- FOM: category theory, cohomology, group theory, and f.o.m.
Stephen G Simpson
- FOM: CH and RVM
Joe Shipman
- FOM: CH and RVM: Reply to Insall
Joe Shipman
- FOM: Classes = sets + truth
Volker Halbach
- FOM: Classes = sets + truth?
Jeffrey John Ketland
- FOM: Classes/philosophical introspection/large cardinals
Harvey Friedman
- FOM: Completion of previous posting
JoeShipman at aol.com
- FOM: Completion of previous posting
Todd Wilson
- FOM: Connections between mathematics, physics and FOM
Jeffrey John Ketland
- FOM: Connections between mathematics, physics and FOM
Andrej Bauer
- FOM: Connections between mathematics, physics and FOM
Ayan Mahalanobis
- FOM: Connections between mathematics, physics and FOM - reply to Borzacchini
Jeffrey Ketland
- FOM: conservative extensions of nominalistic theories
Jeffrey John Ketland
- FOM: consistency equals existence
Stephen G Simpson
- FOM: consistency equals existence
Andrew Boucher
- FOM: consistency equals existence
Robert Black
- FOM: consistency equals existence
Walter Felscher
- FOM: consistency equals existence
Robert Black
- FOM: consistency equals existence
Vladimir Sazonov
- FOM: consistency equals existence
Martin Davis
- FOM: consistency equals existence; WKL0; CH
Stephen G Simpson
- FOM: Date: Sat, 19 Feb 2000 10:09:29 +0200
Hasan Keler
- FOM: Do We Need New Axioms? Results/Conjectures
Harvey Friedman
- FOM: Do We Need New Axioms? Upcoming Panel Discussion
Harvey Friedman
- FOM: Do We Need New Axioms? Upcoming Panel Discussion
JoeShipman at aol.com
- FOM: Do We Need New Axioms? Upcoming Panel Discussion
Martin Davis
- FOM: Do We Need New Axioms? Upcoming Panel Discussion
JoeShipman at aol.com
- FOM: Do We Need New Axioms? Upcoming Panel Discussion
Andrew Boucher
- FOM: Do We Need New Axoms? Some Quotes
Harvey Friedman
- FOM: Does Mathematics Need New Axioms?
Harvey Friedman
- FOM: Does Mathematics Need New Axioms? Research Update
Harvey Friedman
- FOM: Existence=Consistency for large cardinals?
Joe Shipman
- FOM: Floating point and A Program for Validation Research.
Steve Stevenson
- FOM: Followup links for Mathias References
Joe Shipman
- FOM: Foundational issue
Harvey Friedman
- FOM: foundations of category theory
Stephen G Simpson
- FOM: foundations of category theory
Andrej.Bauer at cs.cmu.edu
- FOM: foundations of category theory
Walter Felscher
- FOM: Frege's Grundgesetze
G. Aldo Antonelli
- FOM: Hilbert's program and RCF; dead white males
Stephen G Simpson
- FOM: Krönecker...Reply to Schuster
Matt Insall
- FOM: Large cardinals as integers?
Harvey Friedman
- FOM: Large cardinals as integers?
Ara R. Aslyan
- FOM: Maddy's views
James Robert Brown
- FOM: Message from Pen Maddy
Harvey Friedman
- FOM: MK and Introspection
Joseph Shoenfield
- FOM: MK and Introspection
Martin Davis
- FOM: Morse-Kelley
Joseph Shoenfield
- FOM: new axioms panel
John Steel
- FOM: new axioms panel
Stephen G Simpson
- FOM: new axioms panel
Juliette Kennedy
- FOM: nominalist, predicative, constructive physics
Matthew Frank
- FOM: Nominalist, predicativist, constructive physics
Jeffrey Ketland
- FOM: Nominalist, predicativist, constructive physics
James Robert Brown
- FOM: OPERATIONAL ANNOUNCEMENT
Harvey Friedman
- FOM: Pin-pointing the cause of dispute ...
Andrian-Richard-David Mathias
- FOM: Plato and XX-century platonisms
Jeffrey Ketland
- FOM: Predicativism, GR, ACA_0 and Zorn's Lemma
Jeffrey Ketland
- FOM: Predicativism, GR, ACA_0, Zorn's Lemma
Matthew Frank
- FOM: Predicativism, GR, ACA_0, Zorn's Lemma
Kanovei
- FOM: predicativist, constructive physics -- reply to Frank and Ketland
Joe Shipman
- FOM: Question relating to Prof. Borzacchini's Comments.
Steve Stevenson
- FOM: quote from G"odel on what is interesting in math
Stephen G Simpson
- FOM: R: Connections between mathematics, physics and FOM
Luigi Borzacchini
- FOM: R: Connections between mathematics, physics and FOM - reply to Ketland
Luigi Borzacchini
- FOM: re-reply to Ketland about Platonism
Luigi Borzacchini
- FOM: Re: AC and Tychonov
Matt Insall
- FOM: Re: aksiom of constructibility
Karlis Podnieks
- FOM: Re: Axiom of constructibility
Harvey Friedman
- FOM: Re: CH and RVM
Matt Insall
- FOM: Re: Definition of mathematics (continued)
Jan Mycielski
- FOM: Re: Platonism - reply to Borzacchini
Jeffrey Ketland
- FOM: Re: predicativist, constructive physics -- reply to Frank and Ketland
Matthew Frank
- FOM: Re: predicativist, constructive physics -- reply to Frank and Ketland
Joe Shipman
- FOM: RE: Re:The missing 1%
Matt Insall
- FOM: Re:The missing 1%
Vladimir Sazonov
- FOM: Re:The missing 1%
Hasan Keler
- FOM: Re:The missing 1%<
Andrej.Bauer at cs.cmu.edu
- FOM: Real-valued measurables
Joe Shipman
- FOM: reply to Joe Shipman
Matt Insall
- FOM: Retraction of stupid statement
Joe Shipman
- FOM: Review of Wolfram's Talk
Steve Stevenson
- FOM: Russell paradox, NFU, categories
Stephen G Simpson
- FOM: simultaneous truth of consistent statements
Andrian-Richard-David Mathias
- FOM: simultaneous truth of consistent statements
Vladimir Sazonov
- FOM: simultaneous truth of consistent statements
Andrian-Richard-David Mathias
- FOM: simultaneous truth of consistent statements
Vladimir Sazonov
- FOM: Slight correction to Shipman's posting
Robert M. Solovay
- FOM: Smooth infinitesimals
David Ross
- FOM: The missing 1%
Jeffrey Ketland
- FOM: The missing 1%
Walter Felscher
- FOM: Tiny Correction
Harvey Friedman
- FOM: trivial amalgamation; Hilbertism; consistency equals existence; applications to analysis; practical completeness
Stephen G Simpson
- FOM: trivial amalgamation; Hilbertism; consistency equals existence; applications to analysis; practical completeness
Neil Tennant
- FOM: trivial amalgamation; Hilbertism; consistency equals existence; applications to analysis; practical completeness
John Steel
- FOM: Tychonoff theorem, Weak inaccessibles
Joe Shipman
- FOM: Upcoming Panel Discussion
Matt Insall
- FOM: What were Kronecker's f.o.m.?
Peter Schuster
- FOM: What were Kronecker's f.o.m.?
Walter Felscher
- FOM: What were Kronecker's f.o.m.?
Julio Gonzalez Cabillon
- FOM: What were Kronecker's f.o.m.?
Peter Schuster
- FOM: Wilson's dual view of foundations
Joe Shipman
- FOM: ZFC over ZF
Harvey Friedman
Last message date:
Mon Feb 28 12:59:43 EDT 2000
Archived on: Fri Mar 11 12:48:50 EDT 2005
This archive was generated by
Pipermail 0.09 (Mailman edition).