Buchumschlag

Continuity in Potential Infinite Models

Fuente: arXiv

Gespeichert in:

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

Ähnliche Einträge

A Reflection Principle for Potential Infinite Models of Type Theory
von: Eberl, Matthias
Veröffentlicht: (2024)

Infinite trees
von: Goy, Alexandre
Veröffentlicht: (2025)

Computing with Infinite Objects: the Gray Code Case
von: Spreen, Dieter, et al.
Veröffentlicht: (2021)

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
von: Pinsker, Michael, et al.
Veröffentlicht: (2025)

Complexity of Linear Equations and Infinite Gadgets
von: Grebík, Jan, et al.
Veröffentlicht: (2025)

Algorithmic Randomness for Infinite Time Register Machines
von: Carl, Merlin
Veröffentlicht: (2014)

Approaching the Continuous from the Discrete: an Infinite Tensor Product Construction
von: Lorenzin, Antonio, et al.
Veröffentlicht: (2025)

Randomness and Degree Theory for Infinite Time Register Machines
von: Carl, Merlin
Veröffentlicht: (2015)

Space and Time Complexity for Infinite Time Turing Machines
von: Carl, Merlin
Veröffentlicht: (2019)

Towards Learning Infinite SMT Models (Work in Progress)
von: Janota, Mikoláš, et al.
Veröffentlicht: (2025)

Infinite State Model Checking by Learning Transitive Relations
von: Frohn, Florian, et al.
Veröffentlicht: (2025)

Infinite Cliques in Simple and Stable Graphs
von: Halevi, Yatir, et al.
Veröffentlicht: (2024)

An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification
von: Elad, Neta, et al.
Veröffentlicht: (2023)

Infinite Time Recognizability from Random Oracles and the Recognizable Jump Operator
von: Carl, Merlin
Veröffentlicht: (2015)

The Lost Melody Theorem for Infinite Time Blum-Shub-Smale Machines
von: Carl, Merlin
Veröffentlicht: (2020)

Trace definability III: Infinite dimensional space over a model of $T$
von: Walsberg, Erik
Veröffentlicht: (2026)

Synthesis of Infinite State Systems
von: Drucker, Ohad, et al.
Veröffentlicht: (2025)

Parameterized Infinite-State Reactive Synthesis
von: Maderbacher, Benedikt, et al.
Veröffentlicht: (2025)

Explanations for Unrealizability of Infinite-State Safety Shields
von: Rodriguez, Andoni, et al.
Veröffentlicht: (2025)

On the Computability of Measures of Regular Sets of Infinite Trees
von: Niwiński, Damian, et al.
Veröffentlicht: (2023)

CTL* Model Checking on Infinite Families of Finite-State Labeled Transition Systems (Technical Report)
von: Pettinau, Roberto, et al.
Veröffentlicht: (2026)

Cut-free Deductive System for Continuous Intuitionistic Logic
von: Geoffroy, Guillaume
Veröffentlicht: (2025)

Infinite Traces by Finality: a Sheaf-Theoretic Approach
von: Peressotti, Marco
Veröffentlicht: (2025)

On the Metric Temporal Logic for Continuous Stochastic Processes
von: Ikeda, Mitsumasa, et al.
Veröffentlicht: (2023)

Localized Attractor Computations for Infinite-State Games (Full Version)
von: Schmuck, Anne-Kathrin, et al.
Veröffentlicht: (2024)

Modular Attractor Acceleration in Infinite-State Games (Full Version)
von: Heim, Philippe, et al.
Veröffentlicht: (2026)

Asynchronous Composition of LTL Properties over Infinite and Finite Traces
von: Bombardelli, Alberto, et al.
Veröffentlicht: (2023)

Continuous Algebra: Algebraic Semantics for Continuous Propositional Logic
von: Jana, Purbita, et al.
Veröffentlicht: (2025)

Skolemization In Intermediate Logics
von: Baaz, Matthias, et al.
Veröffentlicht: (2025)

Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems
von: Heim, Philippe, et al.
Veröffentlicht: (2025)

Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis (Full Version)
von: Heim, Philippe, et al.
Veröffentlicht: (2024)

On the Complexity of the Grounded Semantics for Infinite Argumentation Frameworks
von: Andrews, Uri, et al.
Veröffentlicht: (2025)

Constraint Automata on Infinite Data Trees: From CTL(Z)/CTL*(Z) To Decision Procedures
von: Demri, Stephane, et al.
Veröffentlicht: (2023)

Notes on Algebraic Properties and Non-Standard Analysis of the Ring of Integers Modulo Infinitely Large Primes
von: Mihara, Tomoki
Veröffentlicht: (2026)

Epsilon Calculus Provides Shorter Cut-Free Proofs
von: Baaz, Matthias, et al.
Veröffentlicht: (2024)

Preservation under Reduced Products in Continuous Logic
von: Fronteau, Ivory
Veröffentlicht: (2024)

Continuous Randomness via Transformations of 2-Random Sequences
von: Porter, Christopher P.
Veröffentlicht: (2024)

Continuous stable regularity
von: Chavarria, Nicolas, et al.
Veröffentlicht: (2021)

Terminating Hybrid Tableaus for Ordered Models
von: Nishimura, Yuki
Veröffentlicht: (2025)

Prime Factorization in Models of PV$_1$
von: Ježil, Ondřej
Veröffentlicht: (2025)