Seyed Mohammad Bagheri

Available identifiers

zbMath Open bagheri.seyed-mohammadMaRDI QIDQ481877

List of research outcomes

Publication	Date of Publication	Type
Extreme types and extremal models	2024-05-14	Paper
Consistency and interpolation in linear continuous logic	2023-09-27	Paper
The isomorphism theorem for linear fragments of continuous logic	2023-09-12	Paper
Linear Formulas in Continuous Logic	2022-12-08	Paper
The logic of linear propositions	2022-06-09	Paper
Maximality of linear continuous logic	2020-05-11	Paper
Continuous integration logic	2019-09-30	Paper
Completeness for linear continuous logic	2018-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q5744271	2016-02-18	Paper
Eberlein-Smulian compactness and Kolmogorov extension theorems; a model theoretic approach	2015-09-10	Paper
Linear model theory for Lipschitz structures	2014-12-15	Paper
Preservation theorems in linear continuous logic	2014-06-06	Paper
Quantified universes and ultraproducts	2012-02-29	Paper
Random variables and integral logic	2011-11-07	Paper
An arithmetical view to first-order logic	2011-08-26	Paper
Omitting types in an intermediate logic	2011-05-27	Paper
A Łoś type theorem for linear metric formulas	2010-02-16	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/Q5393630	2006-10-23	Paper
Some preservation theorems in an intermediate logic	2006-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q5715427	2006-01-03	Paper
Some results on Kripke models over an arbitrary fixed frame	2003-11-10	Paper
On translations of complete first order theories	2003-03-19	Paper
Ordre fondamental d'une théorie 1-basée	2000-10-22	Paper
Definability in affine continuous logic	N/A	Paper
Extreme types and extremal models	N/A	Paper

Research outcomes over time

This page was built for person: Seyed Mohammad Bagheri