:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Kurilić, Miloš S.
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic 03C15, 03C35, 06A06
Online-Zugang:	https://arxiv.org/abs/2601.03155
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Copies of Monomorphic Structures
von: Kurilić, Miloš S.
Veröffentlicht: (2023)

Forcing With Copies of Uncountable Ordinals
von: Kurilić, Miloš S.
Veröffentlicht: (2023)

Reduced Products of Collapsing Algebras
von: Kurilić, Miloš S.
Veröffentlicht: (2024)

Maximal order types for sequences with gap condition
von: Uftring, Patrick
Veröffentlicht: (2025)

Varieties generated by completions
von: Andréka, H., et al.
Veröffentlicht: (2018)

Reverse mathematics of a uniform Kruskal-Friedman theorem
von: Freund, Anton
Veröffentlicht: (2021)

Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and $Σ_n$-Collection Schema
von: Buriola, Gabriele, et al.
Veröffentlicht: (2025)

Embeddings into the generic poset
von: Kwiatkowska, Aleksandra, et al.
Veröffentlicht: (2025)

Finite versus infinite: an insufficient shift
von: Pequignot, Yann
Veröffentlicht: (2016)

Countably-categorical Boolean rings with distinguished ideals
von: Apps, Andrew
Veröffentlicht: (2021)

Quantales carrying ortholattice structure
von: Botur, Michal, et al.
Veröffentlicht: (2026)

Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures
von: Buriola, Gabriele, et al.
Veröffentlicht: (2025)

The uniform Kruskal theorem over RCA$_0$
von: Uftring, Patrick
Veröffentlicht: (2025)

Dense Chains, Antichains, and Universal Partial Orders Inside a Bounded Finite-One Degree
von: Cintioli, Patrizio
Veröffentlicht: (2026)

Infinite convex geometries with lower semi-modularity and join semi-distributivity
von: Mata, Adam
Veröffentlicht: (2025)

Well-quasi-orders on finite trees and transfinite sequences
von: Chopra, Alakh Dhruv, et al.
Veröffentlicht: (2026)

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
von: Fusco, Ludovico, et al.
Veröffentlicht: (2025)

Cohen-like first order structures
von: Kostana, Ziemowit
Veröffentlicht: (2020)

Vaught's conjecture for theories of discretely ordered structures
von: Tanović, Predrag
Veröffentlicht: (2022)

A model theory of topology
von: Lipparini, Paolo
Veröffentlicht: (2022)

The modal theory of linear orders
von: Wołoszyn, Wojciech Aleksander
Veröffentlicht: (2026)

Preconditionals
von: Holliday, Wesley H.
Veröffentlicht: (2024)

Towards a Simplified Theory of Double Boolean Algebras: Axioms and Topological Representation
von: Howlader, Prosenjit, et al.
Veröffentlicht: (2026)

Functional monadic ortholattices and locally finite $σ$-free polyadic ortholattices
von: Lin, Chun-Yu, et al.
Veröffentlicht: (2025)

Varieties of MV-monoids and positive MV-algebras
von: Abbadini, Marco, et al.
Veröffentlicht: (2024)

Tukey-idempotency and strong p-points
von: Benhamou, Tom, et al.
Veröffentlicht: (2025)

Axiomatizing small varieties of periodic l-pregroups
von: Galatos, Nikolaos, et al.
Veröffentlicht: (2025)

Spherically orderable groups
von: Sudoplatov, Sergey V.
Veröffentlicht: (2024)

A characterization of Continuous Logic by using quantale-valued logics
von: Reyes, David, et al.
Veröffentlicht: (2021)

The Ordering Principle and Dependent Choice
von: Holy, Peter, et al.
Veröffentlicht: (2025)

The Ordering Principle and Higher Dependent Choice
von: Holy, Peter, et al.
Veröffentlicht: (2025)

Finite axiomatization of $\textbf{GL}\times\textbf{S5}$ and $\textbf{Grz}\times\textbf{S5}$
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2025)

Definable Functions to Quotients in Ordered Abelian Groups
von: Wells, Harper
Veröffentlicht: (2026)

Elementary properties of free lattices II: Decidability of the universal theory
von: Nation, J. B., et al.
Veröffentlicht: (2025)

Limit Semigroups with 2 Generators
von: Estrada, Felipe, et al.
Veröffentlicht: (2025)

Elementary Properties of Free Lattices
von: Nation, J. B., et al.
Veröffentlicht: (2023)

Elementary properties of free lattices III: Undecidability of the full theory
von: Nation, J. B., et al.
Veröffentlicht: (2025)

Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
von: Holliday, Wesley H.
Veröffentlicht: (2022)

Tukey morphisms between finite relations
von: Barton, Rhett, et al.
Veröffentlicht: (2023)

On Nash-Williams' Theorem regarding sequences with finite range
von: Pakhomov, Fedor, et al.
Veröffentlicht: (2024)