Constructions by transfinitely many workers

Annals of Pure and Applied Logic 48 (3):237-259 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(90)90022-t

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A metatheorem for constructions by finitely many workers.J. F. Knight - 1990 - Journal of Symbolic Logic 55 (2):787-804.
The proof-theoretic analysis of transfinitely iterated fixed point theories.Gerhard JÄger, Reinhard Kahle, Anton Setzer & Thomas Strahm - 1999 - Journal of Symbolic Logic 64 (1):53-67.
How Known Constructions Influence the Acquisition of Other Constructions: The German Passive and Future Constructions.Kirsten Abbot-Smith & Heike Behrens - 2006 - Cognitive Science 30 (6):995-1026.
The Proof-Theoretic Analysis of Transfinitely Iterated Quasi Least Fixed Points.Dieter Probst - 2006 - Journal of Symbolic Logic 71 (3):721 - 746.
Social Values and the Creative Ethos in the Greek Knowledge Society: A Phenomenological Analysis.Stavroula Tsirogianni - 2011 - World Futures 67 (3):155 - 181.
A formal treatment of the causative constructions in chinese.Chongli Zou & Nianxi Xia - 2008 - Frontiers of Philosophy in China 3 (2):307-316.
Transfinitely endless chess.Frederick Bagemihl - 1956 - Mathematical Logic Quarterly 2 (10‐15):215-217.
The active recruitment of health workers: a defence.Javier S. Hidalgo - 2013 - Journal of Medical Ethics 39 (10):603-609.
Ordinals connected with formal theories for transfinitely iterated inductive definitions.W. Pohlers - 1978 - Journal of Symbolic Logic 43 (2):161-182.
Provable wellorderings of formal theories for transfinitely iterated inductive definitions.W. Buchholz & W. Pohlers - 1978 - Journal of Symbolic Logic 43 (1):118-125.
Risky business: Nuclear workers, ethics, and the market-efficiency argument.Kristin Shrader-Frechette - 2002 - Ethics and the Environment 7 (1):1-23.
The Foundations of Frege’s Logic.Pavel Tichý - 1988 - New York: de Gruyter.

Analytics

Added to PP
2014-01-16

Downloads
12 (#1,054,764)

6 months
5 (#652,053)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Priority arguments via true stages.Antonio Montalbán - 2014 - Journal of Symbolic Logic 79 (4):1315-1335.

Add more citations

References found in this work

Pairs of recursive structures.C. J. Ash & J. F. Knight - 1990 - Annals of Pure and Applied Logic 46 (3):211-234.
Pairs of computable structures.C. J. Ash & J. F. Knight - 1990 - Annals of Pure and Applied Logic 46 (3):211-234.
A metatheorem for constructions by finitely many workers.J. F. Knight - 1990 - Journal of Symbolic Logic 55 (2):787-804.

Add more references