scientific article
From MaRDI portal
Publication:3812243
zbMath0662.03051MaRDI QIDQ3812243
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Frege structureprinciple of choicecomprehension ruleextension of classical second-order arithmeticScott's lattice-theoretic models of lambda calculusself-referential system extending ZF and provably consistent
Second- and higher-order arithmetic and fragments (03F35) Combinatory logic and lambda calculus (03B40)
Related Items (6)
\(\kappa\)-continuous lattices and comprehension principles for Frege structures ⋮ A type-free system extending (ZFC) ⋮ Bibliography of John Myhill ⋮ A \(\kappa\)-denotational semantics for map theory in ZFC+SI ⋮ An algebraic generalization of Frege structures -- binding algebras ⋮ Universes over Frege structures
This page was built for publication:
