Miroslav Benda

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Computer-supported exploration of a categorical axiomatization of modeloids Relational and Algebraic Methods in Computer Science	2022-08-30	Paper
Computer-supported Exploration of a Categorical Axiomatization of Modeloids (available as arXiv preprint)	2019-10-27	Paper
On Harrington's partition relation Journal of Combinatorial Theory. Series A	1980-01-01	Paper
scientific article; zbMATH DE number 3668587 (Why is no real title available?)	1980-01-01	Paper
Modeloids. I	1979-01-01	Paper
Compactness for omitting of types Annals of Mathematical Logic	1978-01-01	Paper
scientific article; zbMATH DE number 3561333 (Why is no real title available?)	1977-01-01	Paper
Some properties of mirrored orders. MATHEMATICA SCANDINAVICA	1975-01-01	Paper
Construction of models from groups of permutations Journal of Symbolic Logic	1975-01-01	Paper
Regularity of ultrafilters Israel Journal of Mathematics	1974-01-01	Paper
Note on Boolean Ultrapowers	1974-01-01	Paper
Remarks on countable models Fundamenta Mathematicae	1974-01-01	Paper
On reduced products and filters Annals of Mathematical Logic	1972-01-01	Paper
On saturated reduced products Pacific Journal of Mathematics	1971-01-01	Paper

Research outcomes over time

This page was built for person: Miroslav Benda