scientific article; zbMATH DE number 7204330

DOI10.4230/LIPICS.CSL.2017.38zbMATH Open1434.03070MaRDI QIDQ5111208FDOQ5111208

Luigi Santocanale, Maria João Gouveia

Publication date: 26 May 2020

Title of this publication is not available (Why is that?)

zbMATH Keywords

continuous functionordinal summodal \(\mu\)-calculusclosure ordinal\(\omega_1\)regular cardinal\(\aleph_1\)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Ordinal and cardinal numbers (03E10)

Cited In (3)

• The \(\mu\) quantification operator in explicit mathematics with universes and iterated fixed point theories with ordinals
• The Calkin algebra is \(\aleph_1\)-universal
• Title not available (Why is that?)

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 Q5111208)