May 2006 Archives by date
Starting: Mon May 1 07:25:00 EDT 2006
Ending: Wed May 31 14:17:08 EDT 2006
Messages: 117
- [FOM] Good gnus for Russell Scholars
Nimish Shah
- [FOM] A Foundational Path via Elementary PRA constructions.
Rex Butler
- [FOM] Fractional Iteration and Rates of Growth
Dmytro Taranovsky
- [FOM] Godel Centenary Meeting 1
Harvey Friedman
- [FOM] Fractional Iteration and Rates of Growth
joeshipman at aol.com
- [FOM] Fractional Iteration and Rates of Growth
joeshipman at aol.com
- [FOM] Good "gnus" for Russell scholars
Robert Smith
- [FOM] Fractional Iteration and Rates of Growth
ali enayat
- [FOM] Good "gnus" for Russell scholars
Thomas Forster
- [FOM] 280: Generating large cardinals/self embedding axioms
Harvey Friedman
- [FOM] Hierarchies of truth theories, part 1
Nik Weaver
- [FOM] LPAR 2006 (Phnom Penh, Cambodia), DEADLINE EXTENSION
Miki Hermann
- [FOM] MAP summer school. Call for participation.
Peter Schuster
- [FOM] Explanation/Continuum Hypothesis
Studtmann, Paul
- [FOM] rest in peace: re Harvey's message of April 16th.
Gabriel Stolzenberg
- [FOM] Arithmetic in ancestral logic
Peter Smith
- [FOM] Good gnus for Russell Scholars
hendrik at topoi.pooq.com
- [FOM] A Foundational Path via Elementary PRA constructions
Andreas Blass
- [FOM] Arithmetic in ancestral logic
Andreas Blass
- [FOM] A Foundational Path via Elementary PRA constructions
Rex Butler
- [FOM] what is predicativity?/again
Harvey Friedman
- [FOM] what is predicativity?
Nik Weaver
- [FOM] 281:Linear Self Embedding Axioms
Harvey Friedman
- [FOM] Godel Centenary Meeting 2
Harvey Friedman
- [FOM] what is predicativity?/yet again
Harvey Friedman
- [FOM] Hierarchies of truth theories, part 2
Nik Weaver
- [FOM] Weaver's "reply" to Friedman
Martin Davis
- [FOM] Explanation/Continuum Hypothesis
Alasdair Urquhart
- [FOM] Re: Fractional Iteration and Rates of Growth
Dmytro Taranovsky
- [FOM] Fractional Iteration and Rates of Growth
joeshipman at aol.com
- [FOM] Explanation/Continuum Hypothesis
Bill Taylor
- [FOM] 282:Adventures in Pi01 independence
Harvey Friedman
- [FOM] 283: A theory of indiscernibles
Harvey Friedman
- [FOM] [Esslli2006.dist] ESSLLI2005: Early registration deadline - May 14
Ernesto Pimentel
- [FOM] Explanation/Continuum Hypothesis
Alasdair Urquhart
- [FOM] Explanation/Continuum Hypothesis
Studtmann, Paul
- [FOM] Fulfilment of semilatice & third level always has (isomorphic copy) of first level(?)
Stanislav Barov
- [FOM] Explanation/Continuum Hypothesis
Roger Bishop Jones
- [FOM] 284: Godel's Second
Harvey Friedman
- [FOM] Fractional Iteration and Rates of Growth
Dmytro Taranovsky
- [FOM] Explanation/Continuum Hypothesis
Alasdair Urquhart
- [FOM] Fractional Iteration and Rates of Growth
joeshipman at aol.com
- [FOM] Godel's Second/comment
Harvey Friedman
- [FOM] Explanation/Continuum Hypothesis
Timothy Y. Chow
- [FOM] Fractional Iteration and Rates of Growth
Dmytro Taranovsky
- [FOM] Master in Pure and Applied Logic
Josep Maria Font
- [FOM] 285:Godel's Second/more
Harvey Friedman
- [FOM] CFP: International Workshop on Hybrid Logic 2006 (HyLo 2006)
Carlos Areces
- [FOM] answer : : Fractional Iteration and Rates of Growth
José Félix Costa
- [FOM] Algebraic closure of Q
Timothy Y. Chow
- [FOM] 286:Godel's Second/still more
Harvey Friedman
- [FOM] Algebraic closure of Q
Harvey Friedman
- [FOM] Hierarchies of truth theories/reply to Davis
Nik Weaver
- [FOM] Query for Roger Jones
Bill Taylor
- [FOM] An example of an axiomatizable second order theory that is complete but non-categorical?
Aatu Koskensilta
- [FOM] Algebraic closure of Q
Stephen G Simpson
- [FOM] Algebraic closure of Q
Timothy Y. Chow
- [FOM] Directions for Computability Theory Beyond the Pure Mathematical
John Case
- [FOM] Algebraic closure of Q
Harvey Friedman
- [FOM] Query for Roger Jones
Roger Bishop Jones
- [FOM] Algebraic closure of Q
Timothy Y. Chow
- [FOM] Second order theories and Categoricity
ali enayat
- [FOM] Second order theories and Categoricity
Harvey Friedman
- [FOM] Algebraic closure of Q
Robert M. Solovay
- [FOM] Directions for Computability Theory Beyond the Pure Mathematical
S. Spijkerman / F. Waaldijk
- [FOM] Algebraic closure of Q/difficulties
Harvey Friedman
- [FOM] An example of an axiomatizable second order theory that is complete but non-categorical?
Robert M. Solovay
- [FOM] Directions for Computability Theory Beyond the Pure Mathematical
Peter Gerdes
- [FOM] Algebraic closure of Q
Andreas Blass
- [FOM] An example of an axiomatizable second order theory that is complete but non-categorical?
Marcin Mostowski
- [FOM] On the Continuum Hypothesis, part 1
Dmytro Taranovsky
- [FOM] On the Continuum Hypothesis, part 2
Dmytro Taranovsky
- [FOM] Three Questions concerning PRA
Rex Butler
- [FOM] An example of an axiomatizable second order theory that is complete but non-categorical?
Aatu Koskensilta
- [FOM] On the Continuum Hypothesis, part 2
joeshipman at aol.com
- [FOM] Algebraic closure of Q
Thomas Forster
- [FOM] correction
Marcin Mostowski
- [FOM] Algebraic closure of Q
joeshipman at aol.com
- [FOM] An example of an axiomatizable second order theory that is complete but non-categorical?
Robert M. Solovay
- [FOM] Algebraic closure of Q
Timothy Y. Chow
- [FOM] Directions for Computability Theory Beyond the PureMathematical
S. Spijkerman / F. Waaldijk
- [FOM] Directions for Computability Theory Beyond the PureMathematical
Peter Gerdes
- [FOM] CAV'06 Satellite Event; 2nd International Satisfiability Modulo Theories Competition
Martin Davis
- [FOM] Directions for Computability Theory Beyond the PureMathematical
joeshipman at aol.com
- [FOM] 287:More Pi01 adventures
Harvey Friedman
- [FOM] extensions of PA that prove "false" statements
Xavier Noria
- [FOM] real number for predicative analysis
Andreas Weiermann
- [FOM] extensions of PA that prove "false" statements
praatika at mappi.helsinki.fi
- [FOM] FOM] Directions for Computability Theory Beyond the PureMathematical
Peter Gerdes
- [FOM] extensions of PA that prove "false" statements
Aatu Koskensilta
- [FOM] Ordinal notations
Bill Taylor
- [FOM] Ordinal notations]
doner at math.ucsb.edu
- [FOM] explicit variables
Thomas Forster
- [FOM] explicit variables
Jim Hardy
- [FOM] explicit variables
A. Mani
- [FOM] NSM2006: Last announcement
NSM2006 'Nonstandard Methods' Congress
- [FOM] typo in #287
Harvey Friedman
- [FOM] Conference on Logic, Computability and Randomness, Buenos Aires, January 10-13, 2007
Carlos Areces
- [FOM] MKM 2006: Call for Participation
Andrew A. Adams
- [FOM] FLoC'06 -- Call for Participation
Kreutzer + Schweikardt
- [FOM] explicit variables
Jim Hardy
- [FOM] Directions for Computability Theory Beyond the Pure Mathematical
Ryan Paul Nurmela
- [FOM] Quantum mechanics realm
José Félix Costa
- [FOM] Godel Centenary Meeting 3
Harvey Friedman
- [FOM] Quantun mechanics realm
laureano luna
- [FOM] Godel Centenary Meeting 3
praatika at mappi.helsinki.fi
- [FOM] Quantum mechanics solved(?)
Harvey Friedman
- [FOM] explicit variables
Arnon Avron
- [FOM] Quantun mechanics realm
scerir
- [FOM] HyLo 2006: Extended Deadline
Carlos Areces
- [FOM] The Provenance of Pure Reason (II)
Gabriel Stolzenberg
- [FOM] Quantum mechanics
Timothy Y. Chow
- [FOM] explicit variables
Thomas Forster
- [FOM] ESSLLI 2007 - Second Call for Course and Workshop Proposals
Carlos Areces
- [FOM] Goedel, computers in mathematics, etc.
Jeremy Avigad
- [FOM] The Provenance of Pure Reason (II)
Charles Silver
- [FOM] Quantun mechanics realm
Paul Oppenheimer
Last message date:
Wed May 31 14:17:08 EDT 2006
Archived on: Thu Jun 1 13:54:10 EDT 2006
This archive was generated by
Pipermail 0.09 (Mailman edition).