The following pages link to (Q3829529):
Displaying 4 items.
- Relative consistency of the general axiom of superuniversality for sets, \(n\)-tuples and operations (Q1312954) (← links)
- Introducing basic theories for the foundations of mathematics (Q1330266) (← links)
- Self-reference and the Languages of Arithmetic (Q3592241) (← links)
- A Reflection Principle As a Reverse-mathematical Fixed Point over the Base Theory ZFC (Q5881259) (← links)