The following pages link to An extension of Frege structures (Q3812243):
Displaying 7 items.
- Additional structures in Smith theory (Q796863) (← links)
- \(\kappa\)-continuous lattices and comprehension principles for Frege structures (Q1104320) (← links)
- A type-free system extending (ZFC) (Q1121865) (← links)
- Bibliography of John Myhill (Q1192339) (← links)
- An algebraic generalization of Frege structures -- binding algebras (Q1274449) (← links)
- Universes over Frege structures (Q1861539) (← links)
- A \(\kappa\)-denotational semantics for map theory in ZFC+SI (Q5906925) (← links)