94 Hits in 2.2 sec

Borel Functors and Infinitary Interpretations [article]

Matthew Harrison-Trainor, Russell Miller, Antonio Montalbán
2016 pre-print
interpretation, and every Baire-measurable functor between the set of copies of two countable structures is induced by an infinitary interpretation.  ...  In general, an interpretation between structures induces a continuous homomorphism between their automorphism groups, and furthermore, it induces a functor between the categories of copies of each structure  ...  For every Borel adjoint equivalence of categories (F, G) between Iso(B) and Iso(A) there is an infinitary bi-interpretation (I, J ) between A and B, such that F and G are naturally isomorphic to the functors  ... 
doi:10.1017/jsl.2017.81 arXiv:1606.07489v1 fatcat:lovvioklx5crjeuvi2whfirhea

Coding in graphs and linear orderings [article]

Julia Knight, Alexandra Soskova, Stefan Vatev
2020 arXiv   pre-print
Any graph can be interpreted in a linear ordering using computable Σ_3 formulas. Friedman and Stanley gave a Turing computable embedding L of directed graphs in linear orderings.  ...  Harrison-Trainor and Montalbán have also shown this, by a quite different proof.  ...  A structure A is interpreted in B using L ω 1 ω -formulas iff there is a Borel functor (Φ, Ψ) from B to A.  ... 
arXiv:1903.06948v2 fatcat:vtqi7kju5ra7zajvdqcfhpemiu

Borel and analytic sets in locales [article]

Ruiyuan Chen
2020 arXiv   pre-print
We introduce the category of "analytic ∞-Borel locales" as the regular completion under images of the unary site of locales and ∞-Borel maps, and prove analogs of several classical results about analytic  ...  We give a detailed analysis of various notions of image, and prove that a continuous map need not have an ∞-Borel image.  ...  Corollary 2.10.11 (infinitary transitivity/cut). In the infinitary calculus, if A∪B, and A∪{¬b} for every b ∈ B, then A. a ≤ b :⇐⇒ {a} {b}, and let ≡ := ≤ ∩ ≥.  ... 
arXiv:2011.00437v1 fatcat:jncsemu5kvcuhcoayd7tcyima4

A universal characterization of standard Borel spaces [article]

Ruiyuan Chen
2019 arXiv   pre-print
We prove that the category SBor of standard Borel spaces is the (bi-)initial object in the 2-category of countably complete Boolean (countably) extensive categories.  ...  Letting Bor denote the category of Borel spaces and Borel maps, we thus have a functor B : Bor op → σBool, where B(f ) := f −1 : B(Y ) → B(X) for a Borel map f : X → Y ∈ Bor.  ...  Standard Borel spaces and Borel maps (i.e., preimages of Borel sets are Borel) are ubiquituous in descriptive set theory as a basic model of "definable sets" and "definable functions" between them; see  ... 
arXiv:1908.10510v1 fatcat:zcbecb2juzectlze5zf767xywu

Infinitary logic and basically disconnected compact Hausdorff spaces

Antonio Di Nola, Serafina Lapenta, Ioana LeuŞtean
2018 Journal of Logic and Computation  
We extend Ł ukasiewicz logic obtaining the infinitary logic IRŁ whose models are algebras C(X,[0,1]), where X is a basically disconnected compact Hausdorff space.  ...  The Lindenbaum-Tarski algebra of IRŁ is, up to isomorphism, an algebra of [0,1]-valued Borel functions. Finally, our system enjoys standard completeness with respect to the real interval [0,1].  ...  The functors that give the equivalence, denoted by Γ and Γ R , are defined similarly to each other: in the case of MV-algebras, for any ℓu-group (G, u), Γ(G, u) = {x ∈ G | 0 ≤ x ≤ u} = [0, u] G and for  ... 
doi:10.1093/logcom/exy011 fatcat:5ynrkxkxdbb2nknctgu2lem23i

Borel functors, interpretations, and strong conceptual completeness for L_ω_1ω [article]

