scientific article; zbMATH DE number 3279143

From MaRDI portal

Revision as of 03:38, 7 March 2024 by Import240305080351 (talk | contribs) (Created automatically from import240305080351)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5563359

Jump to:navigation, search

zbMath0175.00601MaRDI QIDQ5563359

Jean-Louis Krivine

Publication date: 1969

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

zbMATH Keywords

axiomatic set theory

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Set theory (03Exx)

Related Items (9)

The Popescu-Gabriel theorem for triangulated categories ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A Suppes predicate for general relativity and set-theoretically generic spacetimes ⋮ Mathematical, philosophical and semantic considerations on infinity. I: General concepts ⋮ Relativity phenomena in set theory ⋮ Automatic theorem proving in set theory ⋮ Observation du mathématicien: Aide à l'enseignement et à la demonstration automatique de théoremes ⋮ A derived algorithm for evaluating \(\varepsilon\)-expressions over abstract sets

This page was built for publication:

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