First-order theories and Tarski problems

MaRDI QIDQ2869435zbMATH OpenFDO

Authors Montserrat Casals Ruiz

Publication date 3 January 2014

Published in Butlletí de la Societat Catalana de Matemàtiques (Search for Journal in Brave)

zbMATH Keywords

model theoryalgebraic geometry over groupsfirst-order theoriesTarski problemelementary theory of groups

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Model-theoretic algebra (03C60) Research exposition (monographs, survey articles) pertaining to group theory (20-02)

Recommendations

• scientific article; zbMATH DE number 2070157
• Tarski’s problem about the elementary theory of free groups has a positive solution
• Equations and algorithmic problems in groups. Paper from the XXth school of algebra, Rio de Janeiro, Brazil, August 2008.
• The elementary theory of groups. A guide through the proofs of the Tarski conjectures.
• scientific article; zbMATH DE number 1135071

Cited in

(7)

• First-order and counting theories ofω-automatic structures
• scientific article; zbMATH DE number 5015960 (Why is no real title available?)
• On translations of complete first order theories
• Bases for first-order theories and subtheories
• scientific article; zbMATH DE number 6862042 (Why is no real title available?)
• Detection of First Order Axiomatic Theories
• Alfred Tarski and decidable theories

This page was built for publication: First-order theories and Tarski problems

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