science.mathematics.fom (date)

May 31, 2006

ESSLLI 2007 - Second Call for Course and Workshop Proposals, Carlos Areces
Re: Quantun mechanics realm, Paul Oppenheimer
Goedel, computers in mathematics, etc., Jeremy Avigad
Re: explicit variables, Thomas Forster

May 30, 2006

The Provenance of Pure Reason (II), Gabriel Stolzenberg

May 29, 2006

HyLo 2006: Extended Deadline, Carlos Areces
Quantum mechanics, Timothy Y. Chow
Re: Quantun mechanics realm, scerir
Re: explicit variables, Arnon Avron
Quantum mechanics solved(?), Harvey Friedman

May 28, 2006

Re: Godel Centenary Meeting 3, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
Re: Quantun mechanics realm, laureano luna

May 27, 2006

Godel Centenary Meeting 3, Harvey Friedman

May 26, 2006

Quantum mechanics realm, José Félix Costa

May 25, 2006

Re: Directions for Computability Theory Beyond the Pure Mathematical, Ryan Paul Nurmela

May 24, 2006

Re: explicit variables, Jim Hardy

May 23, 2006

FLoC'06 -- Call for Participation, Kreutzer + Schweikardt
MKM 2006: Call for Participation, Andrew A. Adams
Conference on Logic, Computability and Randomness, Buenos Aires, January 10-13, 2007, Carlos Areces
typo in #287, Harvey Friedman
NSM2006: Last announcement, NSM2006 'Nonstandard Methods' Congress

May 22, 2006

Re: explicit variables, A. Mani

May 21, 2006

Re: explicit variables, Jim Hardy

May 20, 2006

explicit variables, Thomas Forster
Re: Ordinal notations], doner-Sk/T634qmmLauI2f2gSDlQ

May 19, 2006

Ordinal notations, Bill Taylor
Re: extensions of PA that prove "false" statements, Aatu Koskensilta
Re: FOM] Directions for Computability Theory Beyond the PureMathematical, Peter Gerdes
Re: extensions of PA that prove "false" statements, praatika-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
real number for predicative analysis, Andreas Weiermann

May 18, 2006

287:More Pi01 adventures, Harvey Friedman
extensions of PA that prove "false" statements, Xavier Noria
Re: Directions for Computability Theory Beyond the PureMathematical, joeshipman-YDxpq3io04c

May 17, 2006

CAV'06 Satellite Event; 2nd International Satisfiability Modulo Theories Competition, Martin Davis
Re: Directions for Computability Theory Beyond the PureMathematical, Peter Gerdes
Re: Directions for Computability Theory Beyond the PureMathematical, S. Spijkerman / F. Waaldijk
Re: Algebraic closure of Q, Timothy Y. Chow
Re: An example of an axiomatizable second order theory that is complete but non-categorical?, Robert M. Solovay

May 16, 2006

Algebraic closure of Q, joeshipman-YDxpq3io04c
correction, Marcin Mostowski
Re: Algebraic closure of Q, Thomas Forster
Re: On the Continuum Hypothesis, part 2, joeshipman-YDxpq3io04c
Re: An example of an axiomatizable second order theory that is complete but non-categorical?, Aatu Koskensilta
On the Continuum Hypothesis, part 2, Dmytro Taranovsky
On the Continuum Hypothesis, part 1, Dmytro Taranovsky
Three Questions concerning PRA, Rex Butler
Re: An example of an axiomatizable second order theory that is complete but non-categorical?, Marcin Mostowski

May 15, 2006

Algebraic closure of Q, Andreas Blass
Re: Directions for Computability Theory Beyond the Pure Mathematical, Peter Gerdes
Re: An example of an axiomatizable second order theory that is complete but non-categorical?, Robert M. Solovay

May 14, 2006

Re: Directions for Computability Theory Beyond the Pure Mathematical, S. Spijkerman / F. Waaldijk
Algebraic closure of Q/difficulties, Harvey Friedman
Re: Algebraic closure of Q, Robert M. Solovay
Re: Second order theories and Categoricity, Harvey Friedman

May 13, 2006

Second order theories and Categoricity, ali enayat
Re: Algebraic closure of Q, Timothy Y. Chow
Re: Query for Roger Jones, Roger Bishop Jones
Re: Algebraic closure of Q, Harvey Friedman
Directions for Computability Theory Beyond the Pure Mathematical, John Case

