\(\kappa\)-continuous lattices and comprehension principles for Frege structures

DOI10.1016/0168-0072(87)90008-XzbMath0647.03049MaRDI QIDQ1104320

Robert C. Flagg

Publication date: 1987

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

comprehension principleEFLextensions of second-order arithmeticFrege structuretype-free formal system

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Related Items (5)

A type-free system extending (ZFC) ⋮ A synthetic axiomatization of map theory ⋮ Positive Frege and its Scott‐style semantics ⋮ A \(\kappa\)-denotational semantics for map theory in ZFC+SI ⋮ Dedekind completion as a method for constructing new Scott domains

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: \(\kappa\)-continuous lattices and comprehension principles for Frege structures