Results 1 to 10 of about 7,543 (188)
Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism [PDF]
, 2019 This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras.
A Baltag +45 more
core +9 more sources
Orthomodular-Valued Models for Quantum Set Theory [PDF]
, 2017 In 1981, Takeuti introduced quantum set theory by constructing a model of set theory based on quantum logic represented by the lattice of closed linear subspaces of a Hilbert space in a manner analogous to Boolean-valued models of set theory, and showed ...
Araki +11 more
core +2 more sources
Generic absoluteness and boolean names for elements of a Polish space [PDF]
, 2016 It is common knowledge in the set theory community that there exists a duality relating the commutative $C^*$-algebras with the family of $B$-names for complex numbers in a boolean valued model for set theory $V^B$.
Vaccaro, Andrea, Viale, Matteo
core +2 more sources
Infinite time decidable equivalence relation theory [PDF]
, 2009 We introduce an analog of the theory of Borel equivalence relations in which we study equivalence relations that are decidable by an infinite time Turing machine.
Coskey, Samuel, Hamkins, Joel David
core +1 more source
An Individual-based Probabilistic Model for Fish Stock Simulation [PDF]
, 2010 We define an individual-based probabilistic model of a sole (Solea solea) behaviour. The individual model is given in terms of an Extended Probabilistic Discrete Timed Automaton (EPDTA), a new formalism that is introduced in the paper and that is shown ...
Buti, Federico +5 more
core +3 more sources
, 2017 The resurrection axioms are forcing axioms introduced recently by Hamkins and Johnstone, developing on ideas of Chalons and Velickovi\'c. We introduce a stronger form of resurrection axioms (the \emph{iterated} resurrection axioms $\textrm{RA}_\alpha ...
Audrito, Giorgio, Viale, Matteo
core +1 more source
TreatJS: Higher-Order Contracts for JavaScript [PDF]
, 2015 TreatJS is a language embedded, higher-order contract system for JavaScript which enforces contracts by run-time monitoring. Beyond providing the standard abstractions for building higher-order contracts (base, function, and object contracts), TreatJS's ...
Keil, Matthias, Thiemann, Peter
core +2 more sources
Context-driven progressive enhancement of mobile web applications: a multicriteria decision-making approach [PDF]
, 2014 Personal computing has become all about mobile and embedded devices. As a result, the adoption rate of smartphones is rapidly increasing and this trend has set a need for mobile applications to be available at anytime, anywhere and on any device. Despite
Desruelle, Heïko, Gielen, Frank
core +2 more sources
, 2016 In this commemorative article, the work of Richard Laver is surveyed in its full range and extent.Accepted ...
Kanamori, Akihiro
core +1 more source
The prospects for mathematical logic in the twenty-first century [PDF]
, 2001 The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed ...
Alexander S. Kechris +4 more
core +3 more sources