:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Goto, Tatsuya
Format:	Preprint
Published:	2023
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2302.08040
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Separating covering numbers and separating uniformity numbers of Hausdorff measures need large continuum
by: Goto, Tatsuya
Published: (2025)

Game-theoretic variants of splitting number
by: Chapital, Jorge Antonio Cruz, et al.
Published: (2024)

Goldstern's principle about unions of null sets
by: Goto, Tatsuya
Published: (2022)

Keisler's Theorem and Cardinal Invariants
by: Goto, Tatsuya
Published: (2021)

Cardinal invariants associated with Hausdorff measures
by: Goto, Tatsuya
Published: (2021)

The Hausdorff measure due to Davies and Rogers and its cardinal invariants
by: Goto, Tatsuya
Published: (2026)

Goldstern's Principle with respect to Hausdorff Measures
by: Goto, Tatsuya
Published: (2025)

Polynomial Calculus sizes over the Boolean and Fourier bases are incomparable
by: Mouli, Sasank
Published: (2024)

Game-theoretic variants of cardinal invariants
by: Chapital, Jorge Antonio Cruz, et al.
Published: (2023)

On all numbers great and small (Topological fields of Conway's numbers and their completions)
by: Lisica, Ju. T.
Published: (2024)

Bijective proofs for Eulerian numbers of types B and D
by: Santocanale, Luigi
Published: (2021)

Boolean basis, formula size, and number of modal operators
by: Berkholz, Christoph, et al.
Published: (2024)

Hyperseries subfields of surreal numbers
by: Bagayoko, Vincent
Published: (2024)

The number of normal measures, revisited
by: Kaplan, Eyal
Published: (2025)

Dominating numbers at singular cardinals
by: Hayashi, Yusuke
Published: (2025)

On chromatic number of countable graphs
by: Kikyo, Hirotaka, et al.
Published: (2026)

Sign sequences of log-atomic numbers
by: Bagayoko, Vincent
Published: (2024)

Hanf numbers for poset games
by: Herrera, Fabián Rivero
Published: (2025)

On the number of cofinalities of cuts in ultraproducts of linear orders
by: Golshani, Mohammad
Published: (2025)

The number of measures on very large measurable cardinals
by: Apter, Arthur W., et al.
Published: (2026)

More on yet another ideal version of the bounding number
by: Kwela, Adam
Published: (2024)

Skelet #17 and the fifth Busy Beaver number
by: Xu, Chris
Published: (2024)

Borel complexity of the set of typical numbers
by: Tomaszewski, Jakub
Published: (2022)

Geometric theories for real number algebra without sign test or dependent choice axiom
by: Lombardi, Henri, et al.
Published: (2024)

Multi-representation associated to the numbering of a subbasis and formal inclusion relations
by: Rauzy, Emmanuel
Published: (2023)

A note on adding isomorphisms and the pseudointersection number
by: Switzer, Corey Bacal
Published: (2025)

On the generalized coloring numbers
by: Siebertz, Sebastian
Published: (2025)

Natural numbers from integers
by: Sattler, Christian, et al.
Published: (2024)

A small ultrafilter number at all $\aleph_3\leqκ<\aleph_ω$
by: Eshkol, Julian
Published: (2025)

On first-order model checking parameterized by the number of variables
by: Jedelský, Jan
Published: (2026)

Logics with the axiom of convergence: complexity with a small number of variables in the language (extended version)
by: Rybakov, M., et al.
Published: (2025)

Borel distinguishing number
by: Bilge, Onur, et al.
Published: (2025)

On the number of asynchronous attractors in AND-NOT Boolean networks
by: Trinh, Van-Giang, et al.
Published: (2025)

Skands and coskands (The non-founded set theory with individuals and its model in the Field of all Conway numbers)
by: Lisica, Ju. T.
Published: (2025)

The magmatic universe revisited: we define ordered pairs, relations, numbers and a special form of Separation
by: Tzouvaras, Athanassios
Published: (2026)

Owicki--Gries Logic for Timestamp Semantics
by: Abe, Tatsuya
Published: (2025)

Cichoń's maximum with evasion number
by: Yamazoe, Takashi
Published: (2024)

Evasion numbers via zero-prediction
by: Yamazoe, Takashi
Published: (2026)

Extracting efficient exact real number computation from proofs in constructive type theory
by: Konečný, Michal, et al.
Published: (2022)

Magidor-like forcing and the cofinality of the Galvin number
by: Garti, Shimon
Published: (2025)