science.mathematics.fom (date)

science.mathematics.fom (date)

March 31, 2005

LPAR-12 in Jamaica, geoff-RUaG/XBVoqD2fBVCVOL8/A

March 30, 2005

PhD position in formal mathematics at RU Nijmegen, Freek Wiedijk
Seventeenth Annual Alfred Tarski Lectures, J. W. Addison

March 28, 2005

ESSLLI 2005 - Registration now Open!, Carlos Areces

March 22, 2005

Dependent Choice and Ultrafilters, D.R. MacIver

March 21, 2005

NFU book by Holmes now available online, Randall Holmes
CSL'05 Final Call for Papers, Andrzej Murawski

March 20, 2005

moderator away, Martin Davis
Extending Higher Order Set Theory, Dmytro Taranovsky

March 18, 2005

Small types workshop: Constructive analysis, types and exact real numbers., Vladik Kreinovich
Preprint announcement re Ed Nelson's work, Sam Buss
FG-MOL 2005: Final Call for Papers, Shuly Wintner

March 17, 2005

ESSLLI 2005 registration Now open, Fairouz Kamareddine
Re: Question on Second Order Foundations, Dmytro Taranovsky

March 15, 2005

Second CfP: MKM 2005 (extended deadline: May 15), Michael Kohlhase

March 14, 2005

School of Logic in Montreux, Switzerland, COSTA LEITE Alexandre
Question on Second Order Foundations, Dmytro Taranovsky

March 13, 2005

Re: Higher Order Set Theory [Ackermann Set Theory], Robert M. Solovay
Re: Higher Order Set Theory [Ackermann Set Theory], Robert M. Solovay

March 12, 2005

Re: Higher Order Set Theory [Ackermann Set Theory], Dmytro Taranovsky
Re: Higher Order Set Theory [Ackermann Set Theory], Robert M. Solovay
Full reflection does not imply inaccessibility, Ali Enayat
On full reflection at an inaccessible, Ali Enayat
ZFC and Recursive Inseparability, Ali Enayat
Antwort: Re: Higher Order Set Theory [Ackermann Set Theory], Klaus-Georg Deck

March 11, 2005

Re: Higher Order Set Theory [Ackermann Set Theory], Nate Ackerman
Re: Higher Order Set Theory [Ackermann Set Theory], JoeShipman-YDxpq3io04c

March 10, 2005

Re: Higher Order Set Theory, Santiago Bazerque
Re: Higher Order Set Theory, Roger Bishop Jones
Re: Higher Order Set Theory [Ackermann Set Theory], Nate Ackerman
Re: Order types: a proof, Jeremy Clark
Re: Higher Order Set Theory, Dmytro Taranovsky

March 09, 2005

Re: The uncountability of continuum. 1., William Tait
uncountability of the continuum, Randall Holmes
Re: Order types: a proof, Hendrik Boom
Class Abstractions are a Natural Way for Representation of Mathematical Theories, Victor Makarov
Re: Is Gelfond-Schneider constructive?, Alasdair Urquhart
Re: Higher Order Set Theory, Aatu Koskensilta
Re: The uncountability of continuum. 1., Hendrik Boom
Is Gelfond-Schneider constructive?, Andrew Aberdein
Re: Higher Order Set Theory, Roger Bishop Jones
Axiomatizing Higher Order Set Theory, Dmytro Taranovsky

March 08, 2005

The uncountability of continuum. 1., Alexander Zenkin

March 07, 2005

Constructive solutions to the order type puzzle, Ali Enayat
Higher Order Set Theory, Dmytro Taranovsky
Re: Order types: a proof (correction), Jeremy Clark
Re: order types a proof, Dave Marker
Re: Order types: a proof, Jeremy Clark
Re: Order types: a proof, Moses Klein
Order types: a proof, JoeShipman-YDxpq3io04c
joe shipman's question on ordertypes, Dave Marker
Re: Correction to problem on order types, Jeremy Clark

March 06, 2005

Re: Correction to problem on order types, Robert M. Solovay
Correction to problem on order types, JoeShipman-YDxpq3io04c

March 05, 2005

Re: Problem on order types, JoeShipman-YDxpq3io04c
Re: Problem on order types, Jeremy Clark
Re: Hahn Banach and the Baire Property, D.R. MacIver
On the Strengths of Inaccessible and Mahlo Cardinals, Dmytro Taranovsky
apology from the moderator, Martin Davis
Problem on order types, JoeShipman-YDxpq3io04c
Beth Dissertation Price - Last Call for Submissions, Carlos Areces
Hahn Banach and the Baire Property, D.R. MacIver

March 04, 2005

Реклама: ВИЗЫ В РОССИЮ И РЕГИСТРАЦИЯ!!! ПОМОЩЬ НА ТАМОЖНЕ!!!, Рекламное предложение
Re: Complexity of notions/intermediate degrees, Timothy Y. Chow
Re: Complexity of notions/intermediate degrees, JoeShipman-YDxpq3io04c

March 03, 2005

Re: Complexity of notions/intermediate degrees, Timothy Y. Chow
[Mlnet] WG: [ILP05] MLJ special issue on ILP (2nd Reminder), Ina Lauth
Axiomatization through Reflection Principles, Dmytro Taranovsky

March 02, 2005

Extending Set Theory with Indiscernibles, Ali Enayat
Re: Extending the Language of Set Theory - addendum, Aatu Koskensilta

March 01, 2005

ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS II (Second announcement), mathlog-NRHzN2PWvKY@xxxxxxxxxxxxxxxx
Re: Extending the Language of Set Theory, Aatu Koskensilta
Union Closed Sets Conjecture - Related Claim, Robert Michael Zimmerman

News | FAQ | advertise