scientific article

From MaRDI portal

Publication:3002402

Jump to:navigation, search

zbMath1245.03073MaRDI QIDQ3002402

Alberto Policriti, Alexandru I. Tomescu, Eugenio Giovanni Omodeo

Publication date: 20 May 2011

Full work available at URL: http://rendiconti.dmi.units.it/volumi/42/120.pdf

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

zbMATH Keywords

satisfiability decision algorithms non-well-founded sets computable set theory infinity axiom

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Nonclassical and second-order set theories (03E70)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3002402&oldid=16021218"