Archive for Mathematical Logic · 2004 · 12 citations · 4 references
Order TheoryLocal-global PrinciplesEngineeringAutomated ReasoningFormal MethodsModel TheoryFirst-order LogicHigher-order LogicLogical Formalism
4
Murray Marshall · Canadian Journal of Mathematics · 1980 · 58 citations · Full text
Order Theory, Discrete Geometry, Following Isotropy Criterion +7
Direct limits of finite spaces of orderings
Mieczysław Kula, Murray Marshall, Andrzej Sładek · Pacific Journal of Mathematics · 1984 · 16 citations · Full text