Pages that link to "Item:Q4873894"

From MaRDI portal

← Recent Advances in Ordinal Analysis: Π<sup>1</sup><sub>2</sub>— CA and Related Systems (Q4873894)

Jump to:navigation, search

The following pages link to Recent Advances in Ordinal Analysis: Π<sup>1</sup><sub>2</sub>— CA and Related Systems (Q4873894):

Displaying 2 items.

Relativized ordinal analysis: the case of power Kripke-Platek set theory (Q392292) (← links)
Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and normal form theorems (Q1004086) (← links)

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