Infinite convex geometries with lower semi-modularity and join semi-distributivity
Fuente:
arXiv
Guardado en:
| Autor principal: | Mata, Adam |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
A novel axiomatic approach to L-valued rough sets within an L-universe via inner product and outer product of L-subsets
por: Li, Lingqiang, et al.
Publicado: (2024)
por: Li, Lingqiang, et al.
Publicado: (2024)
The Borel complexity of the class of models of first-order theories
por: Andrews, Uri, et al.
Publicado: (2024)
por: Andrews, Uri, et al.
Publicado: (2024)
Vaught's Conjecture and Theories of Partial Order Admitting a Finite Lexicographic Decomposition
por: Kurilić, Miloš S.
Publicado: (2026)
por: Kurilić, Miloš S.
Publicado: (2026)
Functional monadic ortholattices and locally finite $σ$-free polyadic ortholattices
por: Lin, Chun-Yu, et al.
Publicado: (2025)
por: Lin, Chun-Yu, et al.
Publicado: (2025)
Connexive logics and connexive semi-Heyting algebras
por: Cornejo, Juan M., et al.
Publicado: (2025)
por: Cornejo, Juan M., et al.
Publicado: (2025)
On regulated partitions
por: Gao, Su, et al.
Publicado: (2026)
por: Gao, Su, et al.
Publicado: (2026)
The complexity of classifying continuous t-norms up to isomorphism
por: He, Jialiang, et al.
Publicado: (2024)
por: He, Jialiang, et al.
Publicado: (2024)
The amalgamation property and Urysohn structures in continuous logic
por: Gao, Su, et al.
Publicado: (2023)
por: Gao, Su, et al.
Publicado: (2023)
On the equational theory of finite modular lattices
por: Herrmann, Christian
Publicado: (2024)
por: Herrmann, Christian
Publicado: (2024)
Preconditionals
por: Holliday, Wesley H.
Publicado: (2024)
por: Holliday, Wesley H.
Publicado: (2024)
Varieties generated by completions
por: Andréka, H., et al.
Publicado: (2018)
por: Andréka, H., et al.
Publicado: (2018)
Embeddings into the generic poset
por: Kwiatkowska, Aleksandra, et al.
Publicado: (2025)
por: Kwiatkowska, Aleksandra, et al.
Publicado: (2025)
A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
por: Fusco, Ludovico, et al.
Publicado: (2025)
por: Fusco, Ludovico, et al.
Publicado: (2025)
On actions and split extensions in varieties of hoops: the case of strong section
por: Mancini, Manuel, et al.
Publicado: (2025)
por: Mancini, Manuel, et al.
Publicado: (2025)
Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
por: Holliday, Wesley H.
Publicado: (2022)
por: Holliday, Wesley H.
Publicado: (2022)
Maximal order types for sequences with gap condition
por: Uftring, Patrick
Publicado: (2025)
por: Uftring, Patrick
Publicado: (2025)
On Quantifiers for Quantitative Reasoning
por: Capucci, Matteo
Publicado: (2024)
por: Capucci, Matteo
Publicado: (2024)
Implications in pseudocomplemented and Stone lattices
por: Chajda, Ivan, et al.
Publicado: (2024)
por: Chajda, Ivan, et al.
Publicado: (2024)
Products of pseudofinite structures
por: D'Aquino, Paola, et al.
Publicado: (2024)
por: D'Aquino, Paola, et al.
Publicado: (2024)
Quantales carrying ortholattice structure
por: Botur, Michal, et al.
Publicado: (2026)
por: Botur, Michal, et al.
Publicado: (2026)
Towards a logic of affordances
por: Gruszczynski, Rafal, et al.
Publicado: (2025)
por: Gruszczynski, Rafal, et al.
Publicado: (2025)
Justification Logics in a Fuzzy Setting
por: Ghari, Meghdad
Publicado: (2014)
por: Ghari, Meghdad
Publicado: (2014)
The variety of coset relation algebras
por: Givant, Steven, et al.
Publicado: (2018)
por: Givant, Steven, et al.
Publicado: (2018)
Term algebras of elementarily equivalent atom structures
por: Andréka, H., et al.
Publicado: (2018)
por: Andréka, H., et al.
Publicado: (2018)
Failure of the Blok-Esakia Theorem in the monadic setting
por: Bezhanishvili, Guram, et al.
Publicado: (2024)
por: Bezhanishvili, Guram, et al.
Publicado: (2024)
Reverse mathematics of a uniform Kruskal-Friedman theorem
por: Freund, Anton
Publicado: (2021)
por: Freund, Anton
Publicado: (2021)
Local finiteness in varieties of MS4-algebras
por: Bezhanishvili, Guram, et al.
Publicado: (2023)
por: Bezhanishvili, Guram, et al.
Publicado: (2023)
Local tabularity in MS4 with Casari's axiom
por: Meadors, Chase
Publicado: (2024)
por: Meadors, Chase
Publicado: (2024)
$G_δ$ Circle Squaring
por: Unger, Spencer, et al.
Publicado: (2026)
por: Unger, Spencer, et al.
Publicado: (2026)
Elementary properties of free lattices II: Decidability of the universal theory
por: Nation, J. B., et al.
Publicado: (2025)
por: Nation, J. B., et al.
Publicado: (2025)
Elementary properties of free lattices III: Undecidability of the full theory
por: Nation, J. B., et al.
Publicado: (2025)
por: Nation, J. B., et al.
Publicado: (2025)
Elementary Properties of Free Lattices
por: Nation, J. B., et al.
Publicado: (2023)
por: Nation, J. B., et al.
Publicado: (2023)
Undecidable translational tilings with only two tiles, or one nonabelian tile
por: Greenfeld, Rachel, et al.
Publicado: (2021)
por: Greenfeld, Rachel, et al.
Publicado: (2021)
The unification type of Lukasiewicz logic with a bounded number of variables
por: Abbadini, Marco, et al.
Publicado: (2025)
por: Abbadini, Marco, et al.
Publicado: (2025)
Fuzzy Galois connections on fuzzy sets
por: García, Javier Gutiérrez, et al.
Publicado: (2017)
por: García, Javier Gutiérrez, et al.
Publicado: (2017)
Expansions and restrictions of structures and theories, their hierarchies
por: Sudoplatov, Sergey V.
Publicado: (2025)
por: Sudoplatov, Sergey V.
Publicado: (2025)
Piecewise convex embeddability on linear orders
por: Iannella, Martina, et al.
Publicado: (2023)
por: Iannella, Martina, et al.
Publicado: (2023)
Forking in valued fields and related structures
por: Hossain, Akash
Publicado: (2024)
por: Hossain, Akash
Publicado: (2024)
Spherically orderable groups
por: Sudoplatov, Sergey V.
Publicado: (2024)
por: Sudoplatov, Sergey V.
Publicado: (2024)
Varieties of MV-monoids and positive MV-algebras
por: Abbadini, Marco, et al.
Publicado: (2024)
por: Abbadini, Marco, et al.
Publicado: (2024)
Ejemplares similares
-
A novel axiomatic approach to L-valued rough sets within an L-universe via inner product and outer product of L-subsets
por: Li, Lingqiang, et al.
Publicado: (2024) -
The Borel complexity of the class of models of first-order theories
por: Andrews, Uri, et al.
Publicado: (2024) -
Vaught's Conjecture and Theories of Partial Order Admitting a Finite Lexicographic Decomposition
por: Kurilić, Miloš S.
Publicado: (2026) -
Functional monadic ortholattices and locally finite $σ$-free polyadic ortholattices
por: Lin, Chun-Yu, et al.
Publicado: (2025) -
Connexive logics and connexive semi-Heyting algebras
por: Cornejo, Juan M., et al.
Publicado: (2025)