{"title":"有限支撑结构上的序关系","authors":"A. Alexandru, Gabriel Ciobanu","doi":"10.1109/SYNASC.2018.00030","DOIUrl":null,"url":null,"abstract":"We present some properties of the order relations in the framework of finitely supported structures. We particularly analyze partially ordered sets, lattices and Galois connections, presenting specific properties (regarding cardinality order, cardinality arithmetic and fixed points) in the framework of finitely supported algebraic structures, as well as properties that are naturally extended from the classical Zermelo-Fraenkel framework by replacing 'structure' with 'atomic finitely supported structure'.","PeriodicalId":273805,"journal":{"name":"2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Order Relations Over Finitely Supported Structures\",\"authors\":\"A. Alexandru, Gabriel Ciobanu\",\"doi\":\"10.1109/SYNASC.2018.00030\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We present some properties of the order relations in the framework of finitely supported structures. We particularly analyze partially ordered sets, lattices and Galois connections, presenting specific properties (regarding cardinality order, cardinality arithmetic and fixed points) in the framework of finitely supported algebraic structures, as well as properties that are naturally extended from the classical Zermelo-Fraenkel framework by replacing 'structure' with 'atomic finitely supported structure'.\",\"PeriodicalId\":273805,\"journal\":{\"name\":\"2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)\",\"volume\":\"13 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2018-09-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SYNASC.2018.00030\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SYNASC.2018.00030","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Order Relations Over Finitely Supported Structures
We present some properties of the order relations in the framework of finitely supported structures. We particularly analyze partially ordered sets, lattices and Galois connections, presenting specific properties (regarding cardinality order, cardinality arithmetic and fixed points) in the framework of finitely supported algebraic structures, as well as properties that are naturally extended from the classical Zermelo-Fraenkel framework by replacing 'structure' with 'atomic finitely supported structure'.