Karim Zahidi

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Rigor and formalization Synthese	2026-03-31	Paper
Deciding and time: refusing devilish offers	2015-02-24	Paper
scientific article; zbMATH DE number 5774757 (Why is no real title available?)	2010-08-24	Paper
scientific article; zbMATH DE number 5507563 (Why is no real title available?)	2009-02-12	Paper
Elliptic divisibility sequences and undecidable problems about rational points Journal für die reine und angewandte Mathematik (Crelles Journal)	2008-04-25	Paper
Division-ample sets and the Diophantine problem for rings of integers Journal de Théorie des Nombres de Bordeaux	2006-03-30	Paper
Division-ample sets and the Diophantine problem for rings of integers Journal de Théorie des Nombres de Bordeaux	2006-03-30	Paper
Division-ample sets and the Diophantine problem for rings of integers Journal de Théorie des Nombres de Bordeaux	2006-03-30	Paper
Division-ample sets and the Diophantine problem for rings of integers Journal de Théorie des Nombres de Bordeaux	2006-03-30	Paper
Elimination theory for addition and the frobenius map in polynomial rings Journal of Symbolic Logic	2005-08-29	Paper
On theU-Invariant ofP-Adic Function Fields Communications in Algebra	2005-08-25	Paper
Hilbert's tenth problem for rings of rational functions Notre Dame Journal of Formal Logic	2004-05-27	Paper
The existential theory of real hyperelliptic function fields Journal of Algebra	2002-05-23	Paper
Undecidability of existential theories of rings and fields: A survey	2002-03-21	Paper
Topology of diophantine sets: remarks on Mazur's conjectures (available as arXiv preprint)	2001-07-26	Paper
Undecidable existential theories of polynomial rings and function fields Communications in Algebra	2000-04-06	Paper
On Diophantine sets over polynomial rings Proceedings of the American Mathematical Society	1999-11-17	Paper

Research outcomes over time

This page was built for person: Karim Zahidi