Pages that link to "Item:Q1121865"
From MaRDI portal
The following pages link to A type-free system extending (ZFC) (Q1121865):
Displaying 11 items.
- A synthetic axiomatization of map theory (Q906269) (← links)
- Bibliography of John Myhill (Q1192339) (← links)
- Theories of types and names with positive stratified comprehension (Q1288964) (← links)
- From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models (Q1583485) (← links)
- The structure of the ordinals and the interpretation of ZF in double extension set theory (Q2574886) (← links)
- Dedekind completion as a method for constructing new Scott domains (Q2841264) (← links)
- Positive Frege and its Scott‐style semantics (Q3520230) (← links)
- An extension of Frege structures (Q3812243) (← links)
- LEVELS OF IMPLICATION AND TYPE FREE THEORIES OF CLASSIFICATIONS WITH APPROXIMATION OPERATOR (Q4295223) (← links)
- A \(\kappa\)-denotational semantics for map theory in ZFC+SI (Q5906925) (← links)
- Typed lambda-calculus in classical Zermelo-Fraenkel set theory (Q5945009) (← links)