:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Bannister, Nathaniel
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2411.05967
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Additivity of derived limits in the Cohen model
by: Bannister, Nathaniel
Published: (2023)

Nonvanishing Higher Derived Limits without $w\diamondsuit_{ω_1}$
by: Bannister, Nathaniel
Published: (2025)

All you need is $\mathbf{A}_κ$
by: Bannister, Nathaniel
Published: (2025)

Condensed Sets and the Solovay Model
by: Bannister, Nathaniel, et al.
Published: (2026)

Local and global $d$-rigidity are not definable in the first order logic of graphs
by: Bernstein, Daniel Irving, et al.
Published: (2025)

Trace definability III: Infinite dimensional space over a model of $T$
by: Walsberg, Erik
Published: (2026)

Central H-spaces and banded types
by: Buchholtz, Ulrik, et al.
Published: (2023)

Substitution Without Copy and Paste
by: Altenkirch, Thorsten, et al.
Published: (2025)

Local structure of idempotent algebras I
by: Bulatov, Andrei A.
Published: (2020)

Quasi-Polish spaces and spaces of filters in second-order arithmetic
by: Kaneko, Yuzuki, et al.
Published: (2026)

Completions of Kleene's second model
by: Terwijn, Sebastiaan A.
Published: (2023)

Function spaces for orbit-finite sets
by: Bojańczyk, Mikołaj, et al.
Published: (2024)

Effective weak convergence and tightness of measures in computable Polish spaces
by: Rojas, Diego A.
Published: (2024)

Constructive higher sheaf models with applications to synthetic mathematics
by: Coquand, Thierry, et al.
Published: (2026)

Partitions of Baire space into compact sets
by: Fischer, Vera, et al.
Published: (2023)

A concrete model for a typed linear algebraic lambda calculus
by: Díaz-Caro, Alejandro, et al.
Published: (2018)

On Star operation and some ideals on the Baire space
by: Cieślak, Aleksander, et al.
Published: (2026)

Fodor space in generalized descriptive set theory
by: Feldman, Ido, et al.
Published: (2026)

Maximal WAP and tame quotients of type spaces
by: Krupiński, Krzysztof, et al.
Published: (2025)

LFPL: Revisited and Mechanized
by: Glover, Nathaniel, et al.
Published: (2026)

Hanf Locality and Invariant Elementary Definability
by: Lindell, Steven, et al.
Published: (2025)

Uniform Local Tabularity in Intuitionistic Logic
by: Almeida, Rodrigo Nicolau
Published: (2026)

Measuring robustness of dynamical systems. Relating time and space to length and precision
by: Blanc, Manon, et al.
Published: (2023)

Reverse mathematics of regular countable second countable spaces
by: Genovesi, Giorgio G.
Published: (2024)

On a lattice of relational spaces (reducts) for the order of integers
by: Semenov, A. L., et al.
Published: (2024)

Degree spectra of homeomorphism types of compact Polish spaces
by: Hoyrup, Mathieu, et al.
Published: (2020)

Locality in Residuated-Lattice Structures
by: Carr, James
Published: (2025)

The equivariant model structure on cartesian cubical sets
by: Awodey, Steve, et al.
Published: (2024)

Weak A2 spaces, the Kastanas game and strategically Ramsey sets
by: Yung, Clement
Published: (2024)

Full mad families of vector spaces and two local Ramsey theories
by: Yung, Clement
Published: (2025)

A note on quantitative stability in Hilbert spaces
by: Jing, Yifan
Published: (2026)

Local Tabularity is Decidable for Bi-Intermediate Logics of Trees and of Co-Trees
by: Martins, Miguel, et al.
Published: (2024)

Local-Order-Invariant Logic on Classes of Bounded Degree
by: Aoki, Derek
Published: (2025)

Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory
by: Petrakis, Iosif, et al.
Published: (2022)

Uniform Local Weak o‐Minimality and ∗$*$‐Local Weak o‐Minimality
by: Masato Fujita
Published: (2025)

The ZOO of combinatorial Banach spaces
by: Borodulin-Nadzieja, Piotr, et al.
Published: (2024)

Biquadratic spaces of length two
by: Danelon, Alessandro, et al.
Published: (2024)

Continuous colorings on compact spaces
by: de Rancourt, Noé, et al.
Published: (2025)

Dual Ploščica spaces of ortholattices
by: Craig, Andrew, et al.
Published: (2026)

Chang models over derived models with supercompact measures
by: Gappo, Takehiko, et al.
Published: (2023)