science.mathematics.fom (thread)

WoLLIC'2007 - Second Call for Papers, Ruy de Queiroz
LFCS'07 = Nerode 75, Kreinovich, Vladik
Logica Universalis: new journal of logic being launched by Birkhäuser, BEZIAU Jean-Yves
Arché Abstraction Workshop XI, St Andrews, Marcus Rossberg
2nd World Congress and School on Universal Logic - Call for papers, nico
Question on ultraproducts, Artyom Chernikov
conference call for papers, Klaus Weihrauch
Conference Announcement: in commemoration of Rohit Parikh's 70th birthday, Joel David Hamkins
What's so hard about addition?, by way of Martin Davis <martin-Q1ZVUissX3MAvxtiuMwx3w@xxxxxxxxxxxxxxxx>
Teaching with original historical sources, Guram Bezhanishvili
TAMC 2007, S B Cooper
Hard problems in the theory of addition, joeshipman-YDxpq3io04c
9 research assistant positions available, Till Mossakowski
book announcement: Brouwer meets Husserl, mark van atten
New Journal, Martin Davis
Connections Seminar, Harvey Friedman
SYMPOSIUM ON LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS'07), Sergei Artemov
book announcement, Kreinovich, Vladik
Re: Concerning Ultraformalism-to Slater&Ozkural, Mirco Mannucci
- Re: Concerning Ultraformalism-to Slater&Ozkural, Timothy Y. Chow
- Concerning Ultraformalism-to Slater&Ozkural, Hartley Slater
- Concerning Ultraformalism-to Slater&Ozkural, Hartley Slater
Call for papers: Logic and Information - From Logic to, Kreinovich, Vladik
Question, Rupert McCallum
Re: Zahidi's question on consistency, Curtis Franks
Concerning Ultraformalism, Hartley Slater
Re: First-order arithmetical truth, Timothy Y. Chow
Consistency, zahidi-jWBY/M41MtVBtd510xpiSUZa+K1vlBrA
- Message not available
  - Re: Consistency, Andrew Boucher
    - Message not available
    - Re: Consistency, zahidi-jWBY/M41MtVBtd510xpiSUZa+K1vlBrA
FOM: BUFFALO LOGIC COLLOQUIUM 4TH FALL ANNOUNCEMENT, John Corcoran
Nelson's ultraformalism --to Slater, Mirco Mannucci
- Re: Nelson's ultraformalism --to Slater, Eray Ozkural
- Nelson's ultraformalism --to Slater, Hartley Slater
Borges and Mathematics, Joao Marcos
304: PA Completeness/strategy, Harvey Friedman
Re: Feasible consistency--Truth Transfer Policy, V . Sazonov-5fL7ta8dD402EctHIo1CcQ
PA Completeness/more, Harvey Friedman
PA Completeness/progress, Harvey Friedman
Re: Concerning Ultrafinitism, Mirco Mannucci
- Re: Concerning Ultrafinitism, Thomas Forster
- Concerning Ultrafinitism, Hartley Slater
formalism, Rupert McCallum
- Message not available
  - Re: formalism, V . Sazonov-5fL7ta8dD402EctHIo1CcQ
    - Message not available
    - Re: formalism, Rupert McCallum
    - Message not available
    - Re: formalism, V . Sazonov-5fL7ta8dD402EctHIo1CcQ
Concerning Ancestral Logic, Bill Taylor
- Message not available
  - Re: Concerning Ancestral Logic, Richard Heck
- Message not available
  - Re: Concerning Ancestral Logic (CORRECTION), Richard Heck
- Message not available
  - Re: Concerning Ancestral Logic, Arnon Avron
Yessenin-Volpin, Gabriel Stolzenberg
- Message not available
  - Re: Yessenin-Volpin, Rupert McCallum
    - Message not available
    - Reply to Rupert MCallum on Voplin and consistency, Gabriel Stolzenberg
    - Re: Yessenin-Volpin, jean paul van bendegem
Re: 303: PA Completeness (restatement), Arnon Avron
- 303: PA Completeness (restatement), Pietro Kreitlon Carolino
  - Message not available
    - Re: 303: PA Completeness (restatement), Andrej Bauer
Fwd: 303: PA Completeness (restatement) (Andrej Bauer), Dana Scott
Is there a "naturally occurring" theorem provable in EFA but not in predicative arithmetic?, Rupert McCallum
- Message not available
  - Re: Is there a "naturally occurring" theorem provable in EFA but not in predicative arithmetic?, Harvey Friedman
On "ruling out" non-standard models of first order arithmetic, Aatu Koskensilta
- Message not available
  - Re: On "ruling out" non-standard models of first order arithmetic, Neil Tennant
Concerning Ultrafinitism., Bill Taylor
- Message not available
  - Re: Concerning Ultrafinitism., Rupert McCallum
- Message not available
  - Re: Concerning Ultrafinitism., Eray Ozkural
    - Message not available
    - Re: Concerning Ultrafinitism., Robbie Lindauer
    - Message not available
    - Re: Concerning Ultrafinitism., Rupert McCallum
- Message not available
  - Re: Concerning Ultrafinitism., V . Sazonov-5fL7ta8dD402EctHIo1CcQ
- Re: Concerning Ultrafinitism., Timothy Y. Chow
- Re: Concerning Ultrafinitism., Bill Taylor