Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Nutritional ecology of obesity: from humans to companion animals., , , and . The British journal of nutrition, (January 2015)Embeddings into the Medvedev and Muchnik lattices of pi01classes., and . Arch. Math. Log., 43 (3): 399-414 (2004)The Baire Category Theorem in Weak Subsystems of Second-Order Arithmetic., and . J. Symb. Log., 58 (2): 557-578 (1993)On the Role of Ramsey Quantifiers in First Order Arithmetic., and . J. Symb. Log., 47 (2): 423-435 (1982)Turing Degrees and Muchnik Degrees of Recursively Bounded DNR Functions.. Computability and Complexity, volume 10010 of Lecture Notes in Computer Science, page 660-668. Springer, (2017)Periodic Points and Subsystems of Second-Order Arithmetic., , and . Ann. Pure Appl. Log., 62 (1): 51-64 (1993)Which set existence axioms are needed to prove the separable Hahn-Banach theorem?, and . Ann. Pure Appl. Log., (1986)Reverse mathematics and pi12 comprehension., and . Bull. Symb. Log., 11 (4): 526-533 (2005)Mass problems and randomness.. Bull. Symb. Log., 11 (1): 1-27 (2005)Mass problems and density., , and . J. Math. Log., 16 (2): 1650006:1-1650006:10 (2016)