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

DOI10.1142/S0129054195000135zbMath0830.68114OpenAlexW2081475194MaRDI QIDQ4853337

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

zbMATH Keywords

Frege structureFeferman's systems

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (3)

THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES ⋮ MARTIN-LÖF'S TYPE THEORY AS AN OPEN-ENDED FRAMEWORK ⋮ Universes over Frege structures

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