March 2005 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Tue Mar 1 02:34:56 EDT 2005
Ending: Thu Mar 31 08:26:26 EDT 2005
Messages: 72

• [FOM] Extending the Language of Set Theory   Aatu Koskensilta
  • [FOM] Extending the Language of Set Theory - addendum   Aatu Koskensilta
• [FOM] ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS II (Second announcement)   mathlog at ub.edu
• [FOM] Extending Set Theory with Indiscernibles   Ali Enayat
• [FOM] Axiomatization through Reflection Principles   Dmytro Taranovsky
• [FOM] [Mlnet] WG: [ILP05] MLJ special issue on ILP (2nd Reminder)   Ina Lauth
• [FOM] Complexity of notions/intermediate degrees   Timothy Y. Chow
• [FOM] Complexity of notions/intermediate degrees   JoeShipman at aol.com
  • [FOM] Complexity of notions/intermediate degrees   Timothy Y. Chow
    • [FOM] Hahn Banach and the Baire Property   D.R. MacIver
      • [FOM] Hahn Banach and the Baire Property   D.R. MacIver
• [FOM] Beth Dissertation Price - Last Call for Submissions   Carlos Areces
• [FOM] Problem on order types   JoeShipman at aol.com
  • [FOM] Problem on order types   Jeremy Clark
• [FOM] On the Strengths of Inaccessible and Mahlo Cardinals   Dmytro Taranovsky
• [FOM] apology from the moderator   Martin Davis
• [FOM] Problem on order types   JoeShipman at aol.com
• [FOM] Correction to problem on order types   JoeShipman at aol.com
  • [FOM] Correction to problem on order types   Robert M. Solovay
    • [FOM] Correction to problem on order types   Jeremy Clark
• [FOM] joe shipman's question on ordertypes   Dave Marker
• [FOM] Order types: a proof   JoeShipman at aol.com
  • [FOM] Order types: a proof   Moses Klein
  • [FOM] Order types: a proof   Jeremy Clark
    • [FOM] Order types: a proof   Hendrik Boom
      • [FOM] Order types: a proof   Jeremy Clark
  • [FOM] Order types: a proof (correction)   Jeremy Clark
• [FOM] order types a proof   Dave Marker
• [FOM] Higher Order Set Theory   Dmytro Taranovsky
  • [FOM] Higher Order Set Theory   Roger Bishop Jones
    • [FOM] Higher Order Set Theory   Aatu Koskensilta
      • [FOM] Higher Order Set Theory   Roger Bishop Jones
    • [FOM] Higher Order Set Theory   Dmytro Taranovsky
      • [FOM] Higher Order Set Theory [Ackermann Set Theory]   Nate Ackerman
      • [FOM] Higher Order Set Theory   Santiago Bazerque
• [FOM] Constructive solutions to the order type puzzle   Ali Enayat
• [FOM] The uncountability of continuum. 1.   Alexander Zenkin
  • [FOM] The uncountability of continuum. 1.   Hendrik Boom
    • [FOM] The uncountability of continuum. 1.   William Tait
• [FOM] Axiomatizing Higher Order Set Theory   Dmytro Taranovsky
• [FOM] Is Gelfond-Schneider constructive?   Andrew Aberdein
  • [FOM] Is Gelfond-Schneider constructive?   Alasdair Urquhart
• [FOM] Class Abstractions are a Natural Way for Representation of Mathematical Theories   Victor Makarov
• [FOM] uncountability of the continuum   Randall Holmes
• [FOM] Higher Order Set Theory [Ackermann Set Theory]   JoeShipman at aol.com
  • [FOM] Higher Order Set Theory [Ackermann Set Theory]   Nate Ackerman
    • [FOM] Antwort: Re: Higher Order Set Theory [Ackermann Set Theory]   Klaus-Georg Deck
    • [FOM] Higher Order Set Theory [Ackermann Set Theory]   Robert M. Solovay
• FOM: CICLing-2003 -- Computational Linguistics, Mexico, February, Springer LNCS   Alexander Gelbukh
• [FOM] ZFC and Recursive Inseparability   Ali Enayat
• [FOM] On full reflection at an inaccessible   Ali Enayat
• [FOM] Full reflection does not imply inaccessibility   Ali Enayat
• [FOM] Higher Order Set Theory [Ackermann Set Theory]   Dmytro Taranovsky
  • [FOM] Higher Order Set Theory [Ackermann Set Theory]   Robert M. Solovay
    • [FOM] Higher Order Set Theory [Ackermann Set Theory]   Robert M. Solovay
• [FOM] Question on Second Order Foundations   Dmytro Taranovsky
  • [FOM] Question on Second Order Foundations   Dmytro Taranovsky
• [FOM] School of Logic in Montreux, Switzerland   COSTA LEITE Alexandre
• [FOM] Second CfP: MKM 2005 (extended deadline: May 15)   Michael Kohlhase
• [FOM] ESSLLI 2005 registration Now open   Fairouz Kamareddine
• [FOM] FG-MOL 2005: Final Call for Papers   Shuly Wintner
• [FOM] Preprint announcement re Ed Nelson's work   Sam Buss
• [FOM] Small types workshop: Constructive analysis, types and exact real numbers.   Vladik Kreinovich
• [FOM] Extending Higher Order Set Theory   Dmytro Taranovsky
• [FOM] moderator away   Martin Davis
• [FOM] CSL'05 Final Call for Papers   Andrzej Murawski
• [FOM] NFU book by Holmes now available online   Randall Holmes
• [FOM] Dependent Choice and Ultrafilters   D.R. MacIver
• [FOM] ESSLLI 2005 - Registration now Open!   Carlos Areces
• [FOM] Seventeenth Annual Alfred Tarski Lectures   J. W. Addison
• [FOM] PhD position in formal mathematics at RU Nijmegen   Freek Wiedijk
• [FOM] LPAR-12 in Jamaica   geoff at cs.miami.edu

Last message date: Thu Mar 31 08:26:26 EDT 2005
Archived on: Thu Mar 31 12:48:35 EDT 2005

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...