May 12, 2006

Re: Algebraic closure of Q, Timothy Y. Chow
Algebraic closure of Q, Stephen G Simpson
An example of an axiomatizable second order theory that is complete but non-categorical?, Aatu Koskensilta
Query for Roger Jones, Bill Taylor
Hierarchies of truth theories/reply to Davis, Nik Weaver
Re: Algebraic closure of Q, Harvey Friedman

May 11, 2006

CFP: International Workshop on Hybrid Logic 2006 (HyLo 2006), Carlos Areces
286:Godel's Second/still more, Harvey Friedman
Algebraic closure of Q, Timothy Y. Chow
answer : : Fractional Iteration and Rates of Growth, José Félix Costa

May 10, 2006

285:Godel's Second/more, Harvey Friedman
Master in Pure and Applied Logic, Josep Maria Font
Re: Fractional Iteration and Rates of Growth, Dmytro Taranovsky

May 09, 2006

Godel's Second/comment, Harvey Friedman
Re: Explanation/Continuum Hypothesis, Timothy Y. Chow
284: Godel's Second, Harvey Friedman
Re: Fractional Iteration and Rates of Growth, joeshipman-YDxpq3io04c
Re: Explanation/Continuum Hypothesis, Alasdair Urquhart
Re: Fractional Iteration and Rates of Growth, Dmytro Taranovsky
Re: Explanation/Continuum Hypothesis, Roger Bishop Jones
Fulfilment of semilatice & third level always has (isomorphic copy) of first level(?), Stanislav Barov

May 08, 2006

Re: Explanation/Continuum Hypothesis, Studtmann, Paul
Re: Explanation/Continuum Hypothesis, Alasdair Urquhart
[Esslli2006.dist] ESSLLI2005: Early registration deadline - May 14, Ernesto Pimentel
282:Adventures in Pi01 independence, Harvey Friedman
283: A theory of indiscernibles, Harvey Friedman
Re: Explanation/Continuum Hypothesis, Bill Taylor
Re: Fractional Iteration and Rates of Growth, joeshipman-YDxpq3io04c

May 07, 2006

Re: Fractional Iteration and Rates of Growth, Dmytro Taranovsky

May 06, 2006

Re: Explanation/Continuum Hypothesis, Alasdair Urquhart
Hierarchies of truth theories, part 2, Nik Weaver
Weaver's "reply" to Friedman, Martin Davis
what is predicativity?/yet again, Harvey Friedman

May 05, 2006

Godel Centenary Meeting 2, Harvey Friedman
281:Linear Self Embedding Axioms, Harvey Friedman
what is predicativity?, Nik Weaver

May 04, 2006

what is predicativity?/again, Harvey Friedman
Re: A Foundational Path via Elementary PRA constructions, Rex Butler
Hierarchies of truth theories, part 1, Nik Weaver
Arithmetic in ancestral logic, Andreas Blass
A Foundational Path via Elementary PRA constructions, Andreas Blass
Re: Good gnus for Russell Scholars, hendrik-e9JHxFxFq/nmOAo1QFYKGQ
Arithmetic in ancestral logic, Peter Smith
rest in peace: re Harvey's message of April 16th., Gabriel Stolzenberg

May 03, 2006

Explanation/Continuum Hypothesis, Studtmann, Paul
MAP summer school. Call for participation., Peter Schuster
LPAR 2006 (Phnom Penh, Cambodia), DEADLINE EXTENSION, Miki Hermann

May 02, 2006

280: Generating large cardinals/self embedding axioms, Harvey Friedman
Re: Good "gnus" for Russell scholars, Thomas Forster
A Foundational Path via Elementary PRA constructions., Rex Butler
Re: Fractional Iteration and Rates of Growth, ali enayat
Re: Good "gnus" for Russell scholars, Robert Smith
Re: Fractional Iteration and Rates of Growth, joeshipman-YDxpq3io04c
Re: Fractional Iteration and Rates of Growth, joeshipman-YDxpq3io04c

May 01, 2006

Godel Centenary Meeting 1, Harvey Friedman
Fractional Iteration and Rates of Growth, Dmytro Taranovsky
Re: Good gnus for Russell Scholars, Nimish Shah