Author of the publication

Reverse mathematics and order theoretic fixed point theorems.

, and . Arch. Math. Log., 56 (3-4): 385-396 (2017)

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

Two kinds of fixed point theorems and reverse mathematics., and . Math. Log. Q., 63 (5): 454-461 (2017)Commuting Quantum Circuits with Few Outputs are Unlikely to be Classically Simulatable., , , and . CoRR, (2014)Some conservation results on week König's lemma., , and . Ann. Pure Appl. Log., 118 (1-2): 87-114 (2002)Reverse Mathematics and Completeness Theorems for Intuitionistic Logic.. Notre Dame J. Formal Log., 42 (3): 143-148 (2001)Accelerating Ab Initio Nucleon Structure Calculations with All-Mode-Averaging on Gordon., , , , , , , , and . XSEDE, page 3:1-3:2. ACM, (2014)Towards the Practical Application of Near-Term Quantum Computers in Quantum Chemistry Simulations: A Problem Decomposition Approach., , , , and . CoRR, (2018)A Mobile Negotiation Agent Embedded Hybrid Online Purchasing System., , and . ICDCS Workshops, page 222-227. IEEE Computer Society, (2004)Uniform versions of some axioms of second order arithmetic., and . Math. Log. Q., 50 (6): 587-593 (2004)Global stability of Nash equilibrium in Aggregative Games., and . IGTR, (2014)Relative Randomness for Martin-Löf Random Sets., , , and . CiE, volume 7318 of Lecture Notes in Computer Science, page 581-588. Springer, (2012)