Switch to: Citations

References in:

The incompleteness of theories of games

Marcelo Tsuji, Newton C. A. Costa & Francisco A. Doria

Journal of Philosophical Logic 27 (6):553-568 (1998)

Add references

You must login to add references.

Universal diophantine equation.James P. Jones - 1982 - Journal of Symbolic Logic 47 (3):549-571.details Logic and Philosophy of Logic Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Direct download (8 more) Export citation Bookmark 4 citations
Register machine proof of the theorem on exponential diophantine representation of enumerable sets.J. P. Jones & Y. V. Matijasevič - 1984 - Journal of Symbolic Logic 49 (3):818-829.details Logic and Philosophy of Logic Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Direct download (7 more) Export citation Bookmark 2 citations
On Suppes' Set Theoretical Predicates.Newton C. A. da Costa & Rolando Chuaqui - 1988 - Erkenntnis 29 (1):95-112.details Latin American Philosophy of Science, Logic, and Mathematics in Philosophy of the Americas Direct download (5 more) Export citation Bookmark 26 citations
Gödel incompleteness, explicit expressions for complete arithmetic degrees and applications.N. C. A. Da Costa & F. A. Doria - 1995 - Complexity 1 (3):40-55.details Areas of Mathematics in Philosophy of Mathematics Direct download Export citation Bookmark 3 citations
The undecidability of formal definitions in the theory of finite groups.Newton Ca da Costa, Francisco A. Doria & Marcelo Tsuji - 1995 - Bulletin of the Section of Logic 24:56-63.details Areas of Mathematics in Philosophy of Mathematics Direct download Export citation Bookmark 2 citations
On the Existence of Very Difficult Satisfiability Problems.N. C. A. da Costa & F. A. Doria - forthcoming - Bulletin of the Section of Logic.details Areas of Mathematics in Philosophy of Mathematics Direct download Export citation Bookmark 1 citation

1