Fraïssé–Hintikka theorem in institutions

DOI10.1093/LOGCOM/EXAA042OpenAlexW3083364924MaRDI QIDQ5140318FDOQ5140318

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

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)

Mathematics Subject Classification ID

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

Cited In (2)

• Revisiting the Institutional Approach to Herbrand’s Theorem
• Title not available (Why is that?)

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)