The following pages link to Massoud Pourmahdian (Q506975):
Displayed 28 items.
- The definable tree property for successors of cardinals (Q506976) (← links)
- Omitting types in an intermediate logic (Q539154) (← links)
- An arithmetical view to first-order logic (Q636314) (← links)
- Effectiveness in RPL, with applications to continuous logic (Q636319) (← links)
- Simple generic structures (Q1399103) (← links)
- The stable forking conjecture and generic structures (Q1407602) (← links)
- On some properties of Shelah cardinals (Q1734111) (← links)
- Pseudofiniteness in Hrushovski constructions (Q2176403) (← links)
- Strict superstablity and decidability of certain generic graphs (Q2332364) (← links)
- The logic of integration (Q2391096) (← links)
- On the compactness property of extensions of first-order G\"odel logic (Q2805906) (← links)
- Computational Models of Certain Hyperspaces of Quasi-metric Spaces (Q3224691) (← links)
- Diagram Construction in Intuitionistic Logic (Q3424136) (← links)
- Smooth classes without AC and Robinson theories (Q4451719) (← links)
- Automorphism groups of generic structures: extreme amenability and amenability (Q4565100) (← links)
- The Stable Forking Conjecture in Homogeneous Model Theory (Q4823800) (← links)
- Compactness in first-order Godel logics (Q5300578) (← links)
- (Q5393645) (← links)
- Elementary Amalgamation and Joint Embedding Property for Intermediate Logics (Q5504121) (← links)
- Some Model Theoretic Properties of Non-AC Generic Structures (Q6274745) (← links)
- On Some Properties of Shelah Cardinals (Q6290010) (← links)
- Probability Logic: A Model Theoretic Perspective (Q6308385) (← links)
- A Dependent Bi-Coloured Field (Q6308546) (← links)
- Strict Superstablity and Decidability of Certain Generic Graphs (Q6314866) (← links)
- Continuous integration logic (Q6326302) (← links)
- A Strictly $ \text{NSOP}_3 $ Theory (Q6353251) (← links)
- Bi-Colored Expansions of Geometric Theories (Q6396926) (← links)
- The Craig Interpolation Property in First-order G\"odel Logic (Q6451810) (← links)