November 1997 Archives by subject
Starting: Sat Nov 1 16:53:40 EDT 1997
Ending: Sun Nov 30 22:18:47 EDT 1997
Messages: 241
- FOM: "categorical foundations" -- an oxymoron
Stephen G Simpson
- FOM: "categorical foundations" -- an oxymoron
Colin Mclarty
- FOM: "categorical foundations" -- an oxymoron
Vaughan R. Pratt
- FOM: "Does Mathematics Need New Axioms?"
Stephen G Simpson
- FOM: "Does Mathematics Need New Axioms?"
JSHIPMAN at bloomberg.net
- FOM: "home truths"
Josef Mattes
- FOM: "home truths": what is foundational and what is not
Stephen G Simpson
- FOM: "Was sind und was sollen die Zahlen"
Vladimir Sazonov
- FOM: "Working foundations" sources
Solomon Feferman
- FOM: 'Constructive' infinitesimals and Calculus
David Ross
- FOM: 2:Axioms
Harvey Friedman
- FOM: 3:Simplicity
Harvey Friedman
- FOM: 4:Simplicity
Harvey Friedman
- FOM: 5:Constructions
Harvey Friedman
- FOM: 5:Constructions
Vaughan R. Pratt
- FOM: 6:Undefinability/Nonstandard Models
Harvey Friedman
- FOM: 7:Undefinability/Nonstandard Models
Harvey Friedman
- FOM: 8:Schemes
Harvey Friedman
- FOM: 9:Nonstandard Arithmetic
Harvey Friedman
- FOM: A critique of pure Kant
Vaughan R. Pratt
- FOM: A suggested problem
Torkel Franzen
- FOM: accessibility of mathematics
Colin Mclarty
- FOM: accessibility of mathematics
Michael Thayer
- FOM: Accessible expositions of mathematics
jshipman at bloomberg.net
- FOM: Another question on infinitesimals
JSHIPMAN at bloomberg.net
- FOM: Another question on infinitesimals
Vaughan R. Pratt
- FOM: answer to mattes quiz
JSHIPMAN at bloomberg.net
- FOM: Answer to Pratt -- What if ZF were inconsistent?
JSHIPMAN at bloomberg.net
- FOM: Aspects of Computability in Physics
JSHIPMAN at bloomberg.net
- FOM: Barwise blunder?
Jon Barwise
- FOM: Barwise blunder?
Moshe' Machover
- FOM: Canonicalness of the hyperreals, V, and V_alpha
JSHIPMAN at bloomberg.net
- FOM: Categorical foundations for linearity
Colin Mclarty
- FOM: Categorical foundations, pro and con
Vaughan R. Pratt
- FOM: Categorical foundations, reply to Feferman
Colin Mclarty
- FOM: Category or collection; chicken or egg?
Solomon Feferman
- FOM: Category or collection; chicken or egg?
Vaughan R. Pratt
- FOM: Category or collection; chicken or egg? (Correction)
Solomon Feferman
- FOM: Chow's lemma?
Colin McLarty
- FOM: Chow's theorem
Dave Marker
- FOM: Chu spaces, information, and FOM
Jon Barwise
- FOM: Citation for argument against categorical foundations.
Solomon Feferman
- FOM: Comment on Mattes
G Davie
- FOM: Comments on 'Does mathematics need new axioms'
Torkel Franzen
- FOM: comments on Steel's "large cardinals needed/appreciated"
Stephen G Simpson
- FOM: Conway's surreal numbers
JSHIPMAN at bloomberg.net
- FOM: Conway's surreal numbers
Vaughan R. Pratt
- FOM: Correction
wtait at ix.netcom.com
- FOM: corrigendum to email on relevance
Neil Tennant
- FOM: Examples of Infinitesimals
Vaughan R. Pratt
- FOM: examples of infinitesimals
Vladimir Sazonov
- FOM: Examples of infinitesimals
Jon Barwise
- FOM: examples of infinitesimals; f.o.m. testimonial
Stephen G Simpson
- FOM: extent of agreement with Simpson
Colin McLarty
- FOM: extent of agreement with Simpson
Vaughan R. Pratt
- FOM: extra-terrestrial math etc.
Neil Tennant
- FOM: extra-terrestrial math etc.
Vaughan R. Pratt
- FOM: extra-terrestrial math etc.
Michael Thayer
- FOM: faltings
Lou van den Dries
- FOM: Ferguson's points
Neil Tennant
- FOM: FOM is now available in digest format
Stephen G Simpson
- FOM: For categorical foundations
Colin Mclarty
- FOM: For categorical foundations
Torkel Franzen
- FOM: For categorical foundations II, replies
Colin McLarty
- FOM: For categorical foundations II, replies
Torkel Franzen
- FOM: Formal power series are Archimedean
Vaughan R. Pratt
- FOM: Formal power series are Archimedean
Martin Davis
- FOM: Forwarded mail....
Solomon Feferman
- FOM: foundational problems
Martin Davis
- FOM: FoundationalCompleteness
Harvey Friedman
- FOM: FoundationalCompleteness
Vaughan R. Pratt
- FOM: FoundationalCompleteness
Martin Davis
- FOM: FoundationalCompleteness
Vaughan R. Pratt
- FOM: FoundationalCompleteness: Errata
Harvey Friedman
- FOM: foundations of geometry; set-theoretic foundations; Chow
Stephen G Simpson
- FOM: foundations of geometry; set-theoretic foundations; Chow]
Colin Mclarty
- FOM: Further remarks on accessibility of mathematics
JSHIPMAN at bloomberg.net
- FOM: Further remarks on models, consistency, and physics
JSHIPMAN at bloomberg.net
- FOM: Godel and infinitesimals
David Ross
- FOM: Godel and infinitesimals
wtait at ix.netcom.com
- FOM: Godel on the foundations of nonstandard analysis
Jon Barwise
- FOM: Goedel's alleged remark
Charles Parsons
- FOM: groups
penelope maddy
- FOM: Has McLarty defined "morphism" or "category"?
Vaughan R. Pratt
- FOM: Hersh-Gardner and Institution(s)
Vaughan R. Pratt
- FOM: HF on infinitesimals (was: ReplyToDavis)
David Ross
- FOM: High aspirations for FOM - A Modest Proposal*
Dan Halpern
- FOM: High aspirations for FOM - A Modest Proposal*
Vaughan R. Pratt
- FOM: Hilbert's 5th Problem
Moshe' Machover
- FOM: Hilbert's 5th Problem
Torkel Franzen
- FOM: How McLarty and Thayer should parse "more general interest"
jshipman at bloomberg.net
- FOM: How real are real numbers, anyway?
JSHIPMAN at bloomberg.net
- FOM: I thought this exchange would interest this list.
Martin Davis
- FOM: I thought this exchange would interest this list.
Vaughan R. Pratt
- FOM: in re Barwise v Barwise: amicus curiae
John Baldwin
- FOM: Inconsistency
JSHIPMAN at bloomberg.net
- FOM: Inconsistency
Vaughan R. Pratt
- FOM: Independence of "linear transformation" and "vector space"
Vaughan R. Pratt
- FOM: infinitesimals and AST
Walter Felscher
- FOM: infinitesimals and AST
Stephen G Simpson
- FOM: infinitesimals and AST
Vladimir Sazonov
- FOM: infinitesimals and AST
Vladimir Sazonov
- FOM: infinitesimals and AST
Vaughan Pratt
- FOM: infinitesimals, infeasible numbers, f.o.g.
Rick Sommer
- FOM: infinitesimals, infeasible numbers, f.o.g.
Torkel Franzen
- FOM: Infinitesmials,Conservation/ReplyToBarwise
Harvey Friedman
- FOM: Intuitions about infinitesimals
Jon Barwise
- FOM: Is CH a definite mathematical problem?
Solomon Feferman
- FOM: Is ZF true?
Jon Barwise
- FOM: Keisler's book
Jon Barwise
- FOM: Keisler's book
Michel Eytan LILoL
- FOM: Kreisel on categories
Vaughan R. Pratt
- FOM: large cardinals needed/appreciated
steel at math.berkeley.edu
- FOM: Leibniz and infinitesimals
wtait at ix.netcom.com
- FOM: Mathematicians' views of Goedel's incompleteness theorem(s)
Solomon Feferman
- FOM: Mathematics and Physics -- some details
jshipman at bloomberg.net
- FOM: Mathematics and Physics -- some details
Vaughan R. Pratt
- FOM: Mattes, McLarty, Hilbert, Yang, Chow, Pratt, Chu, Sazonov
Stephen G Simpson
- FOM: Mattes, McLarty, Hilbert, Yang, Chow, Pratt, Chu, Sazonov
Josef Mattes
- FOM: McLarty has not defined "category"
Colin Mclarty
- FOM: Monomathematics and Friedman; non-standard numbers
Neil Tennant
- FOM: More questions about infinitesimals
Vaughan R. Pratt
- FOM: non-standard models
Neil Tennant
- FOM: non-uniqueness of the hyperreals
Jon Barwise
- FOM: non-uniqueness of the hyperreals
Vaughan R. Pratt
- FOM: On introducing new abbreviations
Michael Thayer
- FOM: OTT; Goedel's hype
Moshe' Machover
- FOM: OTT; Goedel's hype correction
Moshe' Machover
- FOM: Peter Simons' essay on Frege's theory of real numbers
Martin Davis
- FOM: Physics and Math, Gardner and Hersh: some ambiguities
wtait at ix.netcom.com
- FOM: Physics and Math; Gardner and Hersh
JSHIPMAN at bloomberg.net
- FOM: please use an explicit Subject line
Stephen G Simpson
- FOM: potential and interest of FOM
Colin McLarty
- FOM: power series
Dave Marker
- FOM: Pratt's error on the hyperreals
Martin Davis
- FOM: query on quote: Feferman?
Colin McLarty
- FOM: query on quote: Feferman?
Torkel Franzen
- FOM: question
marker at math.uic.edu
- FOM: Re: "categorical foundations" -- an oxymoron
Michael Thayer
- FOM: Re: "home truths": what is foundational and what is not
Michael Thayer
- FOM: Re: About my earlier query re: your papers [Franzen]
Solomon Feferman
- FOM: Re: About my earlier query re: your papers [Franzen]
Torkel Franzen
- FOM: Re: comments on Steel's "large cardinals needed/apprecator:!:
Lee J. Stanley
- FOM: Re: Computability and Physics
John Case
- FOM: Re: Ferguson's points
Michael Thayer
- FOM: Re: groups
Michael Thayer
- FOM: Re: ReplyToThayer
Michael Thayer
- FOM: Re: Seismology
Michael Thayer
- FOM: Re: Simpson on Mattes
Michael Thayer
- FOM: Re: Structures prior to homomorphisms
Colin Mclarty
- FOM: Re: Structures prior to homomorphisms
Vaughan R. Pratt
- FOM: re: Torkel Franzen
Kanovei
- FOM: Re: What categories are good for
Colin McLarty
- FOM: re:whither FOM
marker at math.uic.edu
- FOM: Reference needed
Neil Tennant
- FOM: Reference needed
John Baldwin
- FOM: Reference needed
Anand Pillay
- FOM: Referenced version of "Does mathematics need new axioms?"
Solomon Feferman
- FOM: Relevance
Neil Tennant
- FOM: Relevance
Torkel Franzen
- FOM: relevance and choice of logic
Neil Tennant
- FOM: relevance and choice of logic
Neil Tennant
- FOM: relevance and choice of logic
Torkel Franzen
- FOM: relevance and choice of logic
Torkel Franzen
- FOM: relevance and interpolation
Stephen Ferguson
- FOM: relevance and interpolation
Neil Tennant
- FOM: Relevance and mathematical modeling: a case in point
Jon Barwise
- FOM: Relevance and mathematical modeling: a case in point
Martin Davis
- FOM: Relevance and mathematical modeling: a case in point
Lou van den Dries
- FOM: Relevance and mathematical modeling: a case in point
Jon Barwise
- FOM: relevance and v-Elim
Neil Tennant
- FOM: relevance and v-Elim
Vladimir Sazonov
- FOM: Replies/Nonstandard Analysis
Harvey Friedman
- FOM: Reply to Friedman's ReplyToDavis
Martin Davis
- FOM: Reply to Friedman's ReplyToDavis
Vaughan R. Pratt
- FOM: Reply to Friedman's ReplyToDavis
Vaughan R. Pratt
- FOM: Reply to Friedman's ReplyToDavis (addendum)
Martin Davis
- FOM: Reply to Machover
JSHIPMAN at bloomberg.net
- FOM: Reply to McCarty
JSHIPMAN at bloomberg.net
- FOM: reply to Mr.Simpson's remark on AST
Walter Felscher
- FOM: Reply to Pratt
JSHIPMAN at bloomberg.net
- FOM: Reply to Pratt
Vaughan R. Pratt
- FOM: Reply to Simpson
Vaughan R. Pratt
- FOM: reply to Torkel on proof of infinity of primes
Neil Tennant
- FOM: reply to Torkel on proof of infinity of primes
Torkel Franzen
- FOM: reply to Vaughan Pratt on "7+5=12"
Neil Tennant
- FOM: reply to Vaughan Pratt on "7+5=12"
Vaughan R. Pratt
- FOM: ReplyToAnand, ReplyToMattes/McLarty
Josef Mattes
- FOM: ReplyToBarwise
Jon Barwise
- FOM: ReplyToDavis
Harvey Friedman
- FOM: ReplyToHarvey Friedman <friedman@math.ohio-state.edu>
Colin McLarty
- FOM: ReplyToMarker
Harvey Friedman
- FOM: ReplyToMarker
Harvey Friedman
- FOM: ReplyToMattes
Harvey Friedman
- FOM: ReplyToMattes/McLarty
Harvey Friedman
- FOM: ReplyToPratt
Harvey Friedman
- FOM: ReplyToPratt
Vaughan R. Pratt
- FOM: ReplyToPratt
Vaughan R. Pratt
- FOM: ReplyToPratt
Vaughan R. Pratt
- FOM: ReplyToThayer
Harvey Friedman
- FOM: ReplyToThayer/Halpern
Harvey Friedman
- FOM: Response to Torkel Franzen
Moshe' Machover
- FOM: review of "The Ignorance of Bourbaki" (from Math. Reviews)
Stephen G Simpson
- FOM: Robinson and Godel
Akihiro Kanamori
- FOM: Scientifically applicable mathematics in weak systems
Solomon Feferman
- FOM: scott sets
Dave Marker
- FOM: Seismology
jshipman at bloomberg.net
- FOM: Seismology
Vaughan R. Pratt
- FOM: sets and numbers
Neil Tennant
- FOM: Simplicity, Calculus, Need for new axioms
David Ross
- FOM: Simplicity, Calculus, Need for new axioms
JSHIPMAN at bloomberg.net
- FOM: Strength of NSA (was: Monomathematics and Friedman)
David Ross
- FOM: Structures prior to homomorphisms
Solomon Feferman
- FOM: Tanaka's papers on nonstandard analysis
Stephen G Simpson
- FOM: The argument from personal incredulity
Lee J. Stanley
- FOM: the necessary truth of "7+5=12"
Neil Tennant
- FOM: the necessary truth of "7+5=12"
Vaughan R. Pratt
- FOM: The notion of Chu space
Vaughan R. Pratt
- FOM: Thomae and non-archimedian domains
Walter Felscher
- FOM: Thomae and non-archimedian domains
Julio Gonzalez Cabillon
- FOM: Thomae and non-archimedian domains
John Case
- FOM: time out
Stephen G Simpson
- FOM: typo in categorical foundations
Colin Mclarty
- FOM: Visiting position
Jon Barwise
- FOM: Was sind und was sollen die Zahlen
Vladimir Sazonov
- FOM: Was sind und was sollen die Zahlen
Vladimir Sazonov
- FOM: Was sind und was sollen die Zahlen
Vaughan R. Pratt
- FOM: Well-known historical remarks
Moshe' Machover
- FOM: What categories are good for
jshipman at bloomberg.net
- FOM: what sort of foundations
Stephen Ferguson
- FOM: what sort of foundations
wtait at ix.netcom.com
- FOM: What we mean by "nonstandard analysis"
David Ross
- FOM: Where stands CH?
Solomon Feferman
- FOM: Whither FOM? (and a note about FOM archives)
Stephen G Simpson
- FOM: Why *should* infinitesimals be definable?
Moshe' Machover
- FOM: Why does Harvey believe it is unlikely that ... ?
Martin Davis
- FOM: why formal power series do not work
Kanovei
- FOM: why formal power series do not work
Vaughan R. Pratt
- FOM: Working Foundations
Solomon Feferman
- FOM: Working Foundations
Torkel Franzen
- Fwd: Re: FOM: Inconsistency
jshipman at bloomberg.net
Last message date:
Sun Nov 30 22:18:47 EDT 1997
Archived on: Fri Mar 11 12:47:27 EDT 2005
This archive was generated by
Pipermail 0.09 (Mailman edition).