Showing 1–18 of 18 results
/ Date/ Name
Jun 15, 2020Gamma-ray emission revealed at the western edge of SNR G344.7-0.1Jun 20, 2025The Vela pulsar and its pulsar wind nebula Vela-X using 13 years of Fermi-LAT ObservationsNov 3, 2023Fermi-LAT detection of the supernova remnant G312.4-0.4 in the vicinity of 4FGL J1409.1-6121eSep 1, 2023$K$-theory of co-existentially closed continuaApr 18, 2013Omitting types for infinitary [0, 1]-valued logicNov 14, 2014Fraïssé limits of C*-algebrasMar 11, 2015The pseudoarc is a co-existentially closed continuumFeb 2, 2015Quantifier elimination in C*-algebrasFeb 6, 2026Computable $K$-theory for C*-algebras II: AF algebrasDec 6, 2023Relative topological principality and the ideal intersection property for groupoid C*-algebrasJul 15, 2021An undecidable extension of Morley's theorem on the number of countable modelsJun 18, 2014Saturation and elementary equivalence of C*-algebrasDec 2, 2015Expressive power of infinitary [0, 1]-valued logicsMay 29, 2019Concrete Barriers to Quantifier Elimination in Finite-Dimensional C*-algebrasMar 23, 2021Model theoretic properties of dynamics on the Cantor setFeb 26, 2024Computable Gelfand DualityOct 16, 2017Omitting Types and the Baire Category TheoremFeb 6, 2026Non-computability of $K$-theory for computably presented C*-algebras