An existential fragment of second order logic

From MaRDI portal

Publication:1306791

Jump to:navigation, search

DOI10.1007/s001530050126zbMath0936.03009OpenAlexW2043214415MaRDI QIDQ1306791

Publication date: 15 May 2000

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001530050126

zbMATH Keywords

Ramsey theory decidability finite-variable fragments second-order logic finite satisfiability finite structure finite submodel property non-definability

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

Related Items (3)

Verification of relational transducers for electronic commerce ⋮ Synthesising programs with non-trivial constants ⋮ Unnamed Item

This page was built for publication: An existential fragment of second order logic

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1306791&oldid=13429489"

Pages with script errors