New posts in Metamathematics

Is there a semantics for intuitionistic logic that is meta-theoretically "self-hosting"?

What sorts of extra axioms might we add to ZFC to compute higher Busy Beaver numbers?

Is every true statement independent of $PA$ equivalent to some consistency statement?

On structures that are not submitted to compatibility conditions

Automatic transfer of pointwise metric computations to bundle computations

Which kind of foundation are mathematicians using when proving metatheorems?

Is there a compendium of the consistency strength between the most important formal theories?

Embedding Theorem for topological spaces, and in general

Formal proof of Con(ZFC) => Con(ZFC + not CH) in ZFC

Proofs of Gödel's theorem