scientific article; zbMATH DE number 2247249
From MaRDI portal
Publication:5718561
zbMath1095.03076MaRDI QIDQ5718561
Publication date: 16 January 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
explicit mathematicsleast fixed pointgeneralized inductive definitionsgreatest fixed pointconstructive Zermelo-Fraenkel set theory
Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65) Second- and higher-order arithmetic and fragments (03F35)
Related Items
THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY, 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
