N. C. A. Da Costa and F. A. Doria. Consequences of an exotic definition for P = NP. Applied Mathematics and Computation, vol. 145 (2003), pp. 655–665 [Book Review]

Bulletin of Symbolic Logic 10 (1):118-119 (2004)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s1079898600004236

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

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

N. C. A. Da Costa and F. A. Doria. Consequences of an exotic definition for P = NP. Applied Mathematics and Computation, vol. 145 (2003), pp. 655–665. [REVIEW]Ralf Schindler - 2004 - Bulletin of Symbolic Logic 10 (1):118-119.
Consequences of an Exotic Definition for P = NP. Applied Mathematics and Computation.N. C. A. da Costa & F. A. Doria - 2004 - Bulletin of Symbolic Logic 10 (1):118-119.
A note on da Costa-Doria “exotic formalizations”.L. Gordeev - 2010 - Archive for Mathematical Logic 49 (7-8):813-821.
Newton C. A. da Costa. On the theory of inconsistent formal systems. Notre Dame journal of formal logic, vol. 15 , pp. 497–510. - Newton C. A. da Costa. The philosophical import of paraconsistent logic. The journal of non-classical logic , vol. 1 , pp. 1–19. - Newton C. A. da Costa. On paraconsistent set theory. Logique et analyse, n.s. vol. 29 , pp. 361–371. - Newton C. A. da Costa, Jean-Yves Béziau, and Otávio Bueno. Paraconsistent logic in a historical perspective. Logique et analyse, vol. 38 , pp. 111–126. [REVIEW]Henry Kyburg - 1998 - Journal of Symbolic Logic 63 (3):1183-1184.
André Nies. Lowness properties and randomness. Advances in Mathematics, vol. 197 , no. 1, pp. 274–305. - Bjørn Kjos-Hanssen, André Nies, and Frank Stephan. Lowness for the class of Schnorr random reals. SIAM Journal on Computing, vol. 35 , no. 3, pp. 647–657. - Noam Greenberg and Joseph S. Miller. Lowness for Kurtz randomness. The Journal of Symbolic Logic, vol. 74 , no. 2, pp. 665–678. - Laurent Bienvenu and Joseph S. Miller. Randomness and lowness notions via open covers. Annals of Pure and Applied Logic, vol. 163 , no. 5, pp. 506–518. - Johanna N. Y. Franklin, Frank Stephan, and Liang. Yu Relativizations of randomness and genericity notions. The Bulletin of the London Mathematical Society, vol. 43 , no. 4, pp. 721–733. - George Barmpalias, Joseph S. Miller, and André Nies. Randomness notions and partial relativization. Israel Journal of Mathematics, vol. 191 , no. 2, pp. 791–816. [REVIEW]Johanna N. Y. Franklin - 2013 - Bulletin of Symbolic Logic 19 (1):115-118.
A new axiomatization of Jaśkowski's discussive logic.Vladimir L. Vasyukov - 2001 - Logic and Logical Philosophy 9:35.
Ú. V. Linnik and N. A. Šanin. Andréj Andréévič Markov. (K pátidésátilétiú so dná roždéniá.)Uspéhi matématičéskih nauk, vol. 9 no. 1 (1954), pp. 145–149 (with portrait opp. p. 145). [REVIEW]Andrzej Mostowski - 1955 - Journal of Symbolic Logic 20 (1):73-73.
Pure and Hybrid Mice with Finitely Many Woodin Cardinals from Levels of Determinacy Westfälische Wilhelms-Universität Münster, Germany, 2016. Supervised by Ralf-Dieter Schindler.Sandra Müller - 2018 - Bulletin of Symbolic Logic 24 (2):198-198.
Solomon Feferman. Computation on abstract data types. The extensional approach, with an application to streams. Annals of pure and applied logic, vol. 81 , pp. 75–113. [REVIEW]Jeffery Zucker - 2002 - Bulletin of Symbolic Logic 8 (4):538-542.
Greg N. Carlson. Generic terms and generic sentences. Journal of philosophical logic, vol. 11 , pp. 145–181.Anil Gupta & Leah Savion - 1985 - Journal of Symbolic Logic 50 (3):858-859.

Analytics

Added to PP
2014-03-21

Downloads
3 (#1,213,485)

6 months
14 (#987,135)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

A note on da Costa-Doria “exotic formalizations”.L. Gordeev - 2010 - Archive for Mathematical Logic 49 (7-8):813-821.

Add more citations

References found in this work

No references found.

Add more references