scientific article; zbMATH DE number 3506643

MaRDI QIDQ4087141zbMATH OpenFDO

Authors Peter Aczel

Publication date 1975

Mathematics Subject Classification ID

Hierarchies of computability and definability (03D55) Descriptive set theory (03E15) Multiply transitive finite groups (20B20)

Cited in

(10)

• Selctive ultrafilters and homogeneity
• Lipschitz functions on classical spaces
• Failure of normalization in impredicative type theory with proof-irrelevant propositional equality
• Shannon information theory and molecular biology
• On monotone vs. nonmonotone induction
• The ramified analytical hierarchy using extended logics
• Foundations of regular coinduction
• Determined admissible sets
• SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION
• A proof of Grilliot's theorem

This page was built for publication:

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