Pages that link to "Item:Q1057857"

The following pages link to An accessibility proof of ordinal diagrams in intuitionistic theories for iterated inductive definitions (Q1057857):

Displaying 2 items.

• Note on a proof of the extended Kirby-Paris theorem on labelled finite trees (Q1110524) (← links)
• The machinery of consistency proofs (Q1124588) (← links)