science.mathematics.fom (thread)

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