Model theory of algebra and arithmetic. Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1-7, 1979

zbMath0436.00008MaRDI QIDQ1140613

No author found.

Publication date: 1980

Published in: Lecture Notes in Mathematics (Search for Journal in Brave)

zbMATH Keywords

ConferenceProceedingsarithmeticmodel theoryAlgebraalgebraModel theoryArithmeticKarpacz/Poland

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Conference proceedings and collections of articles (00Bxx) Model theory (03Cxx)

Related Items (3)

Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis ⋮ CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS ⋮ Degrees of Recursively Saturated Models

This page was built for publication: Model theory of algebra and arithmetic. Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1-7, 1979