A Logic of Approximate Reasoning
A Logic With Higher Order Probabilities
A López-Escobar theorem for metric structures, and the topological Vaught conjecture
We show that a version of López-Escobar’s theorem holds in the setting of model theory for metric structures. More precisely, let denote the Urysohn sphere and let Mod(,) be the space of metric -structures supported on . Then for any Iso()-invariant Borel function f: Mod(,) → [0,1], there exists a sentence ϕ of such that for all M ∈ Mod(,) we have . This answers a question of Ivanov and Majcher-Iwanow. We prove several consequences, for example every orbit equivalence relation of a Polish group...
A measure theoretic approach to logical quantification
A method for constructing some endomorphic universes
A minimal model for strong analysis
A model for barrecursion of higher types
A model-theoretic Baire category theorem for simple theories and its applications
We prove a model-theoretic Baire category theorem for -sets in a countable simple theory in which the extension property is first-order and show some of its applications. We also prove a trichotomy for minimal types in countable nfcp theories: either every type that is internal in a minimal type is essentially 1-based by means of the forking topologies, or T interprets an infinite definable 1-based group of finite D-rank or T interprets a strongly minimal formula.
A model-theoretic transfer theorem for henselian valued fields.
A multivariate interlace polynomial and its computation for graphs of bounded clique-width.
A new approach to chordal graphs
By a chordal graph is meant a graph with no induced cycle of length . By a ternary system is meant an ordered pair , where is a finite nonempty set, and . Ternary systems satisfying certain axioms (A1)–(A5) are studied in this paper; note that these axioms can be formulated in a language of the first-order logic. For every finite nonempty set , a bijective mapping from the set of all connected chordal graphs with onto the set of all ternary systems satisfying the axioms (A1)–(A5) is...
A new proof of Reiterman's theorem
A normal form for restricted exponential functions
A note of definable skolem functions
A note on a result of Buss concerning bounded theories and the collection scheme.
A Note on a Theorem of Lion
In this note we bind together Wilkie's complement theorem with Lion's theorem on geometric, regular and 0-regular families of functions.
A note on “Atomic compactness in -categorical Horn theories” by John T. Baldwin
A note on ...-categorical model-companions.
A note on cofinal extensions and segments
A Note On Elementary And Extension