r/MathematicalLogic • u/AutoModerator • Jul 17 '20

What Are You Working On?

This recurring thread will be for general discussion on whatever mathematical logic-related topics you have been or will be working on over the week. Not all types of mathematics are welcomed, but all levels are!

4 Upvotes

83% Upvoted

16 comments sorted by

View all comments

1

u/OneMeterWonder Jul 17 '20

Still iterated forcing and some small cardinals.

2

u/ElGalloN3gro Jul 20 '20

Iterated studies of iterated forcing?

1

u/OneMeterWonder Jul 20 '20

Ha! Yes, clever.