Skip to main content

All Questions

1 question with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
1 vote
0 answers
266 views

Is Jensen's covering lemma meaningful in a platonist's view?

The typical applications of fine structure theory are finding out the lower bounds of consistency strength of axiom systems. In such a proccess, we also constructs many combinatorial objects in core ...
Reflecting_Ordinal's user avatar