Fraïssé–Hintikka theorem in institutions

DOI10.1093/LOGCOM/EXAA042MaRDI QIDQ5140318zbMATH OpenOpenAlexFDO

Authors Daniel Găină, Tomasz Kowalski

Publication date 15 December 2020

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exaa042

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• Games in finite model theory
• scientific article; zbMATH DE number 5853298
• scientific article; zbMATH DE number 536899
• An Ehrenfeucht-Fraïssé game for \(\mathcal L_{\omega_1\omega}\)
• On the Ehrenfeucht-Fraïssé game in theoretical computer science (extended abstract)

Cited in

(2)

• Revisiting the Institutional Approach to Herbrand’s Theorem
• scientific article; zbMATH DE number 5853298 (Why is no real title available?)

This page was built for publication: Fraïssé–Hintikka theorem in institutions

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