Cover Image

Some Results on Finitely Splitting Subtrees of Aronszajn Trees

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Krueger, John
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Strongly Non-Saturated Aronszajn Tree Without Weak Kurepa Trees
by: Krueger, John, et al.
Published: (2025)

Universal wide Aronszajn tree
by: Kivimäki, Siiri
Published: (2025)

The special Aronszajn tree property at $\aleph_2$ and $GCH$
by: Asperó, David, et al.
Published: (2018)

Aronszajn trees and maximality
by: Ben-Neria, Omer, et al.
Published: (2023)

A Rigid Kurepa Tree From a Free Suslin Tree
by: Krueger, John
Published: (2023)

The class of Aronszajn lines under epimorphisms
by: Polymeris, Lucas, et al.
Published: (2025)

Some General Completeness Results for Propositionally Quantified Modal Logics
by: Ding, Yifeng, et al.
Published: (2024)

A Strong Kurepa Tree
by: Krueger, John
Published: (2025)

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

Forcing Over a Free Suslin Tree
by: Krueger, John, et al.
Published: (2024)

Results on Colored Tree Properties
by: Day, Gabriel
Published: (2025)

Suslin tree preservation and club isomorphisms
by: Krueger, John
Published: (2022)

Some Results on Causal Modalities in General Spacetimes
by: Lewis, Marco, et al.
Published: (2026)

The Pebble-Relation Comonad in Finite Model Theory
by: Montacute, Yoàv, et al.
Published: (2021)

Embedded Finite Models Beyond Restricted Quantifier Collapse
by: Benedikt, Michael, et al.
Published: (2023)

Non-Derivability Results in Polymorphic Dependent Type Theory
by: Geuvers, Herman
Published: (2026)

Some remarks on lattices of equivalences
by: Herrmann, Christian
Published: (2025)

Fragments of Some Subintuitionistic Logics
by: Maleki, Fatemeh Shirmohammadzadeh, et al.
Published: (2025)

Some Observations on Infinitary Complexity
by: Carl, Merlin
Published: (2018)

Programs Versus Finite Tree-Programs
by: Moshkov, Mikhail
Published: (2025)

Some model theory of quadratic geometries
by: Kestner, Charlotte, et al.
Published: (2024)

Some model theory of the Heisenberg group
by: Frącek, Maciej, et al.
Published: (2025)

Combinatorial Properties Related to the Higher Baumgartner's Axiom
by: Krueger, John
Published: (2026)

Some applications of fuzzy sets in residuated lattices
by: Flaut, Cristina, et al.
Published: (2024)

Optimal Results on ITRM-recognizability
by: Carl, Merlin
Published: (2013)

Some Epistemic Extensions of Gödel Fuzzy Logic
by: Dastgheib, D., et al.
Published: (2016)

Uniform validity of atomic Split rule in monotonic proof-theoretic semantics
by: d'Aragona, Antonio Piccolomini
Published: (2025)

Split Interpolation: Refining Craig's Theorem via Three-Valued Logics
by: Blomet, Quentin
Published: (2025)

Some observations on a result by Bialinicki-Birula and Zelazko
by: Gullà, Gabriele
Published: (2024)

Some results in non-monotonic proof-theoretic semantics
by: d'Aragona, Antonio Piccolomini
Published: (2025)

A Complete Finite Axiomatisation of the Equational Theory of Common Meadows
by: Bergstra, Jan A, et al.
Published: (2023)

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification
by: Swisa, Maya, et al.
Published: (2025)

Finite central extensions of o-minimal groups
by: Baro, Elías, et al.
Published: (2024)

Wright's First-Order Logic of Strict Finitism
by: Yamada, Takahiro
Published: (2024)

Big Ramsey Degrees in Ultraproducts of Finite Structures
by: Bartošová, Dana, et al.
Published: (2022)

Cardinalities of Ultraproducts of Finite Sets in ZF + DC
by: Kowalczyk, Jacob
Published: (2025)

An almost Kurepa Suslin tree with strongly non-saturated square
by: Krueger, John, et al.
Published: (2024)

A virtual five element basis for the uncountable linear orders
by: Krueger, John, et al.
Published: (2025)

A Characterization Result for Non-Distributive Logics
by: Chrysafis, et al.
Published: (2020)

Characterizing Finitely Based Abelian Mal'cev Algebras
by: Muro, Mateo
Published: (2024)