ArchiveSequencesAbout

QuestionsEventsShortformAlignment ForumAF Comments

HomeFeaturedAllTagsRecent Comments

homotowat

Karma: 60

AllPostsComments

Relativized Definitions as a Method to Sidestep the Löbian Obstacle

homotowat27 Feb 2022 6:37 UTC

27 points

4 comments7 min readLW link