scientific article; zbMATH DE number 427554

zbMATH Open0787.03002MaRDI QIDQ3137312FDOQ3137312

Authors: René Cori, D. Lascar 

Publication date: 6 October 1993

Title of this publication is not available (Why is that?)

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

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)

Cited In (3)

• Title not available (Why is that?)
• Mathematical logic
• Set theory and mathematical logic. From infinite mathematics to Gödel's theorems

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)