Buchumschlag

Tarski's least fixed point theorem: A predicative type theoretic formulation

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Ray, Ian
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

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

Y is a least fixed point combinator
von: Helfer, Joseph
Veröffentlicht: (2025)

A Topological Rewriting of Tarski's Mereogeometry
von: Barlatier, Patrick, et al.
Veröffentlicht: (2025)

A characterization of the $n$-ary many-sorted closure operators and a many-sorted Tarski irredundant basis theorem
von: Vidal, Juan Climent, et al.
Veröffentlicht: (2017)

A model-thoeretic version of Tarski's theorem
von: Maříková, Jana
Veröffentlicht: (2025)

Undecidability of theories of semirings with fixed points
von: Das, Anupam, et al.
Veröffentlicht: (2025)

Recursive inseparability of classical theories of a binary predicate and non-classical logics of a unary predicate
von: Rybakov, Mikhail
Veröffentlicht: (2025)

Gödel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication
von: de Groot, Jim, et al.
Veröffentlicht: (2021)

Upward Löwenheim-Skolem-Tarski Numbers for Abstract Logics
von: Gitman, Victoria, et al.
Veröffentlicht: (2024)

On the existence property over a predicate
von: Usvyatsov, Alexander
Veröffentlicht: (2025)

On $\lam$-existence over a predicate
von: Usvyatsov, Alexander
Veröffentlicht: (2026)

A completeness theorem in proof-theoretic semantics via set-theoretic semantics
von: Takemura, Ryo
Veröffentlicht: (2025)

A definição de verdade de Tarski
von: Cardoso, Guilherme, 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)

Substructural fixed-point theorems and the diagonal argument: theme and variations
von: Roberts, David Michael
Veröffentlicht: (2021)

Stability over a predicate and prime closure
von: Usvyatsov, Alexander
Veröffentlicht: (2024)

Strong completeness for the predicate logic of the continuous t-norms
von: Castaño, Diego, et al.
Veröffentlicht: (2024)

Craig interpolation theorem fails in bi-intuitionistic predicate logic
von: Olkhovikov, Grigory K., et al.
Veröffentlicht: (2022)

Modal logical aspects of provability predicates and consistency statements
von: Kogure, Haruka, et al.
Veröffentlicht: (2025)

Stable amalgamation over a predicate and the Gaifman property
von: Shelah, Saharon, et al.
Veröffentlicht: (2025)

A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates
von: Oda, Yukihiro, et al.
Veröffentlicht: (2022)

Wider systems for linear logic with fixed points: proof theory and complexity
von: Das, Anupam, et al.
Veröffentlicht: (2026)

Fibred sets within a predicative and constructive effective topos
von: Cioffo, Cipriano Junior, et al.
Veröffentlicht: (2024)

A Coq-based Axiomatization of Tarski's Mereogeometry
von: Barlatier, Patrick, et al.
Veröffentlicht: (2025)

Superintuitionistic predicate logics of linear frames: undecidability with two individual variables
von: Rybakov, Mikhail
Veröffentlicht: (2025)

Towards an Independent Version of Tarski's System of Geometry
von: Boutry, Pierre, et al.
Veröffentlicht: (2024)

Negative resolution to the $C^*$-algebraic Tarski problem
von: Elayavalli, Srivatsav Kunnawalkam, et al.
Veröffentlicht: (2025)

A model theoretic proof for o-minimal coherence theorem
von: Fu, Yayi
Veröffentlicht: (2023)

Non-Transferability in Communication Channels and Tarski`s Truth Theorem
von: Naderian, Farhad
Veröffentlicht: (2022)

Self-embeddings of models of arithmetic; fixed points, small submodels, and extendability
von: Bahrami, Saeideh
Veröffentlicht: (2022)

The algebraic semantics for the one-variable monadic fragment of the predicate logic $\mathcal{G}\forall_{\sim}$
von: Castaño, Diego, et al.
Veröffentlicht: (2024)

Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits
von: Dowek, Gilles, et al.
Veröffentlicht: (2023)

Sharing proofs with predicative theories through universe-polymorphic elaboration
von: Felicissimo, Thiago, et al.
Veröffentlicht: (2023)

Computational expressivity of (circular) proofs with fixed points
von: Curzi, Gianluca, et al.
Veröffentlicht: (2023)

On equationally Noetherian predicate structures
von: Buchinskiy, Ivan, et al.
Veröffentlicht: (2024)

Relative fixed points of functors
von: Schoen, Ezra, et al.
Veröffentlicht: (2023)

Tarski's Undefinability Theorem and first-order arithmetic
von: Boyce, Stephen
Veröffentlicht: (2010)

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

Diminishing Returns in Expanding Generative Models and Godel-Tarski-Lob Limits
von: Majumdar, Angshul
Veröffentlicht: (2026)