Recursive definitions and fixed-points on well-founded structures

DOI10.1016/J.TCS.2011.01.028zbMATH Open1252.03088OpenAlexW2017762820MaRDI QIDQ654910FDOQ654910

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

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

zbMATH Keywords

Beth's definability theoremleast fixed-point logicrecursive definitions

Mathematics Subject Classification ID

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

Cites Work

• A lattice-theoretical fixpoint theorem and its applications
• Title not available (Why is that?)
• Elements of finite model theory.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)

• Title not available (Why is that?)
• Recursive definitions and fixed-points
• Title not available (Why is that?)
• On the structural properties of the set of fixpoints for nondeterministic recursive definitions
• Title not available (Why is that?)
• Deriving structural hylomorphisms from recursive definitions
• Computer Aided Systems Theory – EUROCAST 2005
• Title not available (Why is that?)

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)