First-order theories and Tarski problems

zbMATH Open1279.03064MaRDI QIDQ2869435FDOQ2869435

Authors: Montserrat Casals Ruiz 

Publication date: 3 January 2014

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

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

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)

Cited In (7)

• Title not available (Why is that?)
• On translations of complete first order theories
• Bases for first-order theories and subtheories
• First-order and counting theories ofω-automatic structures
• Alfred Tarski and decidable theories
• Detection of First Order Axiomatic Theories
• Title not available (Why is that?)

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)