Ali Valizadeh

Assistant Professor at the Department of Mathematics and Statistics, University of Isfahan

Research Interests:

Abstract and applied model theory, extensions and expansions of the real field, extensions and expansions of the additive group of the integers, o-minimal theories....
Hrushovski constructions and their connections to combinatorics and extremal graph theory.
Models of living systems.
Mathematical logic and theoretical computer science, programming.
Philosophy of Mathematics, Philosophy of Science, Islamic and Pre-Islamic History of Logic.

My CV
My profile in ResearchGate and arXiv
E-mail:
- a.lastname@msc.ui.ac.ir (replace "lastname" with "valizadeh")
- lastname.firstname@gmail.com (replace "lastname" and "firstname" with ''valizadeh" and "ali" respectively!)
- lastname.firstname@ipm.ir

Papers:

Mohsen Khani, Ali N. Valizadeh, and Afshin Zarei, A Note on Iterated Beatty Sequences, preprint .
Mohsen Khani, Ali N. Valizadeh, and Afshin Zarei, Fibonacci Numbers and Model-Complete Axiomatization of Presburger Arithmetic Expanded with a Beatty Sequence, submitted, available on arXiv.
Mohsen Khani, Ali N. Valizadeh, and Afshin Zarei, Model-Completeness and Decidability of the Additive Structure of Integers Expanded with a Function for a Beatty Sequence, Annals of Pure and Applied Logic, 175(10), 2024, 103493, available on arXiv.
Massoud Pourmahdian and Ali N. Valizadeh, A Strictly NSOP_3 Theory, preprint, available on arXiv [This paper has a gap which we are currently working on].
Massoud Pourmahdian and Ali N. Valizadeh, Pseudofiniteness in Hrushovski Constructions, Notre Dame Journal of Formal Logic, 61(1), 1-10, 2020 , available on ResearchGate and arXiv.
Massoud Pourmahdian and Ali N. Valizadeh, Strict Superstability and Decidability of Certain Generic Graphs , Bull. Iran. Math. Soc., 45, 1839–1854, 2019, available on ResearchGate and arXiv.
Massoud Pourmahdian and Ali N. Valizadeh, Some Model Theoretic Properties of Non-AC Generic Structures , preprint, available on ResearchGate and arXiv.

Courses:

Foundation of Mathematics, Spring 2025, University of Isfahan.
Calculus II, Spring 2025, University of Isfahan.
English for the Students of Mathematics Education, Spring 2025, University of Isfahan.
Calculus I, Fall 2024, University of Isfahan.
Foundations of Logic and Set Theory, Fall 2022, Khansar Campus, University of Isfahan.
The Theory of Computation, Spring 2021, Khansar Campus, University of Isfahan.
Foundations of Logic and Set Theory, Spring 2021, University of Isfahan.
Foundations of Logic and Set Theory, Spring 2020, University of Isfahan (more details).
Beginning Stability Theory, Fall 2019, Isfahan University of Technology (videos are available here (in Persian)).
First Order Logic and Mathematical Structures, Feb. 2017, part of the program "Short Courses on Mathematical, Philosophical and Computational Logic", IPM-Isfahan.
Foundations of Logic and Set Theory, Fall 2013, Amirkabir University of Technology.
Logic for Computer Science (for PhD students of computer sciences), Spring 2013, Teacher assistant for whole the course and instructor for the sections on "decidability and recursive functions", Institute for research in fundamental sciences (IPM).

Selected Talks:

A More Precise Review of Foundations and Axioms of Set Theory, May 2025, Isfahan University of Technology, Isfahan (Abstract in Persian)
This talk was part of the weekly seminars for undergraduate students at IUT.
Non-Standard Fibonacci Numbers, Feb. 2025, IPM, Tehran. (Video of the Talk)
Beatty Sequences and The Problem of Decidability, Feb. 2021, IPM, Tehran. (Notes of the Talk)
Results in Hrushovski Constructions, Dec. 2018, IPM-Isfahan, Isfahan.

This talk was prepared for audiences from different backgrounds in mathematics . The first part of the talk was an introduction to some basic model-theoretic notions, The slides are available here.

Generic Structures without the Algebraic Closure Property II, Jan. 2017, Weekly Seminar of the Logic Group, IPM, Tehran.
Generic Structures without the Algebraic Closure Property I, Jan. 2017, Weekly Seminar of the Logic Group, IPM, Tehran.
Some Model Theoretic Properties of Non-AC Generic Structures, May 2016, Model Theory Month in Münster – Conference, Münster, Germany.
Investigating a Non-simple Generic Structure, Oct. 2015, IPM International Conference on Set Theory and Model Theory, Institute for Research in Fundamental Sciences (IPM), Tehran.

Courses for which I was the TA:

Model Theory (for master students of mathematical logic), Amirkabir University of Technology.
Calculus I, Amirkabir University of Technology.
Foundations of Mathematics, Amirkabir University of Technology.
Foundations of Logic and Set Theory, Amirkabir University of Technology.
Foundations of Logic and Set Theory, Shahid Beheshti University, Tehran, IRAN.

A Selected List of Attended Events:

IPM Workshop on Model Theory of Valued Fields, October 2018, Institute for Research in Fundamental Sciences (IPM), Tehran, Iran (more).
IHP Trimester on Model Theory, Combinatorics and Valued Fields, January-April 2018, Institute Henri Poincaré (IHP), Paris, France (more).
Model Theory Month in Münster, April-May 2016, WWU Münster, Germany (more).
IPM Conference on Set Theory and Model Theory, October 2015, Institute for Research in Fundamental Sciences (IPM), Tehran, Iran (more).
Models and Groups, Workshop on Model Theory and Groups, October 2014, İstanbul Center for Mathematical Sciences, İstanbul, Turkey (more).
IMS Graduate Summer School in Logic, June-July, 2014, Institute for Mathematical Sciences (IMS), Singapour (more).

Google Sites

Report abuse