Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.

Project

Recursie op ptykes

Informatie

Projectteam

Output en outcomes

Publicaties

Reducing ω-model reflection to iterated syntactic reflection

Fedor PakhomovJames Walsh

A1 Artikel in een tijdschrift in JOURNAL OF MATHEMATICAL LOGIC

2023

Finitely axiomatized theories lack self‐comprehension

Fedor PakhomovAlbert Visser

A1 Artikel in een tijdschrift in BULLETIN OF THE LONDON MATHEMATICAL SOCIETY

2022