scientific article; zbMATH DE number 427554

MaRDI QIDQ3137312zbMATH OpenFDO

Authors René Cori, D. Lascar

Publication date 6 October 1993

zbMATH Keywords

model theoryrecursion theoryelementary ZF set theoryformalization of arithmeticGödel theorems

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) First-order arithmetic and fragments (03F30) Recursive functions and relations, subrecursive hierarchies (03D20) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Axiomatics of classical set theory and its fragments (03E30)

Recommendations

• Mathematical logic. A course with exercises. Part II. Recursion theory, Gödel's theorems, set theory, model theory. Translated from the 1993 French original by Donald H. Pelletier
• A course on mathematical logic
• Set theory and mathematical logic. From infinite mathematics to Gödel's theorems
• scientific article; zbMATH DE number 2232435
• scientific article; zbMATH DE number 4027415

Cited in

(3)

• Set theory and mathematical logic. From infinite mathematics to Gödel's theorems
• Mathematical logic
• scientific article; zbMATH DE number 52575 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3137312)