February 1998 Archives by date
Starting: Sun Feb 1 02:40:15 EDT 1998
Ending: Sat Feb 28 22:26:51 EDT 1998
Messages: 219
- FOM: Axioms:reply and two corrections
Colin Mclarty
- FOM: poll
Kanovei
- FOM: 'platonism' again & indef ext
Stephen Ferguson
- FOM: realism and bivalence
Stephen Ferguson
- Indefinitely extensible [was: FOM: 'platonism' again ...]
Julio Gonzalez Cabillon
- No subject
Soren Riis
- FOM: finite axiomatizability; ACA_0; categorical dis-foundations
Stephen G Simpson
- FOM: the attack on Cat
Steve Awodey
- FOM: poll
Vaughan Pratt
- FOM: Categorical pseudofoundations
Vaughan Pratt
- FOM: Reading Aristotle ...
Walter Felscher
- FOM: IHOL and topoi are not isomorphic, but related
Till Mossakowski
- FOM: Tymoczko's book; "quasi-empiricism"; the gold standard
Stephen G Simpson
- FOM: Tennant's re-invention of the numbers
Solomon Feferman
- FOM: "The unreasonable effectiveness of mathematics"
Solomon Feferman
- FOM: poll
Kanovei
- FOM: CATvsSET
John Mayberry
- FOM: categorical pseudofoundations
Harvey Friedman
- FOM: finite axiomatizability; categorical dis-foundations
Colin McLarty
- FOM: Categorical Foundations
Martin Schlottmann
- FOM: categorical dis-foundations
Kanovei
- FOM: poll
Vaughan Pratt
- FOM: Tennant's re-invention of the numbers
Neil Tennant
- FOM: categorical pseudofoundations: Friedman and Kanovei
Colin McLarty
- FOM: Tennant's re-invention of the numbers
Vaughan Pratt
- FOM: categorical pseudofoundations
Harvey Friedman
- FOM: categorical dis-foundations
Vaughan Pratt
- FOM: categorical dis-foundations
Martin Davis
- FOM: Set theoretic realism
Harvey Friedman
- FOM: categorical pseudofoundations: Friedman and Kanovei
Torkel Franzen
- FOM: Friedman on Realism/Philosophy (reply)
Torkel Franzen
- FOM: categorical dis-foundations Pratt/Franzen
Colin Mclarty
- FOM: poll
Kanovei
- FOM: a question re. completeness
michael Detlefsen
- FOM: a question re. completeness
Kanovei
- FOM: categorical mis-foundations: real analysis; IHOL; simplicity; schemes
Stephen G Simpson
- FOM: status of CH
Randall Holmes
- FOM: a question re. completeness
michael Detlefsen
- FOM: a question re. completeness
Stephen G Simpson
- FOM: a question re. completeness
Arnon Avron
- FOM: re. a q. re. completeness
michael Detlefsen
- FOM: a question re. completeness
Stephen G Simpson
- FOM: some answers to Simpson
Carsten Butz
- FOM: a question re. completeness
wtait at ix.netcom.com
- FOM: Reply to Detlefsen on consistency-completeness
Shipman, Joe x2845
- FOM: questions + "the static nature of sets"
Carsten Butz
- FOM: CH
Randall Holmes
- FOM: Friedman on Realism/Philosophy (reply)
wtait at ix.netcom.com
- FOM: consistency-complete
Fred Johnson
- FOM: "the static nature of sets"
Colin McLarty
- FOM: fom: IHOL
Steve Awodey
- FOM: Butz on truth
John Mayberry
- FOM: Butz on truth
Vaughan Pratt
- FOM: categorical dis-foundations
wtait at ix.netcom.com
- FOM: Butz on truth
wtait at ix.netcom.com
- FOM: Butz on truth
Vaughan Pratt
- FOM: Re: Reply to Detlefsen on consistency-completeness
Karlis Podnieks
- FOM: Pratt on truth
John Mayberry
- FOM: Re Pratt and Butz on truth and models
Shipman, Joe x2845
- FOM: constructive analysis; topos confusion; set theory alienation
Stephen G Simpson
- FOM: consis-completeness again
michael Detlefsen
- FOM: Pratt on truth
Vaughan Pratt
- No subject
Soren Riis
- FOM: On Absolute Truth
JOE SHIPMAN, BLOOMBERG/ NEW YORK
- FOM: Re: building bridges with consructive analysis
Todd Wilson
- FOM: Computer pictures of mathematical abstractions
Alexander Zenkin
- FOM: On Absolute Truth
Vaughan Pratt
- No subject
Vaughan Pratt
- FOM: Wittegenstein and Brouwer
Torkel Franzen
- FOM: consis-completeness again
Torkel Franzen
- FOM: Topos theory need not be logicism
Till Mossakowski
- FOM: bridges; irony; intuitionism
Jaap van Oosten
- FOM: Challenge axioms, final draft
Colin McLarty
- FOM: Re: bridges; irony; intuitionism
Michael Thayer
- FOM: subjunctive conditionals
Robert Black
- FOM: Brouwer translation
michael Detlefsen
- FOM: Wittegenstein and Brouwer (fwd)
Stephen Ferguson
- FOM: Pratt on absolute truth
John Mayberry
- FOM: Tait on truth
John Mayberry
- FOM: Hint
Fred Johnson
- FOM: Wittegenstein and Brouwer (fwd)
Charles Parsons
- FOM: Wittegenstein and Brouwer
wtait at ix.netcom.com
- FOM: Towards a Consensus?
Soren Riis
- FOM: Wittgenstein and Brouwer
Neil Tennant
- FOM: Comment on Riis
Moshe' Machover
- FOM: Tait on truth
Vaughan Pratt
- FOM: Re: constructive analysis; topos confusion; set theory alienation
Michael Thayer
- FOM: consis-completeness again
Arnon Avron
- FOM: Wittegenstein and Brouwer (fwd)
Torkel Franzen
- FOM: On A.Wiles's proof of FLT
Alexander Zenkin
- FOM: Pratt on imperatives
John Mayberry
- FOM: Challenge axioms, final draft
Jaap van Oosten
- FOM: Re: Towards a Consensus?
Colin Mclarty
- FOM: truth, assertion, commands etc.
Neil Tennant
- FOM: Franzen and Black re. con-completeness
michael Detlefsen
- FOM: Re the proof of FLT
Adrian Mathias
- FOM: Wittgenstein and Brouwer
Paolo Mancosu
- FOM: Awarding theorem-credits
Shipman, Joe x2845
- FOM: Awarding theorem-credits
Vaughan Pratt
- FOM: Re: Cook vs Karp on NP completeness
Stephen Cook
- FOM: intuitionistic mathematics and building bridges
Neil Tennant
- FOM: Franzen and Black re. con-completeness
Torkel Franzen
- FOM: 'Logical parsimony' of intuitionistic mathematics
Torkel Franzen
- FOM: Challenge axioms, final draft
Kanovei
- FOM: 'Logical parsimony' of intuitionistic mathematics
Neil Tennant
- FOM: 'Logical parsimony' of intuitionistic mathematics
wtait at ix.netcom.com
- FOM: Categorical and Zermelo-style set theories
Colin Mclarty
- FOM: NY Times today
Martin Davis
- FOM: Johnson's piece on the nature of mathematics 2/10/98
Martin Davis
- FOM: Pratt on imperatives
Ben Abraham
- FOM: NY Times today
Martin Schlottmann
- FOM: Chudnovsky's contribution to MRDP
Martin Davis
- FOM: Comments on Riis
Carsten Butz
- FOM: FOM administrative notes
Stephen G Simpson
- FOM: NYT culture wars; topos axioms; Brouwer's mysticism
Stephen G Simpson
- FOM: Challenge axioms, final draft
Till Mossakowski
- FOM: 'Logical parsimony' of intuitionistic mathematics
Torkel Franzen
- FOM: 'Logical parsimony' of intuitionistic mathematics
Neil Tennant
- FOM: Reply to Detlefsen on Consistency-Completeness
Shipman, Joe x2845
- FOM: Re: topos axioms
Colin McLarty
- FOM: workshop program
Stephen G Simpson
- FOM: intuitionistic and classical arithmetic
Neil Tennant
- FOM: HA/PA, categorical (pseudo) foundations
Harvey Friedman
- FOM: intuitionistic and classical arithmetic
Robert Tragesser
- FOM: Foundational motivation for topos theory
Till Mossakowski
- FOM: intuitionistic and classical arithmetic
Torkel Franzen
- FOM: Franzen vs HA; polymorphic type theory
Stephen G Simpson
- FOM: HA/PA, categorical (pseudo) foundations
Colin McLarty
- FOM: mathematical usefulness
Randall Holmes
- FOM: Re: polymorphic type theory
Till Mossakowski
- FOM: HA/PA, categorical (pseudo) foundations
Vaughan Pratt
- FOM: P.S.
Till Mossakowski
- FOM: Franzen's remark and HA
Stephen G Simpson
- FOM: 3 forms over HA/effective topos
Harvey Friedman
- FOM: the PER model; unlimited comprehension; excessive generality
Stephen G Simpson
- FOM: universality/comprehension
Harvey Friedman
- FOM: Importance of (topos) "generality" for fom(?)
Robert Tragesser
- FOM: "generality" for fom(?)
Kanovei
- FOM: Probes rather than Foundations
Robert Tragesser
- FOM: "generality" for fom(?)
Robert Tragesser
- FOM: universality/comprehension
Vaughan Pratt
- FOM: A pro cat-fom argument
S Riis
- FOM: Set-theoretic hypotheses
Karlis Podnieks
- FOM: History of IZF and IHOL
Colin McLarty
- FOM: Re: categorical (pseudo) foundations
Colin McLarty
- FOM: A pro cat-fom argument
Vaughan Pratt
- FOM: Unlimited comprehension; Topos Theory; Map Theory; NaDSet
Till Mossakowski
- FOM: [cxm7@po.CWRU.Edu: Re: A pro cat-fom argument]
Colin Mclarty
- FOM: cat as f.o.m.?
Harvey Friedman
- FOM: Cartier and the revolution (was A pro cat-fom argument)
Olivier Gerard
- FOM: Friedman,fom,& Sheep's.Shop.
Robert Tragesser
- FOM: E. Noether on cat as f.o.m.?
Colin McLarty
- FOM: Friedman,fom,& Sheep's.Shop.
penelope maddy
- FOM: Maddy on method
Neil Tennant
- FOM: Re: Maddy on method
penelope maddy
- FOM: PenMaddy's set-reductionism,Re: Friedman,fom,& Sheep's.Shop.
Robert Tragesser
- FOM: Tragesser on fom and sheep
J P Mayberry
- FOM: More on Maddy on method
Neil Tennant
- FOM: Re: PenMaddy's set-reductionism,Re: Friedman,fom,& Sheep's.Shop.
penelope maddy
- FOM: Reductionism
J P Mayberry
- FOM: SET VooDoo Re:More on Maddy on method
Robert Tragesser
- FOM: Re: Tragesser on set-theoretic reduction
Neil Tennant
- FOM: SET VooDoo Re:More on Maddy on method
penelope maddy
- FOM: set-theoretic and other foundations
Neil Tennant
- FOM: Tennant on set-theoretic and other foundations
JOE SHIPMAN, BLOOMBERG/ NEW YORK
- FOM: Tennant on set-theoretic and other foundations
Martin Davis
- FOM: Comments on a paper by Hartry Field
Torkel Franzen
- FOM: elimination of analytic methods in number theory
Stephen G Simpson
- FOM: total repudiation of McLarty
Stephen G Simpson
- FOM: total repudiation of McLarty
Colin McLarty
- FOM: Maddy on method
Patrick Peccatte
- FOM: Eliminability of "Analytic" methods in number theory
JOE SHIPMAN, BLOOMBERG/ NEW YORK
- FOM: total repudiation of McLarty
Vaughan Pratt
- FOM: Comments on a paper by Hartry Field
Martin Schlottmann
- FOM: set/cat "foundations"
Harvey Friedman
- FOM: Boolos'Conjecture; Generation ZF+Xer foundations.
Robert Tragesser
- FOM: Comments on a paper by Hartry Field
Torkel Franzen
- FOM: set theoretic foundations
Harvey Friedman
- FOM: set/cat "foundations"
Harvey Friedman
- FOM: Franzen on "which undecidables have determinate truth value"
hartry field
- FOM: Montague's "Set Theory and Higher Order Logic"
Robert Tragesser
- FOM: Correction to Montague's "Set Theory and Higher Order Logic"
Robert Tragesser
- FOM: Re: Mitteilungen der DMV (fwd)
Reuben Hersh
- FOM: Tragesser on sets in physics
Vaughan Pratt
- FOM: iterative conception of set
Randall Holmes
- FOM: Re:set/cat foundations
Robert Tragesser
- FOM: intuitionistic mathematics and building bridges
Stephen G Simpson
- FOM: set/cat "foundations"
Colin Mclarty
- FOM: intuitionistic mathematics and building bridges
Vaughan Pratt
- FOM: set/cat "foundations"
Vaughan Pratt
- FOM: Franzen on "which undecidables have determinate truth value"
Torkel Franzen
- FOM: Franzen on "which undecidables have determinate truth value"
Charles Silver
- FOM: Pratt/Friedman on set/cat
Colin McLarty
- FOM: Elimination of analytic methods in number theory.
Solomon Feferman
- FOM: Franzen on "which undecidables have determinate truth value"
hartry field
- FOM: iterative conception of set
Neil Tennant
- FOM: Goldbach's Conjecture
Kanovei
- FOM: Books on categorical foundations: a baker's dozen
Vaughan Pratt
- FOM: intuitionistic mathematics and building bridges
Neil Tennant
- FOM: iterative conception of set
Randall Holmes
- FOM: the ZFC notion of set
Randall Holmes
- FOM: set/cat "foundations"
Till Mossakowski
- FOM: Books on categorical foundations: a baker's dozen
Todd Wilson
- FOM: Hersh's fingers
steel at math.berkeley.edu
- FOM: Re: Reuben Hersh: Mitteilungen der DMV (fwd)
Ching-Tsun Chou
- FOM: iterative conception of set
Charles Silver
- FOM: Goldbach's Conjecture
wtait at ix.netcom.com
- FOM: intuitionistic mathematics and building bridges
Neil Tennant
- FOM: Books on categorical foundations: a baker's dozen
Vaughan Pratt
- FOM: Hersh's fingers
Reuben Hersh
- FOM: iterative conception of set
wtait at ix.netcom.com
- FOM: Circular 2-CAT foundations
Till Mossakowski
- FOM: iterative conception of set: are sets natural for everything?
Vaughan Pratt
- FOM: Comment on Hersh
Moshe' Machover
- FOM: categorical dys-foundations
Stephen G Simpson
- FOM: Franzen on "which undecidables have determinate truth value"
Stephen G Simpson
- FOM: Re: Reuben Hersh: Mitteilungen der DMV (fwd)
Reuben Hersh
- FOM: Chou vs Hersh; intuitionism and building bridges; legal logic
Stephen G Simpson
- FOM: Re: Reuben Hersh: Mitteilungen der DMV (fwd)
Peter White
Last message date:
Sat Feb 28 22:26:51 EDT 1998
Archived on: Fri Mar 11 12:47:49 EDT 2005
This archive was generated by
Pipermail 0.09 (Mailman edition).