You are here: TUCS > PUBLICATIONS > Publication Search > Compactness and Elementary Pro...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
Compactness and Elementary Proof of Woodin's Theorem
Vesa Halava, Tero Harju, Teemu Pirttimäki, Compactness and Elementary Proof of Woodin's Theorem. TUCS Technical Reports 1212, 2020.
BibTeX entry:
@TECHREPORT{tHaHaPi20a,
title = {Compactness and Elementary Proof of Woodin's Theorem},
author = {Halava, Vesa and Harju, Tero and Pirttimäki, Teemu},
number = {1212},
series = {TUCS Technical Reports},
year = {2020},
}
Belongs to TUCS Research Unit(s): FUNDIM, Fundamentals of Computing and Discrete Mathematics