science.mathematics.fom (thread)

LPAR-12 in Jamaica, geoff-RUaG/XBVoqD2fBVCVOL8/A
PhD position in formal mathematics at RU Nijmegen, Freek Wiedijk
Seventeenth Annual Alfred Tarski Lectures, J. W. Addison
ESSLLI 2005 - Registration now Open!, Carlos Areces
Dependent Choice and Ultrafilters, D.R. MacIver
NFU book by Holmes now available online, Randall Holmes
CSL'05 Final Call for Papers, Andrzej Murawski
moderator away, Martin Davis
Extending Higher Order Set Theory, Dmytro Taranovsky
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
ESSLLI 2005 registration Now open, Fairouz Kamareddine
Second CfP: MKM 2005 (extended deadline: May 15), Michael Kohlhase
School of Logic in Montreux, Switzerland, COSTA LEITE Alexandre
Question on Second Order Foundations, Dmytro Taranovsky
- Message not available
  - Re: Question on Second Order Foundations, Dmytro Taranovsky
Full reflection does not imply inaccessibility, Ali Enayat
On full reflection at an inaccessible, Ali Enayat
ZFC and Recursive Inseparability, Ali Enayat
Re: Higher Order Set Theory [Ackermann Set Theory], JoeShipman-YDxpq3io04c
- Message not available
  - Re: Higher Order Set Theory [Ackermann Set Theory], Nate Ackerman
    - Antwort: Re: Higher Order Set Theory [Ackermann Set Theory], Klaus-Georg Deck
    - Re: Higher Order Set Theory [Ackermann Set Theory], Robert M. Solovay
- Re: Higher Order Set Theory [Ackermann Set Theory], Dmytro Taranovsky
  - Message not available
    - Re: Higher Order Set Theory [Ackermann Set Theory], Robert M. Solovay
    - Re: Higher Order Set Theory [Ackermann Set Theory], Robert M. Solovay
uncountability of the continuum, Randall Holmes
Class Abstractions are a Natural Way for Representation of Mathematical Theories, Victor Makarov
Is Gelfond-Schneider constructive?, Andrew Aberdein
- Message not available
  - Re: Is Gelfond-Schneider constructive?, Alasdair Urquhart
Axiomatizing Higher Order Set Theory, Dmytro Taranovsky
The uncountability of continuum. 1., Alexander Zenkin
- Message not available
  - Re: The uncountability of continuum. 1., Hendrik Boom
    - Message not available
    - Re: The uncountability of continuum. 1., William Tait
Constructive solutions to the order type puzzle, Ali Enayat
Higher Order Set Theory, Dmytro Taranovsky
- Message not available
  - Re: Higher Order Set Theory, Roger Bishop Jones
    - Message not available
    - Re: Higher Order Set Theory, Aatu Koskensilta
    - Message not available
    - Re: Higher Order Set Theory, Roger Bishop Jones
    - Message not available
    - Re: Higher Order Set Theory, Dmytro Taranovsky
    - Message not available
    - Re: Higher Order Set Theory [Ackermann Set Theory], Nate Ackerman
    - Message not available
    - Re: Higher Order Set Theory, Santiago Bazerque
Re: order types a proof, Dave Marker
Order types: a proof, JoeShipman-YDxpq3io04c
- Message not available
  - Re: Order types: a proof, Moses Klein
- Message not available
  - Re: Order types: a proof, Jeremy Clark
    - Message not available
    - Re: Order types: a proof, Hendrik Boom
    - Message not available
    - Re: Order types: a proof, Jeremy Clark
- Message not available
  - Re: Order types: a proof (correction), Jeremy Clark
joe shipman's question on ordertypes, Dave Marker
Correction to problem on order types, JoeShipman-YDxpq3io04c
- Message not available
  - Re: Correction to problem on order types, Robert M. Solovay
    - Re: Correction to problem on order types, Jeremy Clark
On the Strengths of Inaccessible and Mahlo Cardinals, Dmytro Taranovsky
apology from the moderator, Martin Davis
Problem on order types, JoeShipman-YDxpq3io04c
- Message not available
  - Re: Problem on order types, Jeremy Clark
- Re: Problem on order types, JoeShipman-YDxpq3io04c
Beth Dissertation Price - Last Call for Submissions, Carlos Areces
Реклама: ВИЗЫ В РОССИЮ И РЕГИСТРАЦИЯ!!! ПОМОЩЬ НА ТАМОЖНЕ!!!, Рекламное предложение
Re: Complexity of notions/intermediate degrees, Timothy Y. Chow
- Re: Complexity of notions/intermediate degrees, JoeShipman-YDxpq3io04c
  - Message not available
    - Re: Complexity of notions/intermediate degrees, Timothy Y. Chow
    - Message not available
    - Hahn Banach and the Baire Property, D.R. MacIver
    - Message not available
    - Re: Hahn Banach and the Baire Property, D.R. MacIver
[Mlnet] WG: [ILP05] MLJ special issue on ILP (2nd Reminder), Ina Lauth
Axiomatization through Reflection Principles, Dmytro Taranovsky
Extending Set Theory with Indiscernibles, Ali Enayat
ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS II (Second announcement), mathlog-NRHzN2PWvKY@xxxxxxxxxxxxxxxx
Re: Extending the Language of Set Theory, Aatu Koskensilta
- Message not available
  - Re: Extending the Language of Set Theory - addendum, Aatu Koskensilta
Union Closed Sets Conjecture - Related Claim, Robert Michael Zimmerman