EINE ÄQUIVALENTE FORMALISIERUNG DER LOGIK VON FEFERMAN UND ACZEL

DOI10.1002/MALQ.19830291103zbMath0534.03027OpenAlexW2060257269MaRDI QIDQ3317100

Martin Kühnrich

Publication date: 1983

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19830291103

zbMATH Keywords

abstraction principleAczel-Feferman logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Nonclassical and second-order set theories (03E70)

This page was built for publication: EINE ÄQUIVALENTE FORMALISIERUNG DER LOGIK VON FEFERMAN UND ACZEL