Cover Image

Generalized Higman's Theorem and iterated ideals

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Pakhomov, Fedor, Soldà, Giovanni
Format:	Preprint
Published:	2025
Subjects:	Logic 03B30 (Primary), 06A06 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On Nash-Williams' Theorem regarding sequences with finite range
by: Pakhomov, Fedor, et al.
Published: (2024)

(Extra)ordinary equivalences with the ascending/descending sequence principle
by: Fiori-Carones, Marta, et al.
Published: (2021)

Well-quasi-orders on finite trees and transfinite sequences
by: Chopra, Alakh Dhruv, et al.
Published: (2026)

Bourbaki--Zorn Normal Forms for Maximality Arguments
by: Liu, You-Chang
Published: (2026)

Linear Orders in Presburger Arithmetic
by: Pakhomov, Fedor, et al.
Published: (2022)

A note on the theory of well orders
by: Jeřábek, Emil
Published: (2024)

Generalized sums of linear orders
by: Ramos, Álvaro Díaz, et al.
Published: (2025)

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

Dense Chains, Antichains, and Universal Partial Orders Inside a Bounded Finite-One Degree
by: Cintioli, Patrizio
Published: (2026)

Countably-categorical Boolean rings with distinguished ideals
by: Apps, Andrew
Published: (2021)

Squares, scales and lines
by: Cummings, James
Published: (2025)

Weakly binary expansions of dense meet-trees
by: Mennuni, Rosario
Published: (2020)

Neighborhood and algebraic models for predicate modal logics with $ω$-rules
by: Tanaka, Yoshihito
Published: (2025)

Quasivarieties of p-algebras: some new results
by: Kowalski, Tomasz, et al.
Published: (2024)

Locally Integral Involutive PO-Semigroups
by: Gil-Férez, José, et al.
Published: (2023)

The structure of rough sets defined by reflexive relations
by: Järvinen, Jouni, et al.
Published: (2024)

Kleene and Stone algebras of rough sets induced by reflexive relations
by: Järvinen, Jouni, et al.
Published: (2026)

Apartness relations between propositions
by: Kocsis, Zoltan A.
Published: (2022)

Stone type representation theorems via games
by: Aslan, Tuğba, et al.
Published: (2018)

Decidable varieties of p-algebras
by: Kowalski, Tomasz, et al.
Published: (2024)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
by: Knudstorp, Søren Brinck
Published: (2025)

Ladders and Squares
by: Notaro, Lorenzo
Published: (2025)

On maximal ladders
by: Notaro, Lorenzo
Published: (2026)

A model theory of topology
by: Lipparini, Paolo
Published: (2022)

Free p-algebras revisited: an algebraic investigation of implication-free intuitionism
by: Kowalski, Tomasz, et al.
Published: (2024)

Saturation and isomorphism of abstract harmonic spaces
by: Wang, Haoming
Published: (2026)

Amalgamation in classes of involutive commutative residuated lattices
by: Jenei, Sándor
Published: (2020)

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

Walks on uncountable ordinals and non-structure theorems for higher Aronszajn lines
by: Inamdar, Tanmay, et al.
Published: (2024)

Maximal order types for sequences with gap condition
by: Uftring, Patrick
Published: (2025)

Forking and invariant types in regular ordered Abelian groups
by: Hossain, Akash
Published: (2023)

Ultracontact algebras and stack systems
by: Carai, Luca, et al.
Published: (2026)

The bottom of the lattice of BCK-varieties
by: Kowalski, Tomasz
Published: (2024)

Weihrauch reducibility between Ramsey-type theorems and well-ordering principles at the level of $Σ^0_2$-induction: A pilot study
by: Carlucci, Lorenzo, et al.
Published: (2025)

Tukey morphisms between finite relations
by: Barton, Rhett, et al.
Published: (2023)

Splittings in varieties of logic
by: Davey, Brian A., et al.
Published: (2025)

Filters and congruences in weakly complemented lattices
by: Jeufack, Yannick Léa Tenkeu, et al.
Published: (2025)

Some questions on entangled linear orders
by: Carroy, Raphaël, et al.
Published: (2025)

Untranscendable order types
by: Ervin, Garrett, et al.
Published: (2026)

Unorthodox Algebras and their associated Unorthodox Logics
by: Sankappanavar, Hanamantagouda P.
Published: (2025)