Recursive definitions and fixed-points

DOI10.1016/J.ENTCS.2009.07.046MaRDI QIDQ5178958zbMATH OpenOpenAlexFDO

Authors Francicleber Martins Ferreira, Ana Teresa Martins

Publication date 18 March 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2009.07.046

zbMATH Keywords

Beth's definability theoremfixed pointsrecursive definitions

Mathematics Subject Classification ID

Logic in computer science (03B70) Model theory of finite structures (03C13) Interpolation, preservation, definability (03C40)

Recommendations

• Recursive definitions and fixed-points on well-founded structures
• Fixed-point logics and computation
• Fixed-point extensions of first-order logic
• On the fixpoints of nondeterministic recursive definitions
• scientific article; zbMATH DE number 2037780

Cites work

• A lattice-theoretical fixpoint theorem and its applications
• Elements of finite model theory.
• Fixed Point Logics
• scientific article; zbMATH DE number 446838 (Why is no real title available?)
• scientific article; zbMATH DE number 3885853 (Why is no real title available?)
• scientific article; zbMATH DE number 803291 (Why is no real title available?)
• scientific article; zbMATH DE number 3085803 (Why is no real title available?)
• Implicit definability and infinitary logic in finite model theory (extended abstract)
• On finite rigid structures

Cited in

(4)

• On the structural properties of the set of fixpoints for nondeterministic recursive definitions
• scientific article; zbMATH DE number 5510997 (Why is no real title available?)
• Variations on inductive-recursive definitions
• Recursive definitions and fixed-points on well-founded structures

This page was built for publication: Recursive definitions and fixed-points

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