:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autore principale:	Goto, Tatsuya
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Logic
Accesso online:	https://arxiv.org/abs/2302.08040
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

Keisler's Theorem and Cardinal Invariants
di: Goto, Tatsuya
Pubblicazione: (2021)

Cardinal invariants associated with Hausdorff measures
di: Goto, Tatsuya
Pubblicazione: (2021)

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

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

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

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

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

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

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

Hyperseries subfields of surreal numbers
di: Bagayoko, Vincent
Pubblicazione: (2024)

The number of normal measures, revisited
di: Kaplan, Eyal
Pubblicazione: (2025)

Dominating numbers at singular cardinals
di: Hayashi, Yusuke
Pubblicazione: (2025)

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

Sign sequences of log-atomic numbers
di: Bagayoko, Vincent
Pubblicazione: (2024)

Hanf numbers for poset games
di: Herrera, Fabián Rivero
Pubblicazione: (2025)

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

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

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

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

Borel complexity of the set of typical numbers
di: Tomaszewski, Jakub
Pubblicazione: (2022)

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

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

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

On the generalized coloring numbers
di: Siebertz, Sebastian
Pubblicazione: (2025)

Natural numbers from integers
di: Sattler, Christian, et al.
Pubblicazione: (2024)

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

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

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

Borel distinguishing number
di: Bilge, Onur, et al.
Pubblicazione: (2025)

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

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

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

Owicki--Gries Logic for Timestamp Semantics
di: Abe, Tatsuya
Pubblicazione: (2025)

Cichoń's maximum with evasion number
di: Yamazoe, Takashi
Pubblicazione: (2024)

Evasion numbers via zero-prediction
di: Yamazoe, Takashi
Pubblicazione: (2026)

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

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