:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteur principal:	Krueger, John
Format:	Preprint
Publié:	2024
Sujets:	Logic
Accès en ligne:	https://arxiv.org/abs/2408.05380
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Strongly Non-Saturated Aronszajn Tree Without Weak Kurepa Trees
par: Krueger, John, et autres
Publié: (2025)

Universal wide Aronszajn tree
par: Kivimäki, Siiri
Publié: (2025)

The special Aronszajn tree property at $\aleph_2$ and $GCH$
par: Asperó, David, et autres
Publié: (2018)

Aronszajn trees and maximality
par: Ben-Neria, Omer, et autres
Publié: (2023)

The class of Aronszajn lines under epimorphisms
par: Polymeris, Lucas, et autres
Publié: (2025)

A Rigid Kurepa Tree From a Free Suslin Tree
par: Krueger, John
Publié: (2023)

Some General Completeness Results for Propositionally Quantified Modal Logics
par: Ding, Yifeng, et autres
Publié: (2024)

A Strong Kurepa Tree
par: Krueger, John
Publié: (2025)

Walks on uncountable ordinals and non-structure theorems for higher Aronszajn lines
par: Inamdar, Tanmay, et autres
Publié: (2024)

Forcing Over a Free Suslin Tree
par: Krueger, John, et autres
Publié: (2024)

Suslin tree preservation and club isomorphisms
par: Krueger, John
Publié: (2022)

Some Results on Causal Modalities in General Spacetimes
par: Lewis, Marco, et autres
Publié: (2026)

Results on Colored Tree Properties
par: Day, Gabriel
Publié: (2025)

The Pebble-Relation Comonad in Finite Model Theory
par: Montacute, Yoàv, et autres
Publié: (2021)

Combinatorial Properties Related to the Higher Baumgartner's Axiom
par: Krueger, John
Publié: (2026)

Embedded Finite Models Beyond Restricted Quantifier Collapse
par: Benedikt, Michael, et autres
Publié: (2023)

Non-Derivability Results in Polymorphic Dependent Type Theory
par: Geuvers, Herman
Publié: (2026)

An almost Kurepa Suslin tree with strongly non-saturated square
par: Krueger, John, et autres
Publié: (2024)

A virtual five element basis for the uncountable linear orders
par: Krueger, John, et autres
Publié: (2025)

Some remarks on lattices of equivalences
par: Herrmann, Christian
Publié: (2025)

Fragments of Some Subintuitionistic Logics
par: Maleki, Fatemeh Shirmohammadzadeh, et autres
Publié: (2025)

Some Observations on Infinitary Complexity
par: Carl, Merlin
Publié: (2018)

Programs Versus Finite Tree-Programs
par: Moshkov, Mikhail
Publié: (2025)

Some model theory of quadratic geometries
par: Kestner, Charlotte, et autres
Publié: (2024)

Some model theory of the Heisenberg group
par: Frącek, Maciej, et autres
Publié: (2025)

Some applications of fuzzy sets in residuated lattices
par: Flaut, Cristina, et autres
Publié: (2024)

Some Epistemic Extensions of Gödel Fuzzy Logic
par: Dastgheib, D., et autres
Publié: (2016)

A Complete Finite Axiomatisation of the Equational Theory of Common Meadows
par: Bergstra, Jan A, et autres
Publié: (2023)

Intersection Types via Finite-Set Declarations
par: Kamareddine, Fairouz, et autres
Publié: (2024)

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification
par: Swisa, Maya, et autres
Publié: (2025)

Optimal Results on ITRM-recognizability
par: Carl, Merlin
Publié: (2013)

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

Some results in non-monotonic proof-theoretic semantics
par: d'Aragona, Antonio Piccolomini
Publié: (2025)

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

Split Interpolation: Refining Craig's Theorem via Three-Valued Logics
par: Blomet, Quentin
Publié: (2025)

Finite central extensions of o-minimal groups
par: Baro, Elías, et autres
Publié: (2024)

Wright's First-Order Logic of Strict Finitism
par: Yamada, Takahiro
Publié: (2024)

Big Ramsey Degrees in Ultraproducts of Finite Structures
par: Bartošová, Dana, et autres
Publié: (2022)

Cardinalities of Ultraproducts of Finite Sets in ZF + DC
par: Kowalczyk, Jacob
Publié: (2025)

Enumeration of Finite Distance Monoids
par: Luo, Yunjie, et autres
Publié: (2025)