Pages that link to "Item:Q1400604"

From MaRDI portal

← The proof-theoretic analysis of \(\Sigma_{1}^{1}\) transfinite dependent choice (Q1400604)

Jump to:navigation, search

The following pages link to The proof-theoretic analysis of \(\Sigma_{1}^{1}\) transfinite dependent choice (Q1400604):

Displaying 1 item.

A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC (Q5082051) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere/Item:Q1400604"