Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.

Project

Recursion on ptykes

Information

Project Team

Outputs and Outcomes

Publications

Reducing ω-model reflection to iterated syntactic reflection

Fedor PakhomovJames Walsh

A1 Journal Article in JOURNAL OF MATHEMATICAL LOGIC

2023

Finitely axiomatized theories lack self‐comprehension

Fedor PakhomovAlbert Visser

A1 Journal Article in BULLETIN OF THE LONDON MATHEMATICAL SOCIETY

2022