An existential fragment of second order logic

DOI10.1007/S001530050126MaRDI QIDQ1306791zbMATH OpenOpenAlexFDO

Authors Eric Rosen

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 theorydecidabilitysecond-order logicfinite satisfiabilityfinite-variable fragmentsfinite structurefinite submodel propertynon-definability

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25) Descriptive complexity and finite models (68Q19) Second- and higher-order model theory (03C85)

Recommendations

• Some fragments of second-order logic over the reals for which satisfiability and equivalence are (un)decidable
• Existential second-order logic over strings
• 0-1 laws and decision problems for fragments of second-order logic
• Existential Fixed-Point Logic as a Fragment of Second-Order Logic
• On the expressiveness of frame satisfiability and fragments of second-order logic

Cited in

(6)

• Some fragments of second-order logic over the reals for which satisfiability and equivalence are (un)decidable
• Synthesising programs with non-trivial constants
• scientific article; zbMATH DE number 7533347 (Why is no real title available?)
• Verification of relational transducers for electronic commerce
• Existential Fixed-Point Logic as a Fragment of Second-Order Logic
• Existential second-order logic over strings

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

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