arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 1411.7636

Changing a semantics: opportunism or courage?

H. Andréka·J. F. A. K. van Benthem·N. Bezhanishvili·I. Németi
View original source ↗Read source document ↗Export metadata ↓

Abstract

The generalized models for higher-order logics introduced by Leon Henkin, and their multiple offspring over the years, have become a standard tool in many areas of logic. Even so, discussion has persisted about their technical status, and perhaps even their conceptual legitimacy. This paper gives a systematic view of generalized model techniques, discusses what they mean in mathematical and philosophical terms, and presents a few technical themes and results about their role in algebraic representation, calibrating provability, lowering complexity, understanding fixed-point logics, and achieving set-theoretic absoluteness. We also show how thinking about Henkin's approach to semantics of logical systems in this generality can yield new results, dispelling the impression of adhocness. This paper is dedicated to Leon Henkin, a deep logician who has changed the way we all work, while also being an always open, modest, and encouraging colleague and friend.

Explore related subjects

math.LO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

H. Andréka, J. F. A. K. van Benthem, N. Bezhanishvili, I. Németi. 2014-11-27. Changing a semantics: opportunism or courage?. https://doi.org/10.1007/978-3-319-09719-0_20

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Computable Bases

In computable analysis typically topological spaces with countable bases are considered. The Theorem of Kreitz-Weihrauch implies that the subbase representation of a second-countable $T_0$ space is admissible with respect to the topology that the subbase generates. We consider generalizations of this setting to bases that are representable, but not necessarily countable. We introduce the notions of a computable presubbase and a computable prebase. We prove a generalization of the Theorem of Kreitz-Weihrauch for the presubbase representation that shows that any such representation is admissible with respect to the topology generated by compact intersections of the presubbase elements. For computable prebases we obtain representations that are admissible with respect to the topology that they generate. These concepts provide a natural way to investigate many topological spaces that have been studied in computable analysis. The benefit of this approach is that topologies can be described by their usual subbases and standard constructions for such subbases can be applied. Finally we discuss a Galois connection between presubbases and representations of $T_0$ spaces that indicates that presubbases and representations offer particular views on the same mathematical structure from different perspectives.

math.LO↗
arXiv2026

Generically stable Keisler measures

Given a first-order theory $T$ (in discrete or continuous logic) and a Borel-definable global Keisler measure $μ$ in $T$, we show that the following conditions are equivalent: $(i)$ $μ$ is a frequency interpretation measure; $(ii)$ $μ$ is definable and its canonical "random extension" $r_μ$ is generically stable in the randomization theory $T^R$; $(iii)$ $μ$ is "self-averaging". This result establishes a robust notion of generic stability for Keisler measures, which resolves a long-term research objective from previous work. The implications $(i)\Rightarrow(ii)\Rightarrow (iii)$ were previously established by the authors (for $T$ discrete). The primary focus of this paper is the reverse implications $(iii)\Rightarrow (ii)\Rightarrow(i)$. We also prove that generically stable measures are closed under Morley products, answering another well-known question that was open even in the case of types. These results are obtained through the use of AI models.

math.LO↗