M. Pourmahdian

Available identifiers

zbMath Open pourmahdian.massoudMaRDI QIDQ506975

List of research outcomes

Publication	Date of Publication	Type
Bi-colored expansions of geometric theories	2024-12-12	Paper
The Craig Interpolation Property in First-order G\"odel Logic	2023-09-19	Paper
Bi-Colored Expansions of Geometric Theories	2022-04-19	Paper
A Strictly $ \text{NSOP}_3 $ Theory	2020-11-08	Paper
Pseudofiniteness in Hrushovski constructions	2020-05-04	Paper
Strict superstablity and decidability of certain generic graphs	2019-11-04	Paper
Continuous integration logic	2019-09-30	Paper
On some properties of Shelah cardinals	2019-03-22	Paper
Strict Superstablity and Decidability of Certain Generic Graphs	2019-03-01	Paper
A Dependent Bi-Coloured Field	2018-10-21	Paper
Probability Logic: A Model Theoretic Perspective	2018-10-17	Paper
Automorphism groups of generic structures: extreme amenability and amenability	2018-06-07	Paper
On Some Properties of Shelah Cardinals	2017-08-11	Paper
The definable tree property for successors of cardinals	2017-02-02	Paper
Some Model Theoretic Properties of Non-AC Generic Structures	2016-06-18	Paper
On the compactness property of extensions of first-order Gödel logic	2016-05-13	Paper
Compactness in first-order Godel logics	2013-06-27	Paper
Compactness in first order Łukasiewicz logic	2012-08-01	Paper
Computational Models of Certain Hyperspaces of Quasi-metric Spaces	2012-04-02	Paper
An arithmetical view to first-order logic	2011-08-26	Paper
Effectiveness in RPL, with applications to continuous logic	2011-08-26	Paper
Omitting types in an intermediate logic	2011-05-27	Paper
The logic of integration	2009-07-24	Paper
Elementary Amalgamation and Joint Embedding Property for Intermediate Logics	2009-01-21	Paper
Diagram Construction in Intuitionistic Logic	2007-02-15	Paper
https://portal.mardi4nfdi.de/entity/Q5393645	2006-10-23	Paper
The Stable Forking Conjecture in Homogeneous Model Theory	2004-10-28	Paper
Smooth classes without AC and Robinson theories	2004-03-01	Paper
The stable forking conjecture and generic structures	2003-09-16	Paper
Simple generic structures	2003-07-30	Paper
Dynamic Probability Logics: Axiomatization & Definability	N/A	Paper

Research outcomes over time

This page was built for person: M. Pourmahdian