Conversation

eleanor

@zornsllama

·

Jun 6, 2021

self-referentialism was a mistake

3

4

Brendan Zabarauskas

@brendanzab

Replying to

@zornsllama

easy to fix: just add a cumulative hierarchy of universes

1:39 PM · Jun 6, 2021·Twitter Web App

1

Like

Brendan Zabarauskas

@brendanzab

·

Jun 6, 2021

Replying to

@brendanzab

(says me scrolling past a thread of type theory implementors struggling to design universe level polymorphism)

2