A NEW FORMALIZATION OF FEFERMAN’S SYSTEM OF FUNCTIONS AND CLASSES AND ITS RELATION TO FREGE STRUCTURE

DOI10.1142/S0129054195000135zbMATH Open0830.68114OpenAlexW2081475194MaRDI QIDQ4853337FDOQ4853337

Authors: Susumu Hayashi, Satoshi Kobayashi 

Publication date: 3 December 1995

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0129054195000135

Recommendations

• EINE ÄQUIVALENTE FORMALISIERUNG DER LOGIK VON FEFERMAN UND ACZEL
• Implication and analysis in classical Frege structures
• scientific article; zbMATH DE number 4081552
• A type-free system extending (ZFC)
• \(\kappa\)-continuous lattices and comprehension principles for Frege structures

zbMATH Keywords

Frege structureFeferman's systems

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cited In (6)

• Universes over Frege structures
• Monotone inductive definitions in a constructive theory of functions and classes
• THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES
• EINE ÄQUIVALENTE FORMALISIERUNG DER LOGIK VON FEFERMAN UND ACZEL
• Theories of Frege structure equivalent to Feferman's system \(\mathsf{T}_0\)
• Martin-Löf's type theory as an open-ended framework

This page was built for publication: A NEW FORMALIZATION OF FEFERMAN’S SYSTEM OF FUNCTIONS AND CLASSES AND ITS RELATION TO FREGE STRUCTURE

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4853337)