Evolve
发表于 2025-3-26 23:27:52
Some Order Theoretic Questions About Free Lattices and Free Modular Lattices known results, give some new results, and present several open problems..Every countable partially ordered set can be order embedded into a countable free lattice . However, free lattices contain no uncountable chains , so the above result does not extend to arbitrary partially ordered sets.
Harness
发表于 2025-3-27 03:33:16
An Introduction to the Theory of Continuous Latticesematical models of the λ-calculus of Church and Curry. Since this logic is type free, any such model would have to allow elements to represent . as well as .. This led Scott to look for cartesian closed categories, and for objects in such a category which are isomorphic to their own function space o
Cumulus
发表于 2025-3-27 08:41:26
Ordered Sets in Geometryofusion of lattices arise in this way. A brief review will be given of many old results, and some new ones, about lattices arising in this way..I. Order and Incidence: Flats. As is well-known, the ‘flats’ (= points, lines, planes, etc.) in any projective or affine geometry form a ...In the (self-dua
dagger
发表于 2025-3-27 10:01:14
Restructuring Lattice Theory: An Approach Based on Hierarchies of Concepts, many of which are reached by elaborate mental gymnastics; on the other hand, the connections of the theory to its surroundings are getting weaker and weaker, with the result that the theory and even many of its parts become more isolated. Restructuring lattice theory is an attempt to reinvigorate
tackle
发表于 2025-3-27 14:38:12
http://reply.papertrans.cn/71/7037/703653/703653_35.png
慌张
发表于 2025-3-27 18:10:36
https://doi.org/10.1007/978-94-009-7798-3Lattice; combinatorics; computer; computer science; game theory; geometry; programming; sets
友好关系
发表于 2025-3-27 23:04:48
978-94-009-7800-3D. Reidel Publishing Company, Dordrecht, Holland 1982
voluble
发表于 2025-3-28 05:33:30
http://reply.papertrans.cn/71/7037/703653/703653_38.png
过于光泽
发表于 2025-3-28 07:56:42
http://reply.papertrans.cn/71/7037/703653/703653_39.png
AMEND
发表于 2025-3-28 11:24:59
http://reply.papertrans.cn/71/7037/703653/703653_40.png