Cover Image

The Myhill isomorphism theorem does not generalize much

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Pradic, Cécilia
Format:	Preprint
Published:	2025
Subjects:	Logic Logic in Computer Science 03F50, 03F60
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Problems with fixpoints of polynomials of polynomials
by: Pradic, Cécilia, et al.
Published: (2026)

Lewis and Brouwer meet Strong Löb
by: Visser, Albert, et al.
Published: (2024)

Weihrauch problems as containers
by: Pradic, Cécilia, et al.
Published: (2025)

Tableau Proof Systems for Justification Logics
by: Ghari, Meghdad
Published: (2014)

Glivenko's theorems from an ecumenical perspective
by: Pereira, Luiz Carlos, et al.
Published: (2026)

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
by: Ayhan, Sara
Published: (2023)

Constructive validity of a generalized Kreisel-Putnam rule
by: Pezlar, Ivo
Published: (2023)

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

Computably discrete represented spaces
by: Neumann, Eike, et al.
Published: (2025)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
by: Ghari, Meghdad
Published: (2014)

A declarative approach to specifying distributed algorithms using three-valued modal logic
by: Gabbay, Murdoch J., et al.
Published: (2025)

The equational theory of the Weihrauch lattice with (iterated) composition
by: Pradic, Cécilia
Published: (2024)

An ecumenical view of proof-theoretic semantics
by: Nascimento, Victor, et al.
Published: (2023)

Hierarchical formula classes with respect to semi-classical prenex normalization
by: Fujiwara, Makoto, et al.
Published: (2025)

The Uniform Functional Interpretation with Informative Types
by: Ferreira, Fernando, et al.
Published: (2025)

Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator
by: Hartonas, Chrysafis
Published: (2023)

A Sequent Calculus Perspective on Base-Extension Semantics (Technical Report)
by: Barroso-Nascimento, Victor, et al.
Published: (2025)

Nested Sequents for Provability Logic GLP
by: Shamkanov, Daniyar
Published: (2014)

The Compatibility of the Minimalist Foundation with Homotopy Type Theory
by: Contente, Michele, et al.
Published: (2022)

Generalizing Goodstein's theorem and Cichon's independence proof
by: Wilken, Gunnar
Published: (2025)

Generating proof systems for three-valued propositional logics
by: Greati, Vitor, et al.
Published: (2024)

Internal Effectful Forcing in System T
by: Escardo, Martin H., et al.
Published: (2025)

On the Constructive Theory of Jordan Curves
by: Bridges, Douglas S.
Published: (2025)

Improving Cauchy's Theorem in Constructive Analysis
by: Bridges, Douglas S.
Published: (2024)

The proof-theoretic strength of Constructive Second-order set theories
by: Jeon, Hanul
Published: (2023)

Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
by: Anttila, Aleksi, et al.
Published: (2025)

Exploring the abyss in Kleene's computability theory
by: Sanders, Sam
Published: (2023)

Avoiding logical strength in real analysis
by: Freund, Anton, et al.
Published: (2026)

Algorithmic correspondence and analytic rules
by: De Domenico, Andrea, et al.
Published: (2022)

Reasoning Around Paradox with Grounded Deduction
by: Ford, Bryan
Published: (2024)

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2025)

Encoding Sequences in Intuitionistic Real Algebra
by: Erdélyi-Szabó, Miklós
Published: (2025)

Proof-theoretic dilator and intermediate pointclasses
by: Jeon, Hanul
Published: (2025)

Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real Algebra
by: Erdélyi-Szabó, Miklós
Published: (2024)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
by: Barroso-Nascimento, Victor, et al.
Published: (2025)

Cut elimination for propositional cyclic proof systems with fixed-point operators
by: Hori, Hiromasa, et al.
Published: (2023)

A general approach to asymptotic elimination of aggregation functions and generalized quantifiers
by: Koponen, Vera, et al.
Published: (2023)

Computable Approximations of Semicomputable Graphs
by: Čačić, Vedran, et al.
Published: (2024)

A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
by: Anttila, Aleksi, et al.
Published: (2025)

Intuitionistic Common Knowledge
by: Zenger, Lukas
Published: (2026)