scientific article; zbMATH DE number 4193663

zbMath0724.03032MaRDI QIDQ5202184

R. T. P. Fernando

Publication date: 1989

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

fixed pointsnon-well-founded set theoryinductive definabilityAnti-Foundation Axiomsubstitutional recursive definitions

Mathematics Subject Classification ID

Other set-theoretic hypotheses and axioms (03E65) Inductive definability (03D70)

Related Items (2)

Linear ordering on graphs, anti-founded sets and polynomial time computability ⋮ Non-well-founded sets modeled as ideal fixed points

This page was built for publication: