Abstract

Thomas Strahm. <i>Polynomial time operations in explicit mathematics</i>. <b>The journal of symbolic logic</b>, vol. 62 (1997), pp. 575–594. - Andrea Cantini. <i>Feasible operations and applicative theories based on λη</i>. Mathematical logic quarterly, vol. 46 (2000), pp. 291–312.

Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Similar Papers

Paper Title
Journal
Date
Author
G. Metakides and A. Nerode. Recursion theory and algebra. Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, edited by J. N. Crossley, Lecture notes in mathematics, vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 209–219. - Iraj Kalantari and Allen Retzlaff. Maximal vector spaces under automorphisms of the
Henry A Kierstead
Journal of Symbolic Logic | VOL. 51
Henry A KiersteadHenry A Kierstead
01 Mar 1986
Itay Neeman. Aronszajn trees and failure of the Singular Cardinal Hypothesis. Journal of Mathematical Logic, vol. 9, no. 1 (2009), pp. 139–157. - Dima Sinapova. The tree property at אּω+1. Journal of Symbolic Logic, vol. 77, no. 1 (2012), pp. 279–290. - Dima Sinapova. The tree property and the failure of SCH at uncountable cofinality. Archive for Mathematical Logic, vol.
James Cummings
The Bulletin of Symbolic Logic | VOL. 21
James CummingsJames Cummings
01 Jun 2015
James H. Schmerl. Peano models with many generic classes. Pacific Journal of Mathematics, vol. 43 (1973), pp. 523–536. - James H. Schmerl. Correction to: “Peano models with many generic classes”. Pacific Journal of Mathematics, vol. 92 (1981), no. 1, pp. 195–198. - James H. Schmerl. Recursively saturated, rather classless models of Peano arithmetic. Logic Year 1979–80. Recursively saturated, rather classless
Roman Kossak
The Bulletin of Symbolic Logic | VOL. 15
Roman KossakRoman Kossak
01 Jun 2009
A. H. Lachlan. A note on Thomason's refined structures for tense logics. Theoria, vol. 40(1974), pp. 117–120. - Kit Fine. Some connections between elementary and modal logic. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Ranger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc.,
Robert A Bull
Journal of Symbolic Logic | VOL. 47
Robert A BullRobert A Bull
01 Jun 1982
View more papers

More From: Bulletin of Symbolic Logic

Paper Title
Journal
Date
Author
Members of the Association
-
Bulletin of Symbolic Logic | VOL. 19
--
01 Dec 2013
Reviews, Bull. Symbolic Logic 19, iss. 4 (2013)
Bulletin of Symbolic Logic | VOL. 19
01 Dec 2013
Officers and Committees of the Association for Symbolic Logic
-
Bulletin of Symbolic Logic | VOL. 19
--
01 Dec 2013
2012—2013 Winter Meeting of the Association for Symbolic Logic, San Diego Convention Center, San Diego Marriott Marquis and Marina, San Diego, CA, January 11—12, 2013
-
Bulletin of Symbolic Logic | VOL. 19
--
01 Dec 2013
View more papers

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.