Equalization of finite flowers

DOI10.2307/2274431zbMath0658.03033OpenAlexW4235367085MaRDI QIDQ3807193

Stefano Berardi

Publication date: 1988

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

Full work available at URL: https://doi.org/10.2307/2274431

zbMATH Keywords

determinacyequalizationdilatorregular flowers

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15) Determinacy principles (03E60)

Related Items (1)

Winning strategies for infinite games: from large cardinals to computer science extended abstract

This page was built for publication: Equalization of finite flowers