Author of the publication

Reducing ω-model reflection to iterated syntactic reflection.

, and . J. Math. Log., 23 (2): 2250001:1-2250001:40 (August 2023)

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

Up in the air: Are airlines following the new DOT rules on equal pricing for people with disabilities when websites are inaccessible?, , , , , , , , , and 3 other author(s). Gov. Inf. Q., 27 (4): 329-336 (2010)Synchronous Glacial Cycles in a Nonsmooth Conceptual Climate Model with Asymmetric Hemispheres., , and . SIAM J. Appl. Dyn. Syst., 20 (4): 2482-2515 (2021)On the Inevitability of the Consistency operator., and . J. Symb. Log., 84 (1): 205-225 (2019)Reflection ranks and Ordinal Analysis., and . J. Symb. Log., 86 (4): 1350-1384 (2021)AiCE: automating horizon scanning for the detection of emerging technologies., , , , and . SSCI, page 1751-1756. IEEE, (2020)Near Real-Time Social Distance Estimation In London., , , , , , , , and . Comput. J., 67 (1): 95-109 (January 2024)Avoiding the Pitfalls of Erp System Implementation., and . IS Management, 21 (2): 38-42 (2004)Reducing ω-model reflection to iterated syntactic reflection., and . J. Math. Log., 23 (2): 2250001:1-2250001:40 (August 2023)Characterizations of ordinal analysis.. Ann. Pure Appl. Log., 174 (4): 103230 (April 2023)High-Cadence Thermospheric Density Estimation enabled by Machine Learning on Solar Imagery., , , , and . CoRR, (2023)