The non-constructive operator, point theories with ordinals, and the bar rule. Annals of Pure and Applied Logic (0)

by T Strahm