Jensen's Σ* theory and the combinatorial content of V = L

DOI10.2307/2275930zbMath0808.03034arXivmath/9212201OpenAlexW1511557272MaRDI QIDQ4314693

Sy-David Friedman

Publication date: 27 November 1994

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/9212201

zbMATH Keywords

uniformizationconstructibilitySkolem functionsfine structurehullsSkolem system

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Other combinatorial set theory (03E05)

Related Items (2)

A simpler proof of Jensen's coding theorem ⋮ Smooth categories and global \(\square\)

This page was built for publication: Jensen's Σ* theory and the combinatorial content of V = L