# Logic

## Authors and titles for math.LO in Mar 2018

[ total of 45 entries: 1-25 | 26-45 ]
[ showing 25 entries per page: fewer | more | all ]
[1]
Title: General Non-Commutative Locally Compact Locally Hausdorff Stone Duality
Subjects: Logic (math.LO); General Topology (math.GN); Operator Algebras (math.OA)
[2]
Title: A note on NSOP$_{1}$ in one variable
Authors: Nicholas Ramsey
Subjects: Logic (math.LO)
[3]
Title: Logarithms, constructible functions and integration on non-archimedean models of the theory of the real field with restricted analytic functions with value group of finite archimedean rank
Authors: Tobias Kaiser
Subjects: Logic (math.LO); Classical Analysis and ODEs (math.CA); Complex Variables (math.CV)
[4]
Title: Fixed-point elimination in the Intuitionistic Propositional Calculus (extended version)
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[5]
Title: Non-forking w-good frames
Comments: 22 pages; 2 figures; fixed a few typos
Subjects: Logic (math.LO)
[6]
Title: Hierarchical incompleteness results for arithmetically definable fragments of arithmetic
Authors: Rasmus Blanck
Subjects: Logic (math.LO)
[7]
Title: Baldwin-Shi hypergraphs and their atomic models
Subjects: Logic (math.LO)
[8]
Title: A self-contained, brief and complete formulation of Voevodsky's Univalence Axiom
Subjects: Logic (math.LO)
[9]
Title: A symmetric $β$-model
Comments: 8 pages. This paper was written in 2000 but was not published until 2018. The only change since 2000 is that the references have been updated
Subjects: Logic (math.LO)
[10]
Title: Abstraction Principles and the Classification of Second-Order Equivalence Relations
Subjects: Logic (math.LO)
[11]
Title: The Nuisance Principle in Infinite Settings
Journal-ref: Sean C. Ebels-Duggan. "The Nuisance Principle in Infinite Settings", Thought: A Journal of Philosophy} 4(4), December 2015, pp. 263--268
Subjects: Logic (math.LO)
[12]
Title: A combinatorial model for the Menger curve
Subjects: Logic (math.LO)
[13]
Title: Discontinuous homomorphisms, selectors and automorphisms of the complex field
Subjects: Logic (math.LO)
[14]
Title: An interpolant in predicate Gödel logic
Subjects: Logic (math.LO)
[15]
Title: Value Groups and Residue Fields of Models of Real Exponentiation
Subjects: Logic (math.LO)
[16]
Title: The open dihypergraph dichotomy and the second level of the Borel hierarchy
Subjects: Logic (math.LO); Combinatorics (math.CO)
[17]
Title: Toward a probability theory for product logic: states, integral representation and reasoning
Journal-ref: International Journal of Approximate Reasoning, Volume 93, February 2018, Pages 199--218
Subjects: Logic (math.LO); Probability (math.PR)
[18]
Title: Inquisitive bisimulation
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[19]
Title: A model with Suslin trees but no minimal uncountable linear orders other than $ω_1$ and $-ω_1$
Comments: 19 pages, 4 figures, first public version. Comments are very welcome. +minor corrections
Subjects: Logic (math.LO)
[20]
Title: On a metric generalization of the $tt$-degrees and effective dimension theory
Authors: Takayuki Kihara
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[21]
Title: Cut elimination, identity elimination, and interpolation in super-Belnap logics
Journal-ref: Studia Logica 105 (6), pp. 1255-1289, 2017
Subjects: Logic (math.LO)
[22]
Title: The Rudin-Kisler ordering of P-points under $\mathfrak{b} = \mathfrak{c}$
Comments: 9 pages, beginning of the proof of Theorem 2.10 is a quotation of the begining of the proof of Theorem 8 from the papper by Blass mentioned in the abstract
Subjects: Logic (math.LO)
[23]
Title: Continuous Combinatorics of Abelian Group Actions
Subjects: Logic (math.LO)
[24]
Title: From Tarski to Gödel. Or, how to derive the Second Incompleteness Theorem from the Undefinability of Truth without Self-reference
Authors: Albert Visser