Computability Theory List Server

As of June 15, 2006, we are not posting emails for ANY third party. To post one must be a subscriber to the list. If you are having problems first confirm yourself as subscriber (directions are below) and if that does not work please remove yourself from the list and resubscribe. Directions on how to do this can be found by following the links below.

To use the list just send email to, the list server will take care of the rest. You must be a member of the list to send mail to the list. Anyone is free to join the list. Use the list just as you would a normal email address expect for the fact that everyone subscribed to the list will receive a copy of your email. It may take some time before your message reaches everyone on the list. You may use the list as you see fit.

Although it would be best if it were used for short announcements of interest to all computability theorists.

A WORD OF CAUTION: Large files cause problems for many mailers.

Using the list server

The list server at University of Hawaii maintains the mailing list. It can do many things. For example, it can be used to subscribe, unsubscribe, or look at the archive for the list. These and others tasks are completed by issuing commands to the list server. The easiest way to do this is do use the WWW interface at

Note only COMP-THY subscribers may access the list archives. When you attempt to access the archives, you will be asked for your email address and a password. If you already have a password for, use that password to access the COMP-THY list. If you do not have a password for, go to to sign up.

3 thoughts on “Computability Theory List Server”

  1. Meeting announcment:

    Logic workshop in Nanjing
    Nanjing, 11 -30 May, 2020

    Description: The 3-week long workshop is intended to bring mathematical logicians together to work intensively. This is nothing like a conference. Talks will be arranged occasionally each week during the workshop. The participants are expected to have some specific topics to work together about one or two weeks. We have limited funds to fully cover accommodations of selected participants. Other people who can get support from other sources are also welcome. This year the topics will be focused on applied model theory, interactions between set theory and recursion theory. If you are interested in participating, please let me know.

    Liang Yu

  2. The subject of gambling has indeed become one of the
    most throbbing topics of conversation in Indonesia.
    Not only true problems, in Indonesia gambling is underestimated from various aspects ranging from culture,
    religion, social, even people who exploit gambling always have a negative connotation regardless of whether the person is thriving or not in this industry.

    In contrast to developed countries that are more contact to the encroachment
    of the gambling industry. There, professional gambling players are considered celebrities, are famous and are covered
    in television shows. Hailed and inspired to many who saw it,
    what a sight that is categorically lame
    in comparison.

    It is undeniable, later viewed from an want tapering off of view, gambling games both offline and online have evolved
    into a concern bother that utility many parties. Not by
    yourself the organizers but furthermore those who play-act it and some of
    the parties on it such as people who undertaking in the arena of opinion technology and
    organization who get the tax.

    Like any extra concern in the world, gambling comes subsequently
    its own risks and rewards. No one can in fact run away losses or continue to make profits in his business, there are always unavoidable losses and profits will continue to be pursued.
    What we can get for situation is to find the best strategy to minimize losses and mass profits at any time.

Leave a Reply

Your email address will not be published.

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>