GLORIA

GEOMAR Library Ocean Research Information Access

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • 1985-1989  (4)
  • PHILOS  (4)
  • 1
    Online Resource
    Online Resource
    Oxford University Press (OUP) ; 1987
    In:  The Philosophical Quarterly Vol. 37, No. 149 ( 1987-10), p. 451-
    In: The Philosophical Quarterly, Oxford University Press (OUP), Vol. 37, No. 149 ( 1987-10), p. 451-
    Type of Medium: Online Resource
    ISSN: 0031-8094
    Language: Unknown
    Publisher: Oxford University Press (OUP)
    Publication Date: 1987
    detail.hit.zdb_id: 1481290-3
    SSG: 5,1
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 2
    Online Resource
    Online Resource
    Cambridge University Press (CUP) ; 1989
    In:  Journal of Symbolic Logic Vol. 54, No. 3 ( 1989-09), p. 779-794
    In: Journal of Symbolic Logic, Cambridge University Press (CUP), Vol. 54, No. 3 ( 1989-09), p. 779-794
    Abstract: Kirby and Paris have exhibited combinatorial algorithms whose computations always terminate, but for which termination is not provable in elementary arithmetic. However, termination of these computations can be proved by adding an axiom first introduced by Goodstein in 1944. Our purpose is to investigate this axiom of Goodstein, and some of its variants, and to show that these are potentially adequate to prove termination of computations of a wide class of algorithms. We prove that many variations of Goodstein's axiom are equivalent, over elementary arithmetic, and contrast these results with those recently obtained for Kruskal's theorem.
    Type of Medium: Online Resource
    ISSN: 0022-4812 , 1943-5886
    RVK:
    Language: English
    Publisher: Cambridge University Press (CUP)
    Publication Date: 1989
    detail.hit.zdb_id: 2010607-5
    SSG: 5,1
    SSG: 17,1
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 3
    Online Resource
    Online Resource
    Cambridge University Press (CUP) ; 1987
    In:  Social Philosophy and Policy Vol. 5, No. 1 ( 1987), p. 143-168
    In: Social Philosophy and Policy, Cambridge University Press (CUP), Vol. 5, No. 1 ( 1987), p. 143-168
    Abstract: Philosophers have long distinguished various interpretations of the principle of equal opportunity and argued over their implications and justifications. But they have almost always tacitly assumed that the context was a national one. They have not, in particular, considered whether some interpretation of the principle could apply and be justified globally, that is, to all people without regard to their nationality or citizenship. Yet, such an investigation is clearly demanded. The leading moral theories seem to support a case for at least some interpretation of the equal opportunity principle, and it is not obvious that they can support it only domestically. Consider, first, those moral theories which place great value on negative liberty, for example, libertarianism. Libertarianism supports a standard interpretation of the equal opportunity principle – “formal” equality of opportunity; formal equality of opportunity requires that legal restrictions j on the taking of opportunities be lifted, and such restrictions diminish negative liberty. But libertarianism would also seem to support a global. version of formal equality of opportunity, for example, that laws be rescinded which require that candidates for jobs in a country be citizens of that country, or which restrict emigration or immigration. Such laws also diminish negative liberty. Or consider those moral theories which place great value on efficiency, for example, utilitarianism. Utilitarianism probably supports formal equality of opportunity because legal restrictions on the taking of opportunity not only diminish negative liberty, but also often prevent talent and skill from going where it can best be used and thus reduce efficiency.
    Type of Medium: Online Resource
    ISSN: 0265-0525 , 1471-6437
    Language: English
    Publisher: Cambridge University Press (CUP)
    Publication Date: 1987
    detail.hit.zdb_id: 283631-2
    detail.hit.zdb_id: 2087763-8
    SSG: 5,1
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 4
    Online Resource
    Online Resource
    Philosophy Documentation Center ; 1985
    In:  Ancient Philosophy Vol. 5, No. 2 ( 1985), p. 293-303
    In: Ancient Philosophy, Philosophy Documentation Center, Vol. 5, No. 2 ( 1985), p. 293-303
    Type of Medium: Online Resource
    ISSN: 0740-2007
    RVK:
    Language: English
    Publisher: Philosophy Documentation Center
    Publication Date: 1985
    SSG: 5,1
    SSG: 6,12
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...