Buchumschlag

A formalization of the Gelfond-Schneider theorem

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Karatarakis, Michail, Wiedijk, Freek
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Formalized Hopfield Networks and Boltzmann Machines
von: Cipollina, Matteo, et al.
Veröffentlicht: (2025)

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

Tutte's theorem as an educational formalization project
von: Otte, Pim
Veröffentlicht: (2025)

Incompleteness for stably computable formal systems
von: Savelyev, Yasha
Veröffentlicht: (2022)

A Cobham theorem for scalar multiplication
von: Hieronymi, Philipp, et al.
Veröffentlicht: (2024)

Incompleteness theorems via Turing category
von: Savelyev, Yasha
Veröffentlicht: (2024)

An abstract fixed-point theorem for Horn formula equations
von: Hetzl, Stefan, et al.
Veröffentlicht: (2025)

The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
von: Przybocki, Benjamin, et al.
Veröffentlicht: (2024)

Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking
von: Ken, Eitetsu, et al.
Veröffentlicht: (2024)

A simple formalization of alpha-equivalence
von: Apinis, Kalmer, et al.
Veröffentlicht: (2025)

PECR: A formal system based on computability logic
von: Pantelis, G.
Veröffentlicht: (2024)

Toward a formalization of artifacts in GFO
von: Fiegenbaum, Hanna
Veröffentlicht: (2024)

A concise proof of Commoner's theorem
von: Jancar, Petr
Veröffentlicht: (2024)

An implicit function theorem for the stream calculus
von: Boreale, Michele, et al.
Veröffentlicht: (2023)

Preservation theorems for Tarski's relation algebra
von: Bogaerts, Bart, et al.
Veröffentlicht: (2023)

A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets
von: Arias, Jaime, et al.
Veröffentlicht: (2024)

A uniform cut-elimination theorem for linear logics with fixed points and super exponentials
von: Bauer, Esaïe, et al.
Veröffentlicht: (2025)

When do modal definability and preservation theorems transfer to the finite?
von: van Benthem, Johan, et al.
Veröffentlicht: (2026)

An adequacy theorem between mixed powerdomains and probabilistic concurrency (extended version)
von: Neves, Renato
Veröffentlicht: (2024)

Formalization of Biological Circuit Block Diagrams for formally analyzing Biomedical Control Systems in pHRI Applications
von: Rashid, Adnan, et al.
Veröffentlicht: (2024)

A formalization of System I with type Top in Agda
von: Séttimo, Agustín, et al.
Veröffentlicht: (2026)

The unstable formula theorem revisited via algorithms
von: Malliaris, Maryanthe, et al.
Veröffentlicht: (2022)

Metacat: a categorical framework for formal systems
von: Wilson, Paul
Veröffentlicht: (2026)

Factorizing formal contexts from closures of necessity operators
von: Aragón, Roberto G., et al.
Veröffentlicht: (2026)

Finite element method. Detailed proofs to be formalized in Coq
von: Clément, François, et al.
Veröffentlicht: (2024)

A formal specification of the desired software behaviour of the Princess Marijke lock complex
von: Groote, Jan Friso, et al.
Veröffentlicht: (2025)

Glivenko's theorems from an ecumenical perspective
von: Pereira, Luiz Carlos, et al.
Veröffentlicht: (2026)

A Logic of Inability
von: Wang, Shanxia
Veröffentlicht: (2026)

Sequent Calculi for Data-Aware Modal Logics
von: Areces, Carlos, et al.
Veröffentlicht: (2025)

A Logic of Secrecy on Simplicial Models
von: Wang, Shanxia
Veröffentlicht: (2026)

A Study on Actions for Atomic Logics
von: Espejo-Boix, Raül
Veröffentlicht: (2024)

A modal approach towards substitutions
von: Tu, Yaxin, et al.
Veröffentlicht: (2025)

A logic for default deontic reasoning
von: Piazza, Mario, et al.
Veröffentlicht: (2025)

A proof-theoretic approach to abstract interpretation
von: D'Silva, Vijay, et al.
Veröffentlicht: (2026)

A Coalgebraic Semantics for Intuitionistic Modal Logic
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2024)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
von: Kihara, Takayuki
Veröffentlicht: (2024)

Guarded Successor: A Novel Temporal Logic
von: Asor, Ohad
Veröffentlicht: (2024)

A note on Stone-Čech compactification in ZFA
von: Przybyłek, Michał R.
Veröffentlicht: (2023)

A Linear Temporal Logic of Frequencies on Series of Events
von: Antonelli, Melissa, et al.
Veröffentlicht: (2026)

A Dual-Threshold Probabilistic Knowing Value Logic
von: Wang, Shanxia
Veröffentlicht: (2026)