Fuxing Shen

Available identifiers

zbMath Open shen.fuxingMaRDI QIDQ2731660

List of research outcomes

Publication	Date of Publication	Type
The classification of all quantifier-eliminable directed or undirected trees with a root	2016-08-10	Paper
The classifications of all quantifier-eliminable treelike partial orderings with a least element	2015-06-29	Paper
A structure theorem of exchangeable and categorical theories	2014-06-30	Paper
The research of the existence of universal hypergraphs	2010-07-08	Paper
Quantifier elimination of the theory of dense binary orders. I	2009-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q3638471	2009-07-22	Paper
A class of particular inductive rings and bi-inductive rings	2009-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q5319575	2009-07-22	Paper
A new proof of quantifier elimination of complete forked trees	2009-03-06	Paper
General conclusions for Diophantine equations to have solutions	2008-08-06	Paper
A countable model for the theory of complete dense binary order	2008-04-04	Paper
https://portal.mardi4nfdi.de/entity/Q5298088	2007-07-16	Paper
https://portal.mardi4nfdi.de/entity/Q5696438	2005-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q5695439	2005-10-12	Paper
https://portal.mardi4nfdi.de/entity/Q4761535	2002-03-18	Paper
An application of Lagrange inversion	2002-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q4391984	1998-06-07	Paper
https://portal.mardi4nfdi.de/entity/Q4870354	1996-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4300294	1994-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q4010162	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q4712088	1992-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q3497175	1990-01-01	Paper
The consistency property in lattice valued model theory for infinitary logic	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3727973	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3727974	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3703881	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3749160	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3669392	1982-01-01	Paper

Research outcomes over time

This page was built for person: Fuxing Shen