Recursive definitions and fixed-points on well-founded structures

DOI10.1016/J.TCS.2011.01.028MaRDI QIDQ654910zbMATH OpenOpenAlexFDO

Authors Francicleber Martins Ferreira, Ana Teresa Martins

Publication date 23 December 2011

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

Full work available at URL https://doi.org/10.1016/j.tcs.2011.01.028

zbMATH Keywords

Beth's definability theoremleast fixed-point logicrecursive definitions

Mathematics Subject Classification ID

Logic in computer science (03B70) Interpolation, preservation, definability (03C40)

Recommendations

• Recursive definitions and fixed-points
• Fixed-point extensions of first-order logic
• scientific article; zbMATH DE number 2037780
• scientific article; zbMATH DE number 4193663
• Infinitary logic and inductive definability over finite structures

Cites work

• scientific article; zbMATH DE number 446838 (Why is no real title available?)
• scientific article; zbMATH DE number 48157 (Why is no real title available?)
• scientific article; zbMATH DE number 612169 (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?)
• A lattice-theoretical fixpoint theorem and its applications
• Elements of finite model theory.
• Fixed Point Logics
• Implicit definability and infinitary logic in finite model theory (extended abstract)
• On finite rigid structures
• Recursive definitions and fixed-points

Cited in

(8)

• scientific article; zbMATH DE number 2037780 (Why is no real title available?)
• Recursive definitions and fixed-points
• scientific article; zbMATH DE number 1841839 (Why is no real title available?)
• On the structural properties of the set of fixpoints for nondeterministic recursive definitions
• scientific article; zbMATH DE number 704267 (Why is no real title available?)
• Deriving structural hylomorphisms from recursive definitions
• Computer Aided Systems Theory – EUROCAST 2005
• scientific article; zbMATH DE number 1342277 (Why is no real title available?)

This page was built for publication: Recursive definitions and fixed-points on well-founded structures

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