Cover Image

Q-points in the Tukey order

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Raghavan, Dilip
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

Order structure of P-point ultrafilters and their relatives
by: Kuzeljevic, Borisa, et al.
Published: (2024)

Adding ultrafilters to Shelah's model for no nowhere dense ultrafilters
by: Raghavan, Dilip, et al.
Published: (2024)

Borel Order Dimension
by: Raghavan, Dilip, et al.
Published: (2024)

On the Tukey types of Fubini products
by: Benhamou, Tom, et al.
Published: (2023)

Explicit Morphisms in the Galois-Tukey Category
by: Philips, David
Published: (2025)

Ultrafilters over Successor Cardinals and the Tukey Order
by: Benhamou, Tom, et al.
Published: (2025)

Generalized Tukey reducibility between $σ$-directed sets
by: Sakai, Hiroshi, et al.
Published: (2025)

Combinatorial properties of MAD families
by: Brendle, Jörg, et al.
Published: (2022)

Diamond principles and Tukey-top ultrafilters on a countable set
by: Benhamou, Tom, et al.
Published: (2024)

Tukey-idempotency and strong p-points
by: Benhamou, Tom, et al.
Published: (2025)

There may be exactly $n$ $Q$-points
by: Halbeisen, Lorenz, et al.
Published: (2025)

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

Initial Tukey structure below a stable ordered-union ultrafilter
by: Özalp, Tan
Published: (2024)

Undecidability of theories of semirings with fixed points
by: Das, Anupam, et al.
Published: (2025)

Subvarieties of pointed Abelian l-groups
by: Jankovec, Filip
Published: (2025)

$κ$-barely independent families and Tukey types of ultrafilters
by: Chapital, Jorge Antonio Cruz
Published: (2025)

An abstract fixed-point theorem for Horn formula equations
by: Hetzl, Stefan, et al.
Published: (2025)

Proof-theoretic Semantics for First-order Logic
by: Gheorghiu, Alexander V.
Published: (2024)

Proof-theoretic Semantics for Second-order Logic
by: Gheorghiu, Alexander V., et al.
Published: (2025)

Countability constraints in order-theoretic approaches to computability
by: Hack, Pedro, et al.
Published: (2022)

Wider systems for linear logic with fixed points: proof theory and complexity
by: Das, Anupam, et al.
Published: (2026)

On semantics of first-order justification logic with binding modalities
by: Yavorskaya, Tatiana, et al.
Published: (2025)

Decomposing graphs into stable and ordered parts
by: Buffière, Hector, et al.
Published: (2025)

First-order Logic with Being a Thesis Modal Operator
by: Łyczak, Marcin
Published: (2024)

The proof theory and semantics of second-order (intuitionistic) tense logic
by: Becker, Justus, et al.
Published: (2026)

A linear proof language for second-order intuitionistic linear logic
by: Díaz-Caro, Alejandro, et al.
Published: (2023)

On the expressive power of inquisitive team logic and inquisitive first-order logic
by: Kontinen, Juha, et al.
Published: (2026)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
by: Oda, Yukihiro, et al.
Published: (2021)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
by: Gaßner, Christine
Published: (2025)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
by: Powell, Thomas
Published: (2023)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
by: Gaßner, Christine
Published: (2025)

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
by: Gaßner, Christine
Published: (2025)

P-measures in models without P-points
by: Borodulin-Nadzieja, Piotr, et al.
Published: (2024)

On first-order transductions of classes of graphs
by: Braunfeld, Samuel, et al.
Published: (2022)

Making first order linear logic a generating grammar
by: Slavnov, Sergey
Published: (2022)

More on the indivisibility of $\mathbb{Q}$
by: Pauly, Arno
Published: (2024)

On maximal order type of the lexicographic product
by: Džamonja, Mirna, et al.
Published: (2024)

Sequent calculi for first-order ST
by: Paoli, Francesco, et al.
Published: (2026)

Definiteness properties of first-order schemes
by: Gruza, Piotr, et al.
Published: (2025)

Cofinitary groups and projective well-orders
by: Fischer, Vera, et al.
Published: (2023)