Shadowy institutions

DOI10.1007/978-3-032-33486-2_9MaRDI QIDQ7411249zbMATH OpenFDO

Authors Siddharth Bhaskar, Robin Kaarsgaard

Publication date 2027

Full work available at URL https://doi.org/10.1007/978-3-032-33486-2_9

zbMATH Keywords

abstract model theorydescriptive complexity theoryfinite model theoryinstitutionsorder-invariant logic

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites work

• scientific article; zbMATH DE number 3474957 (Why is no real title available?)
• Institution-independent model theory (to appear)
• Locality of order-invariant first-order formulas
• On the locality of arb-invariant first-order formulas with modulo counting quantifiers
• Order-invariant types and their applications
• Relational queries computable in polynomial time
• Traversal-invariant characterizations of logarithmic space

This page was built for publication: Shadowy institutions

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