Filters








5,219 Hits in 4.7 sec

Author index volume 81 (1996)am

1996 Annals of Pure and Applied Logic  
The extensional approach, with an application to streams Lipton, J. and O'Donnell, M.J., Some intuitions behind realizability semantics for constructive logic: Tableaux and Lauchli countermodels  ...  ., A classical view of the intuitionistic continuum Nerode, A. and Remmel, J.B., On the lattices of NPtime vector space over a finite field 125-170 O'Donnell, M.J., see Lipton, J. 187-239 Remmel, J.B.,  ...  see Nerode, A. 125-170 Sacks, G.E., Effective forcing versus proper forcing 171-185 Shoenfield, J.R., Priority constructions 115-123 Vesley, R.E., Realizing Brouwer's sequences 25-74 Elsevier Science  ... 
doi:10.1016/s0168-0072(96)90033-0 fatcat:bbqhyl2gbzeehf7wbzjyljtwbq

Master Index to Volumes 51–60

1993 Annals of Pure and Applied Logic  
Master Index to Volumes 51-60 ABRAHAM, U. and SHELAH, S., A A: well-order of the reals and incompactness of L(Q"") 59 ( GITIK, M., The strength of the failure of the Singular Cardinal Hypothesis 51  ...  in subsystems of second-order arithmetic MAREK, W., NERODE, A. and REMMEL, J., How complicated is the set of stable models of a recursive logic program?  ... 
doi:10.1016/0168-0072(93)90081-n fatcat:izewemprtbcm3gozu2y4c4roia

Bibliography on Realizability

Lars Birkedal
1999 Electronical Notes in Theoretical Computer Science  
Abadi and L. Cardelli. A Theory of Objects. Springer Verlag, 1996. 2] M. Abadi and G.D. Plotkin. A per model of polymorphism and recursive t ypes. In  ...  Carboni and E.M. Vitale. Regular and exact completions. Journal of Pure a n d Applied A lgebra, 125:79{117, 1998. 46] L. Cardelli and G. Longo. A semantic basis for Quest.  ...  Cook and A. Urquhart. Functional interpretations of feasibly constructive arithmetic. Annals of Pure and Applied L ogic, 63:103{200, 1993. 49] T. Coquand, C. Gunter, and G. Winskel.  ... 
doi:10.1016/s1571-0661(04)00103-3 fatcat:jpr3su4qxfgwremm5yjfgwbgai

The Kinetics of Chemical Change in Gaseous Systems

1930 Nature  
It contains a wonderful record of research work in both applied and pure science of the highest class. Brief historical introductions are given to the various subjects.  ...  logically be extended to the other.  ... 
doi:10.1038/125703d0 fatcat:feniarlizfai5getpkswpubz6u

The Immunology of Parasitic Infections

J. C. G. L.
1930 Nature  
It contains a wonderful record of research work in both applied and pure science of the highest class. Brief historical introductions are given to the various subjects.  ...  logically be extended to the other.  ... 
doi:10.1038/125703a0 fatcat:v25nqnbsqzbcphcvrlembc2dfm

Master Index To Volumes 11-3011Volumes 11-23 were published under the former name of "Annals of Mathematical Logic"

1986 Annals of Pure and Applied Logic  
., Stationary logic of ordinals Mekler, A.H., see Eklof, P.C. Metakides, G. and A. Nerode, Recursively enumerable vector spaces Metakides, G. and A.  ...  unique Craig interpolant, uniform vs. nonuni- form complexity Nadel, M.E., Infinitary intuitionistic logic from a classical point of view Nerode, A. and R.A.  ...  99-111 24 (1983) 87-97 18 (1980) 271-296 22 (1982) 177-196 23 (1982) 101-120 23 (1982) 121-125 15 (1978) 109-160 11 (1977) 195-202 13 (1978)  ... 
doi:10.1016/0168-0072(86)90026-6 fatcat:lvxcgirz7zcp7if573hj6t7poi

Some Protozoan Diseases of Man and Animals: Anaplasmosis, Babesiosis, and Toxoplasmosis . Annals of the New York Academy of Science, vol. 64, art. 2, pp. 25-277. New York Academy of Science, New York, 1956

R. L. Farrell
1957 Science  
There follows a discussion of “Adia- batic demagnetization,” by D. de Klerk, which covers in detail all aspects, pure and applied, of the subject.  ...  tes tal Book Reviews Some Protozoan Diseases of Man and Animals: Anaplasmosis, Babesiosis, and Toxoplasmosis. Annals of the New York Academy of Science, vol. 64, art. 2, pp. 25-277.  ... 
doi:10.1126/science.125.3250.701.a fatcat:mlv6abcgqnbbnmzjagba7mv2um

