May 2006 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Mon May 1 07:25:00 EDT 2006
Ending: Wed May 31 14:17:08 EDT 2006
Messages: 117

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

Last message date: Wed May 31 14:17:08 EDT 2006
Archived on: Thu Jun 1 13:54:10 EDT 2006

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...