Results 61 to 70 of about 5,644 (162)
Projections for infinitary rewriting
, 2016 Proof terms in term rewriting are a representation means for reduction sequences, and more in general for contraction activity, allowing to distinguish e.g simultaneous from sequential reduction.
de Vrijer, Roel +2 more
core +1 more source
Categoricity and infinitary logics
, 2015 We point out a gap in Shelah's proof of the following result: $\mathbf{Claim}$ Let $K$ be an abstract elementary class categorical in unboundedly many cardinals. Then there exists a cardinal $ $ such that whenever $M, N \in K$ have size at least $ $, $M \le N$ if and only if $M \preceq_{L_{\infty, \text{LS} (K)^+}} N$.
Boney, Will, Vasey, Sebastien
openaire +2 more sources
Philosophy and Phenomenological Research, Volume 109, Issue 1, Page 77-94, July 2024.Abstract A popular and enduring approach to the liar paradox takes the concept of truth to be inconsistent. Very roughly, truth is an inconsistent concept if the central principles of this concept (taken together) entail a contradiction, where one of these central principles is Tarski's T‐schema for truth: a sentence S is true if and only if p, (where ...
Patrick Greenough
wiley +1 more source
Infinitary logics and 0–1 laws
Information and Computation, 1992 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kolaitis, Phokion G., Vardi, Moshe Y.
openaire +2 more sources
An Infinitary Model of Linear Logic [PDF]
, 2015 Accepted at Fossacs ...
Grellois, Charles, Melliès, Paul-André
openaire +2 more sources
Philosophy and Phenomenological Research, Volume 109, Issue 1, Page 357-390, July 2024.Abstract The idea that some objects are metaphysically “cheap” has wide appeal. An influential version of the idea builds on abstractionist views in the philosophy of mathematics, on which numbers and other mathematical objects are abstracted from other phenomena.
Louis deRosset, Øystein Linnebo
wiley +1 more source
Mathematical Logic Quarterly, Volume 70, Issue 2, Page 142-161, May 2024.Abstract We provide two proofs of the compactness theorem for extensions of first‐order logic based on team semantics. First, we build upon Lück's [16] ultraproduct construction for team semantics and prove a suitable version of Łoś' Theorem. Second, we show that by working with suitably saturated models, we can generalize the proof of Kontinen and ...
Joni Puljujärvi +1 more
wiley +1 more source
Rule‐Following II: Recent Work and New Puzzles
Philosophy Compass, Volume 19, Issue 5, May 2024.Abstract “Rule‐following” is a name for a cluster of phenomena where we seem both guided and “normatively” constrained by something general in performing particular actions. Understanding the phenomenon is important because of its connection to meaning, representation, and content.
Indrek Reiland
wiley +1 more source
Noûs, Volume 58, Issue 1, Page 126-140, March 2024.Abstract Quantifiers frequently figure in works of fiction. But occurrences of quantificational expressions within fictions seem no more inevitably to be associated with real domains than uses of names within fictions seem inevitably to be associated with existing referents.
Dominic Gregory
wiley +1 more source
Formal model theory and higher topology
Mathematical Logic Quarterly, Volume 70, Issue 1, Page 111-125, February 2024.Abstract We study the 2‐categories BIon, of (generalized) bounded ionads, and Accω$\text{Acc}_\omega$, of accessible categories with directed colimits, as an abstract framework to approach formal model theory. We relate them to topoi and (lex) geometric sketches, which serve as categorical specifications of geometric theories. We provide reconstruction
Ivan Di Liberti
wiley +1 more source