scientific article; zbMATH DE number 2247249

zbMath1095.03076MaRDI QIDQ5718561

Michael Rathjen

Publication date: 16 January 2006

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

zbMATH Keywords

explicit mathematicsleast fixed pointgeneralized inductive definitionsgreatest fixed pointconstructive Zermelo-Fraenkel set theory

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65) Second- and higher-order arithmetic and fragments (03F35)

Related Items (7)

THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ On Tarski’s fixed point theorem ⋮ A constructive picture of Noetherian conditions and well quasi-orders ⋮ Generalizing realizability and Heyting models for constructive set theory ⋮ Intuitionistic fixed point logic ⋮ Maximal ideals in countable rings, constructively ⋮ Syntax for Semantics: Krull’s Maximal Ideal Theorem

This page was built for publication: