Publication:3137312

From MaRDI portal

Revision as of 08:53, 4 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

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

Jump to:navigation, search

zbMath0787.03002MaRDI QIDQ3137312

R. Cori, Daniel Lascar

Publication date: 6 October 1993

zbMATH Keywords

model theory; recursion theory; Gödel theorems; elementary ZF set theory; formalization of arithmetic

Mathematics Subject Classification ID

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

03F30: First-order arithmetic and fragments

03E30: Axiomatics of classical set theory and its fragments

03D20: Recursive functions and relations, subrecursive hierarchies

03C07: Basic properties of first-order languages and structures

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