Short note: least fixed points versus least closed points

DOI10.1007/s00153-021-00761-yzbMath1484.03124OpenAlexW3127139978MaRDI QIDQ2238139

Gerhard Jäger

Publication date: 29 October 2021

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-021-00761-y

zbMATH Keywords

fixed pointssecond-order arithmeticleast fixed points\(X\)-positive operator formsleast closed points

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25)

Related Items

A few more dissimilarities between second-order arithmetic and set theory

Cites Work

• Proof theory. The first step into impredicativity
• Elementary induction on abstract structures
• Unnamed Item