:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Chong, Chi Tat, Wong, Tin Lok
Format:	Preprint
Published:	2025
Subjects:	Logic 03D55 (Primary), 03C62 (Secondary)
Online Access:	https://arxiv.org/abs/2510.18490
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The calculus of names -- The legacy of Jan Łukasiewicz
by: Pietruszczak, Andrzej
Published: (2023)

Game semantics for the constructive $μ$-calculus
by: Pacheco, Leonardo
Published: (2023)

An equiconsistency proof for $\mathrm{CZF} + V = L$
by: Wang, Shuwei
Published: (2026)

Building models in small cardinals in local abstract elementary classes
by: Mazari-Armida, Marcos, et al.
Published: (2023)

Clarifying ordinals
by: Schweber, Noah
Published: (2024)

Recursive Analogues of Shrewdness and Subtlety, with Applications to Fine Structure
by: Massmann, Jayde Sylvie
Published: (2023)

On double-membership graphs of models of Anti-Foundation
by: Adam-Day, Bea, et al.
Published: (2019)

On Stability and Existence of Models in Abstract Elementary Classes
by: Mazari-Armida, Marcos, et al.
Published: (2024)

Satisfaction classes with approximate disjunctive correctness
by: Enayat, Ali
Published: (2023)

Categoricity and amalgamation for AEC and $ κ$ measurable
by: Kolman, Oren, et al.
Published: (1996)

A non-computable c.e. closed subset of $[0,1]$
by: Badaev, Serikzhan, et al.
Published: (2025)

The Kaufmann--Clote question on end extensions of models of arithmetic and the weak regularity principle
by: Sun, Mengzhou
Published: (2024)

A $Π^0_2$ Singleton of Minimal Arithmetic Degree
by: Gerdes, Peter
Published: (2023)

A model for global compactness
by: Jirattikansakul, Sittinon, et al.
Published: (2024)

Very large set axioms over constructive set theories
by: Jeon, Hanul, et al.
Published: (2022)

A Ramsey theorem for the reals
by: Inamdar, Tanmay
Published: (2024)

On the theory of exponential integer parts
by: Jeřábek, Emil
Published: (2024)

String Dimension: VC Dimension for Infinite Shattering
by: Ryan-Smith, Calliope
Published: (2024)

The Tree Pulldown Method: McLaughlin's Conjecture and Beyond
by: Harrington, Leo A., et al.
Published: (2025)

Computability for tree presentations of continuum-size structures
by: Block, Jason, et al.
Published: (2025)

A Minimal Substitution Basis for the Kalmár Elementary Functions
by: Prunescu, Mihai, et al.
Published: (2025)

The adjacent Hindman's theorem for uncountable groups
by: Carlucci, Lorenzo, et al.
Published: (2020)

A new model for all $C$-sequences are trivial
by: Rinot, Assaf, et al.
Published: (2025)

Iterated club shooting and the stationary-logic constructible model
by: Ya'ar, Ur
Published: (2022)

More on expressibility of satisfiability in submodels and extensions
by: Poliakov, Nikolai L., et al.
Published: (2026)

On Separating Wholeness Axioms
by: Jeon, Hanul
Published: (2023)

Unthreadability with Small Conditions
by: Levine, Maxwell
Published: (2022)

Universally Baire sets in $2^κ$
by: Ikegami, Daisuke, et al.
Published: (2024)

Partition theorems for Ketonen-Solovay largeness
by: Houérou, Quentin Le, et al.
Published: (2026)

Self-divisible ultrafilters and congruences in $β\mathbb{Z}$
by: Di Nasso, Mauro, et al.
Published: (2023)

Antichain of ordinals in intuitionistic set theory
by: Wang, Shuwei
Published: (2025)

An ordinal analysis of CM and its extensions
by: Wang, Shuwei
Published: (2025)

Proper classes of maximal $θ$-independent families from large cardinals
by: Ryan-Smith, Calliope
Published: (2024)

Sub-sub-intuitionistic logic
by: Deakin, Jonte, et al.
Published: (2024)

The $κ$-Strongly Proper Forcing Axiom
by: Asperó, David, et al.
Published: (2019)

Critical embeddings
by: Karagila, Asaf, et al.
Published: (2024)

A Topological Rainbow Ramsey Theorem
by: Jakob, Hannes, et al.
Published: (2026)

Disjoint Stationary Sequences on an Interval of Cardinals
by: Jakob, Hannes
Published: (2023)

Some notes on plump ordinals
by: Wang, Shuwei
Published: (2026)

Comment to "Almost disjoint sets, the dense set problem and the partition calculus"
by: Pereira, Júnio Luan
Published: (2026)