Conceptio › Archive › arXiv (OAI Expanded)
arXiv (OAI Expanded)open access

Forcing the $Π^1_n$-Uniformization Property

Hoffelner, Stefan
arXiv (OAI Expanded) · Papers · License: Open Access
Open Source ↗Direct PDF ↓
03e3503e55logic
logic, 03e15, 03e35, 03e45, 03e47, 03e55, 03e57, 03e60
This document is indexed with metadata only — full text is not available in the archive for this record. Open the official source ↗
Record · ID 668182
Retrieved via Conceptio — every document is proof-bundled with source, license, and retrieval metadata.