Buchumschlag

On the computability of cofinal Fraïssé limits

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ackerman, Nathanael, Freer, Cameron, Mirabi, Mostafa
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic Logic in Computer Science 03C57, 03D45
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Isomorphism Spectra and Computably Composite Structures
von: Lakerdas-Gayle, Joey
Veröffentlicht: (2025)

On Cohesive Products of Fields
von: Dimitrov, Rumen, et al.
Veröffentlicht: (2026)

A non-computable c.e. closed subset of $[0,1]$
von: Badaev, Serikzhan, et al.
Veröffentlicht: (2025)

Online and feasible presentability: from trees to modal algebras
von: Bazhenov, Nikolay, et al.
Veröffentlicht: (2025)

Cohen Generic Structures with Functions
von: Ackerman, Nathanael, et al.
Veröffentlicht: (2023)

Computability for tree presentations of continuum-size structures
von: Block, Jason, et al.
Veröffentlicht: (2025)

Scott sentence complexities of linear orderings
von: Gonzalez, David, et al.
Veröffentlicht: (2023)

Structured Sunflowers
von: Ackerman, Nathanael, et al.
Veröffentlicht: (2025)

Effective Completeness for S4.3.1-Theories with Respect to Discrete Linear Models
von: Nichols, David
Veröffentlicht: (2017)

Sheaves as oracle computations
von: Ahman, Danel, et al.
Veröffentlicht: (2026)

Extensions of categoricity relative to a degree
von: Villano, Java Darleen
Veröffentlicht: (2025)

Computability in infinite Galois theory and algorithmically random algebraic fields
von: Calvert, Wesley, et al.
Veröffentlicht: (2023)

New definitions in the theory of Type 1 computable topological spaces
von: Rauzy, Emmanuel
Veröffentlicht: (2023)

Finitely Bounded Homogeneity Turned Inside-Out
von: Rydval, Jakub
Veröffentlicht: (2021)

A generalization of Markov's approach to the continuity problem for Type 1 computable functions
von: Rauzy, Emmanuel
Veröffentlicht: (2023)

Algorithmic aspects of left-orderings of solvable Baumslag--Solitar groups via its dynamical realization
von: Ho, Meng-Che "Turbo", et al.
Veröffentlicht: (2024)

Interpolation above S4
von: Santschi, Simon, et al.
Veröffentlicht: (2026)

A non-uniform view of Craig interpolation in modal logics with linear frames
von: Kurucz, Agi, et al.
Veröffentlicht: (2023)

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
von: Wolter, Frank, et al.
Veröffentlicht: (2024)

The spectrum of limit models in a first order setting
von: Beard, Jeremy
Veröffentlicht: (2025)

Intuitionistic Common Knowledge
von: Zenger, Lukas
Veröffentlicht: (2026)

Terminal Absoluteness of Collapse Forcings
von: Straffelini, Cesare
Veröffentlicht: (2025)

Lewis and Brouwer meet Strong Löb
von: Visser, Albert, et al.
Veröffentlicht: (2024)

Possibility Frames and Forcing for Modal Logic
von: Holliday, Wesley H.
Veröffentlicht: (2025)

Logics of False Belief and Radical Ignorance
von: Fan, Jie
Veröffentlicht: (2024)

Nested Sequents for Provability Logic GLP
von: Shamkanov, Daniyar
Veröffentlicht: (2014)

Collapsing Constructive and Intuitionistic Modal Logics
von: Pacheco, Leonardo
Veröffentlicht: (2024)

Twins: non-isomorphic models forced to be isomorphic. Part I
von: Shelah, Saharon
Veröffentlicht: (2025)

A Counterexample Regarding C.E. Closed Subsets of [0,1] Under Homeomorphisms
von: Bosserhoff, Volker
Veröffentlicht: (2025)

Escaping Tennenbaum's Theorem and a Strong Jump Inversion Theorem
von: Maia, Duarte
Veröffentlicht: (2026)

Classification and deontic explosion for contrary-to-duty obligations
von: Kjos-Hanssen, Bjørn
Veröffentlicht: (2026)

Paths, Ends and The Separation Problem for Infinite Graphs
von: Carrasco-Vargas, Nicanor, et al.
Veröffentlicht: (2024)

First-Order Modal Logic via Logical Categories
von: Ghilardi, Silvio, et al.
Veröffentlicht: (2025)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
von: Ghari, Meghdad
Veröffentlicht: (2014)

Swap Kripke models for deontic LFIs
von: Vaz, Mahan, et al.
Veröffentlicht: (2025)

A New Ehrenfeucht-Fraïssé Game for Dependence Logic
von: Puljujärvi, Joni, et al.
Veröffentlicht: (2026)

Higher-arity distality and forking triviality
von: Tong, Mervyn
Veröffentlicht: (2026)

Remarks on relative categoricity
von: Pillay, Anand
Veröffentlicht: (2026)

Rank and Independence of Imaginaries in Proper Pairs of ACF
von: Zhu, Zixuan
Veröffentlicht: (2026)

On stable Kim-forking and rosy theories
von: Miguel-Gómez, Alberto
Veröffentlicht: (2025)