Results 81 to 90 of about 377 (170)
A Hybrid Biphasic Mixture Formulation for Modeling Dynamics in Porous Deformable Biological Tissues. [PDF]
Arch Appl Mech, 2022 Shim JJ, Ateshian GA.
europepmc +1 more source
Kripke's Reduction of Löb's Theorem to the Second Incompleteness Theorem
Theoria, Volume 92, Issue 3, June 2026.ABSTRACT In this paper, we discuss Kripke's reduction of Löb's Principle to the Second Incompleteness Theorem. We have a closer look at the non‐constructive character of the reduction. We reflect on what the argument has to tell us. In the Appendix, We give a strengthening of Löb's Principle suggested by Kripke's reduction.
Albert Visser
wiley +1 more source
Axiomatization and Forcing in Set Theory with Urelements
In the first part of this paper, we consider several natural axioms in urelement set theory, including the Collection Principle, the Reflection Principle, the Dependent Choice scheme and its generalizations, as well as other axioms specifically ...
Yao, Bokai
core +1 more source
On compact Hausdorff spaces of countable tightness
, 1989 A general combinatorial theorem for countably compact, noncompact spaces is given under the Proper Forcing Axiom. It follows that compact Hausdorff spaces of countable tightness are sequential under PFA, solving the Moore-Mrowka Problem.
Zoltán T. Balogh
core +1 more source
(Co‐)Reference All the Way Down: A Unified Theory of (Pro) Nominals in Ordinary English
Theoria, Volume 92, Issue 3, June 2026.ABSTRACT This essay joins two themes, both arising from Kripke's inspiring ideas in the theory of reference. The first theme concerns reference in general. The second examines the notion of co‐reference and the role it plays in a unified theory of pronouns for natural language.
Jessica Pepp, Joseph Almog
wiley +1 more source
PFA and the definability of the nonstationary ideal
, 2023 We produce, relative to a ${\sf ZFC}$ model with a supercompact cardinal, a ${\sf ZFC}$ model of the Proper Forcing Axiom in which the nonstationary ideal on $\omega_1$ is $\Pi_1$-definable in a parameter from $H_{\aleph_2}$
Schindler, Ralf +3 more
core
Figuring the 'cynical scientist' in British animal science: the politics of invisibility. [PDF]
Biosocieties, 2023 Holmes T, Friese C.
europepmc +1 more source
Coulomb branch algebras via symplectic cohomology
Journal of Topology, Volume 19, Issue 2, June 2026.Abstract Let (M¯,ω)$(\bar{M}, \omega)$ be a compact symplectic manifold with convex boundary and c1(TM¯)=0$c_1(T\bar{M})=0$. Suppose that (M¯,ω)$(\bar{M}, \omega)$ is equipped with a convex Hamiltonian G$G$‐action for some connected, compact Lie group G$G$.
Eduardo González +2 more
wiley +1 more source
Homeomorphisms of Čech–Stone remainders: the zero-dimensional case
, 2018 We prove, using a weakening of the Proper Forcing Axiom, that any homemomorphism between Čech–Stone remainders of any two locally compact, zero-dimensional Polish spaces is induced by a homeomorphism between their cocompact subspaces.
Ilijas Farah, Paul McKenney
core +1 more source
Nouvelles méthodes d’itération de forcing et applications
, 2020 This thesis concerns forcing iterations using virtual models as side conditions. The ultimate goal of such techniques is to achieve a higher forcing axiom. In the firstchapter, we present the necessary materials, including definitions and lemmata for the
Mohammadpour, Rahman
core