Some Protozoan Diseases of Man and Animals: Anaplasmosis, Babesiosis, and Toxoplasmosis . Annals of the New York Academy of Science, vol. 64, art. 2, pp. 25-277. New York Academy of Science, New York, 1956

R. L. Farrell
1957 Science  
There follows a discussion of “Adia- batic demagnetization,” by D. de Klerk, which covers in detail all aspects, pure and applied, of the subject.  ...  tes tal Book Reviews Some Protozoan Diseases of Man and Animals: Anaplasmosis, Babesiosis, and Toxoplasmosis. Annals of the New York Academy of Science, vol. 64, art. 2, pp. 25-277.  ... 
doi:10.1126/science.125.3250.701-a fatcat:t24n4jjcsballpepqeaimjivr4

Unifying Functional Interpretations: Past and Future [article]

Paulo Oliva
2014 arXiv   pre-print
, Stein's family of functional interpretations, functional interpretations "with truth", and bounded functional interpretations.  ...  Our goal in the present paper is twofold: (1) to look back and single out the main lessons learnt so far, and (2) to look forward and list several open questions and possible directions for further research  ...  Annals of Pure and Applied Logic, 133:125–148, 2005. [9] M. Bezem. Strongly majorizable functionals of finite type: a model for bar recursion containing discontinuous functionals.  ... 
arXiv:1410.4364v1 fatcat:p2q5nxafnnarxptyj3wqlfxxh4

Abstracts

2005 Historia Mathematica  
Readers are invited to send reprints, autoabstracts, corrections, additions, and notices of publications that have been overlooked.  ...  A triple numbering system is used: the first number indicates the volume, the second the issue number, and the third the sequential number within that issue.  ...  The indefinability of truth in the "Wahrheitsbegriff," Annals of Pure and Applied Logic 126 (1-3) (2004), 27-37.  ... 
doi:10.1016/j.hm.2005.04.001 fatcat:jpycq5xl2zexnby2h453ddkpp4

Handbuch der Physik . vol. XV, Low Temperature Physics II . S. Flügge, Ed. Springer, Berlin, 1956. 477 pp. Illus

R. P. Hudson
1957 Science  
There follows a discussion of “Adia- batic demagnetization,” by D. de Klerk, which covers in detail all aspects, pure and applied, of the subject.  ...  tes tal Book Reviews Some Protozoan Diseases of Man and Animals: Anaplasmosis, Babesiosis, and Toxoplasmosis. Annals of the New York Academy of Science, vol. 64, art. 2, pp. 25-277.  ... 
doi:10.1126/science.125.3250.701-b fatcat:4rm4flnzdzblpce627wu5tsm5a

Handbuch der Physik . vol. XV, Low Temperature Physics II . S. Flügge, Ed. Springer, Berlin, 1956. 477 pp. Illus

R. P. Hudson
1957 Science  
There follows a discussion of “Adia- batic demagnetization,” by D. de Klerk, which covers in detail all aspects, pure and applied, of the subject.  ...  tes tal Book Reviews Some Protozoan Diseases of Man and Animals: Anaplasmosis, Babesiosis, and Toxoplasmosis. Annals of the New York Academy of Science, vol. 64, art. 2, pp. 25-277.  ... 
doi:10.1126/science.125.3250.701.b fatcat:j7rqcix4bjh7zibqr7qehwgegm

Recent Publications

Albert A. Bennett
1923 The American mathematical monthly  
In the Quarterly Journal of Pure and Applied Mathematics, volume 49, number 3, October, 1922, there is an article (pages 226-283) “Abstract definitions of the symmetric and alternating groups and certain  ...  He was a member of its editorial committee for volumes 125-151, inclusive.  ... 
doi:10.1080/00029890.1923.11986207 fatcat:qlh4uzhtl5av3iksgc7ehvg6ni

ABSTRACTS

David E. Zitarelli
1999 Historia Mathematica  
Readers are invited to send reprints, autoabstracts, corrections, additions, and notices of publications that have been overlooked.  ...  A triple numbering system is used: the first number indicates the volume, the second the issue number, and the third the sequential number within that issue.  ...  Lotze and Frege: The Dating of the "Kernsätze," History and Philosophy of Logic 18 (1997), 17-31.  ... 
doi:10.1006/hmat.1999.2259 fatcat:etc6wezjufh65epevvyrynwute

Recent Publications

Cassius J. Keyser
1920 The American mathematical monthly  
(undemonstrated) propositions admit of rigorous demonstration by means of purely logical concepts and propositions.  ...  “Pure logic, and pure mathematics (which is the same thing), aims at being true, in Leibnizian phraseology, in all possible worlds, not only in this higgledy-piggledy job-lot of a world in which chance  ... 
doi:10.1080/00029890.1920.11985937 fatcat:ax52tpajfrhadmptvp2gcyowiq
« Previous Showing results 1 — 15 out of 5,219 results