Copertina

Sign sequences of log-atomic numbers

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Bagayoko, Vincent
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Groups with infinite linearly ordered products
di: Bagayoko, Vincent
Pubblicazione: (2024)

Ordered groups of formal series, and a conjugacy problem
di: Bagayoko, Vincent
Pubblicazione: (2025)

Formal conjugacy and asymptotic differential algebra
di: Bagayoko, Vincent
Pubblicazione: (2024)

Equations over valued groups
di: Bagayoko, Vincent
Pubblicazione: (2024)

A formal Lie correspondence
di: Bagayoko, Vincent
Pubblicazione: (2026)

On ordered groups of regular growth rates
di: Bagayoko, Vincent Mamoutou
Pubblicazione: (2024)

Taylor expansions over generalised power series
di: Bagayoko, Vincent, et al.
Pubblicazione: (2025)

Automorphisms and derivations on algebras endowed with formal infinite sums
di: Bagayoko, Vincent, et al.
Pubblicazione: (2024)

Limits with Signed Digit Streams
di: Wiesnet, Franziskus
Pubblicazione: (2018)

The comparability numbers and the incomparability numbers
di: Goto, Tatsuya
Pubblicazione: (2023)

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

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

Descending sequences in reflection hierarchies
di: Łełyk, Mateusz, et al.
Pubblicazione: (2025)

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

The short exact sequence in definable Galois cohomology
di: Meretzky, David
Pubblicazione: (2024)

New simple theories from hypergraph sequences
di: Malliaris, M., et al.
Pubblicazione: (2021)

Individual choice sequences -- History, development and use
di: Niekus, Joop
Pubblicazione: (2025)

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)

On the representation of C-recursive integer sequences by arithmetic terms
di: Prunescu, Mihai, et al.
Pubblicazione: (2024)

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

Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal
di: Fernández-Duque, David, et al.
Pubblicazione: (2022)

Uniform validity of atomic Split rule in monotonic proof-theoretic semantics
di: d'Aragona, Antonio Piccolomini
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)

Walks along a weak square sequence and the non-semiproperness of Namba forcings
di: Tsukuura, Kenta
Pubblicazione: (2025)

Mad families of Gowers' infinite block sequences
di: Yung, Clement
Pubblicazione: (2024)

Modeling FO-limits for monadically stable sequences
di: Braunfeld, S., et al.
Pubblicazione: (2025)

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

On Structures of Sign‐Boundary and Diagonal Vacancy‐Type Standard Contradictions
di: Xingxing He, et al.
Pubblicazione: (2026)

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

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

{log}: From a Constraint Logic Programming Language to a Formal Verification Tool
di: Cristiá, Maximiliano, et al.
Pubblicazione: (2025)

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

Computable Folner sequences of amenable groups
di: Duda, Karol, et al.
Pubblicazione: (2025)

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

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)