12- https://doi.org/10.1016/s0304-3975(96)00302-7
A κ-denotational semantics for map theory in ZFC + SI
- Jun 1, 1997
- Theoretical Computer Science
- Chantal Berline +1 more
Abstract
A κ-denotational semantics for map theory in ZFC + SI
- # Map Theory
- # Order Predicate Calculus
- # Classical Propositional Calculus
- # Consistency Proof
- # Foundation For Mathematics
- # Predicate Calculus
- # Equational Theory
- # Traditional Framework
- # Canonical Models
- # Mathematical Tools
