:: Library Catalog

Copertina

Salvato in:

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

Documenti analoghi

New definitions in the theory of Type 1 computable topological spaces
di: Rauzy, Emmanuel
Pubblicazione: (2023)

A generalization of Markov's approach to the continuity problem for Type 1 computable functions
di: Rauzy, Emmanuel
Pubblicazione: (2023)

Effective bases and notions of effective second countability in computable analysis
di: Brattka, Vasco, et al.
Pubblicazione: (2025)

A robust family of residually finite groups; spectra of residual finiteness growth, computability properties, and other applications (with an appendix by Arman Darbinyan and Emmanuel Rauzy)
di: Darbinyan, Arman, et al.
Pubblicazione: (2025)

Computable Bases
di: Brattka, Vasco, et al.
Pubblicazione: (2025)

Remarks and problems about algorithmic descriptions of groups
di: Rauzy, Emmanuel
Pubblicazione: (2021)

Computable analysis on the space of marked groups
di: Rauzy, Emmanuel
Pubblicazione: (2021)

Incompleteness for stably computable formal systems
di: Savelyev, Yasha
Pubblicazione: (2022)

Contractions of quasi relation algebras and applications to representability
di: Craig, Andrew, et al.
Pubblicazione: (2026)

Ignorance as an excuse, formally
di: Kubyshkina, Ekaterina, et al.
Pubblicazione: (2025)

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

Towards solid abelian groups: A formal proof of Nöbeling's theorem
di: Asgeirsson, Dagur
Pubblicazione: (2023)

Complete representation by partial functions for signatures containing antidomain restriction
di: McLean, Brett
Pubblicazione: (2023)

Toward a formalization of artifacts in GFO
di: Fiegenbaum, Hanna
Pubblicazione: (2024)

Duality theory and representations for distributive quasi relation algebras and DInFL-algebras
di: Craig, Andrew, et al.
Pubblicazione: (2025)

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

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)

A formal system for reasoning about assertibility, truth, and meaningfulness
di: Weaver, Nik
Pubblicazione: (2025)

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

A representation theorem for measurable relation algebras
di: Givant, S., et al.
Pubblicazione: (2018)

A formalization of the Gelfond-Schneider theorem
di: Karatarakis, Michail, et al.
Pubblicazione: (2026)

A simple formalization of alpha-equivalence
di: Apinis, Kalmer, 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)

Intrinsic and relative characterization results for logics with negative modalities
di: de Groot, Jim, et al.
Pubblicazione: (2025)

A logic of judgmental existence and its relation to proof irrelevance
di: Pezlar, Ivo
Pubblicazione: (2024)

Cyclic group representations for relation algebras $57_{65}$ and $63_{65}$
di: Alm, Jeremy F.
Pubblicazione: (2026)

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)

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

Metacat: a categorical framework for formal systems
di: Wilson, Paul
Pubblicazione: (2026)

Tutte's theorem as an educational formalization project
di: Otte, Pim
Pubblicazione: (2025)

PECR: A formal system based on computability logic
di: Pantelis, G.
Pubblicazione: (2024)

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

A representation theorem for measurable relation algebras with cyclic groups
di: Andréka, Hajnal, et al.
Pubblicazione: (2018)

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

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

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