Seyed-Mohammad Bagheri

Available identifiers

zbMath Open bagheri.seyed-mohammadMaRDI QIDQ481877

List of research outcomes

Publication	Date of Publication	Type
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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Seyed-Mohammad Bagheri