Results 51 to 60 of about 1,524,096 (164)

Sequences suffice for pointfree uniform completions

Journal of the London Mathematical Society, Volume 112, Issue 2, August 2025.
Abstract Completions of metric spaces are usually constructed using Cauchy sequences. However, this does not work for general uniform spaces, where Cauchy filters or nets must be used instead. The situation in pointfree topology is more straightforward: the correct completion of uniform locales can indeed be obtained as a quotient of a locale of Cauchy 
Graham Manuell
wiley   +1 more source

sMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions

ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming
We present an infinitary version of Multiplicative Additive Linear Logic (sMALL) that serves as logical foundation for a Calculus of Pure Sessions (CaPS).
Francesco Dagnino, Luca Padovani
semanticscholar   +1 more source

Weak compactness cardinals for strong logics and subtlety properties of the class of ordinals

Journal of the London Mathematical Society, Volume 112, Issue 1, July 2025.
Abstract Motivated by recent work of Boney, Dimopoulos, Gitman, and Magidor, we characterize the existence of weak compactness cardinals for all abstract logics through combinatorial properties of the class of ordinals. This analysis is then used to show that, in contrast to the existence of strong compactness cardinals, the existence of weak ...
Philipp Lücke
wiley   +1 more source

Toward an Infinitary Logic of Domains: Abramsky Logic for Transition Systems [PDF]

, 1999
We give a new characterization of sober spaces in terms of their completely distributive lattice of saturated sets. This characterization is used to extend Abramsky's results about a domain logic for transition systems.
Bonsangue, Marcello M., Bonsangue, M.M., Kok, J.N., Kok, Joost N.   +3 more
core   +1 more source

Arithmetical pluralism and the objectivity of syntax

Noûs, Volume 59, Issue 2, Page 372-391, June 2025.
Abstract Arithmetical pluralism is the view that there is not one true arithmetic but rather many apparently conflicting arithmetical theories, each true in its own language. While pluralism has recently attracted considerable interest, it has also faced significant criticism.
Lavinia Picollo, Daniel Waxman
wiley   +1 more source

Similarity accounts of counterfactuals: A reality check1

Philosophy and Phenomenological Research, Volume 110, Issue 3, Page 887-915, May 2025.
Abstract To an unusual extent, philosophers agree that counterfactuals have truth conditions involving the most similar possible worlds where their antecedents are true, in the style of the celebrated and path‐breaking Stalnaker/Lewis accounts. Roughly, these accounts say that the counterfactual if A were the case, C would be the case is true if and ...
Alan Hájek
wiley   +1 more source

To infinity and beyond: A general framework for scaling economic theories

Theoretical Economics, Volume 20, Issue 2, Page 511-542, May 2025.
Many economic models incorporate finiteness assumptions that, while introduced for simplicity, play a real role in the analysis. We provide a principled framework for scaling results from such models by removing these finiteness assumptions. Our sufficient conditions are on the theorem statement only, and not on its proof. This results in short proofs,
Yannai A. Gonczarowski, Scott Duke Kominers, Ran I. Shorrer   +2 more
wiley   +1 more source

Characterizing interpolation pairs in infinitary graded logics

, 2003
In this paper the problem of interpolation for the family of countable infinitary graded modal logics is considered. It is well known that interpolation fails in general for these logics and it is then natural to ask for a semantical characterization ...
D'AGOSTINO, Giovanna
core   +1 more source

Infinite inference and mathematical conventionalism

Philosophy and Phenomenological Research, Volume 109, Issue 3, Page 897-912, November 2024.
Abstract We argue that (1) a purported example of an infinite inference we humans can actually perform admits a faithful, finitary description, and (2) infinite inference contravenes any view which does not grant our minds uncomputable powers. These arguments block the strategy, dating back to Carnap's Logical Syntax of Language, of using infinitary ...
Douglas Blue
wiley   +1 more source

Categories for infinitary logic

This is an introduction to infinitary categorical logic, focusing on first order logics with cardinal parameters for the size of contexts, conjunctions and disjunctions, and universal and existential quantification.
Bengtsson, Niclas
core   +3 more sources