Separating Markov's principles

DOI10.1145/3661814.3662104MaRDI QIDQ6970250zbMATH OpenFDO

Authors Liron Cohen, Yannick Forster, Dominik Kirst, Bruno Da Rocha Paiva, Vincent Rahli

Publication date 18 June 2025

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Type theory (03B38)

This page was built for publication: Separating Markov's principles

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6970250)