• Computable structures of rank omega (ck)(1)
    with J. F. Knight
    Journal of Mathematical Logic 10 (1): 31-43. 2010.
    For countable structure, "Scott rank" provides a measure of internal, model-theoretic complexity. For a computable structure, the Scott rank is at most [Formula: see text]. There are familiar examples of computable structures of various computable ranks, and there is an old example of rank [Formula: see text]. In the present paper, we show that there is a computable structure of Scott rank [Formula: see text]. We give two different constructions. The first starts with an arithmetical example due…Read more
  •  9
    Computable structures of rank
    with J. F. Knight
    Journal of Mathematical Logic 10 (1): 31-43. 2010.
    For countable structure, "Scott rank" provides a measure of internal, model-theoretic complexity. For a computable structure, the Scott rank is at most [Formula: see text]. There are familiar examples of computable structures of various computable ranks, and there is an old example of rank [Formula: see text]. In the present paper, we show that there is a computable structure of Scott rank [Formula: see text]. We give two different constructions. The first starts with an arithmetical example due…Read more
  •  1
    Is the Australian HREC system unsustainable?
    Monash Bioethics Review 21 (3). 2002.
    The Australian HREC system is now highly centralised and subject to national guidelines in an attempt to assure consistency of decision-making and of ethical standards. The penalty has been greatly increased paperwork and reporting requirements which many committees feel burdensome. In addition, many Committees may be under-resourced. However, I argue that though it is timely to reassess the current directions it is an exaggeration to claim that the system is in danger of collapse.
  • Robert Almeder
    Business Ethics 369. forthcoming.