Ruiyuan Chen
2019 arXiv   pre-print
Borel naturally isomorphic to the functor induced by some L'_ω_1ω-interpretation of T in T'.  ...  This implies that given two theories ( L, T) and ( L', T') (in possibly different languages L, L'), every Borel functor Mod( L', T') →Mod( L, T) between the respective groupoids of countable models is  ...  Every Borel functor Mod(L , T ) → Mod(L, T ) is Borel naturally isomorphic to F * for some interpretation F : (L, T ) → (L , T ).  ... 
arXiv:1710.02246v2 fatcat:uwfbswqnwrcphdr5se34wrgv2a

Stone Duality for Markov Processes

Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden
2013 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science  
We prove a Stone-type duality theorem between countable Aumann algebras and countably-generated continuous-space Markov processes.  ...  Acknowledgments We would like to thank Jean Goubault-Larrecq, Ernst-Erich Doberkat, Robert Goldblatt and Larry Moss for helpful discussions.  ...  This is called the Borel algebra of the space, and the measurable sets are called Borel sets.  ... 
doi:10.1109/lics.2013.38 dblp:conf/lics/KozenLMP13 fatcat:dix26nhntvfy7p56uv65gpa5ci

Strong Completeness for Markovian Logics [chapter]

Dexter Kozen, Radu Mardare, Prakash Panangaden
2013 Lecture Notes in Computer Science  
We propose a new infinitary rule that replaces the so-called Countable Additivity Rule (CAR) currently used in the literature to address the problem of proving strong completeness for these and similar  ...  These logics are not compact so one needs infinitary rules in order to obtain strong completeness results.  ...  Mardare's research was supported by VKR Center of Excellence MT-LAB and by the Sino-Danish Basic Research Center IDEA4CPS.  ... 
doi:10.1007/978-3-642-40313-2_58 fatcat:s4tjn3zftzghdpdvyft5pofgke

Representing Polish groupoids via metric structures [article]

Ruiyuan Chen
2019 arXiv   pre-print
Other ingredients in our proof include the Lopez-Escobar theorem for continuous logic, a uniformization result for full Borel functors between open quasi-Polish groupoids, a uniform Borel version of Katětov's  ...  construction of U, groupoid versions of the Pettis and Birkhoff–Kakutani theorems, and a development of the theory of non-Hausdorff topometric spaces and their quotients.  ...  interpretations, and Proof.  ... 
arXiv:1908.03268v1 fatcat:fmm6eu6khfemjfttq4ojvbwjgq

Recursively defined metric spaces without contraction

Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell
2007 Theoretical Computer Science  
In contrast to previous approaches, we do not assume that the endofunctors are locally contractive, and our results do not depend on Banach's fixed-point theorem.  ...  In this paper we use the theory of accessible categories to find fixed points of endofunctors on the category of 1-bounded complete metric spaces and nonexpansive functions.  ...  The first and third authors were supported by Natural Sciences and Engineering Research Council of Canada.  ... 
doi:10.1016/j.tcs.2007.02.059 fatcat:6vv5kwjt2nf2baaldejzbnqfi4

Functions of the first Baire class

Raphaël Carroy
2018 Bulletin of Symbolic Logic  
Given f, g in C, < 1 a limit ordinal and n a natural, we have 1. If CB(f) = CB(g) = then f ≡ g, 2. If CB(f) = + n and CB(g) = + 2n + 1, then f ≤ g.  ...  Here X, Y, X , and Y are variables for Polish 0-dimensional (P0D for short) spaces, considered as closed subspaces of the Baire space of infinite sequences of natural numbers.  ...  We isolate two infinitary operations on P0D spaces, called the gluing and the pointed gluing.  ... 
doi:10.1017/bsl.2018.83 fatcat:ueqsznkxrjhudavtuwz7r24try

Locales and Toposes as Spaces [chapter]

Steven Vickers
2007 Handbook of Spatial Logics  
Heine-Borel Theorem) become false.  ...  infinitary disjunctions.  ... 
doi:10.1007/978-1-4020-5587-4_8 fatcat:kqle33t67vh3rf5eeuvbt3dg4e


Steven Vickers
2005 From Sets and Types to Topology and Analysis  
In categorical logic, points of the corresponding locale can be understood as certain cartesian functors from P to Set, and in the flat site these generalize to the flat functors from P to Set.  ...  In category theory there is a notion of flat functor from C to Set such if C is cartesian (has all finite limits) then flatness is equivalent to the functor being cartesian (preserves finite limits).  ... 
doi:10.1093/acprof:oso/9780198566519.003.0014 fatcat:cw3sbxe3ajdgxjgtj5zmmjsfqu

Deduction Systems for Coalgebras Over Measurable Spaces

R. Goldblatt
2008 Journal of Logic and Computation  
A notable feature of the deductive machinery is an infinitary Countable Additivity Rule. A deductive construction of canonical spaces and coalgebras leads to completeness results.  ...  These functors have been shown by Moss and Viglizzo to have final coalgebras that represent certain universal type spaces in game-theoretic economics.  ...  Relevant functors include those that are polynomial : constructible from constant functors and the identity functor Id by forming products T 1 × T 2 , coproducts T 1 + T 2 , and exponential functors T  ... 
doi:10.1093/logcom/exn092 fatcat:uaonyza5urgsthfxssp7vi4ua4

Quantitative Algebraic Reasoning

Radu Mardare, Prakash Panangaden, Gordon Plotkin
2016 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16  
In each case we have finitary and continuous versions.  ...  The four cases are: Hausdorff metrics from quantitive semilattices; p-Wasserstein metrics (hence also the Kantorovich metric) from barycentric algebras and also from pointed barycentric algebras and the  ...  We present both finitary and infinitary versions of these constructions.  ... 
doi:10.1145/2933575.2934518 dblp:conf/lics/MardarePP16 fatcat:n7s6kwc65jhntfzs2q55jzemyy
« Previous Showing results 1 — 15 out of 94 results