Logic & foundations
515 studies29 in 7 days207 in 30 days
Filters
Latest
515 studies
- Quadruples and cubes
- Diversity of EML-type operators
- On weak dominance of t-conorms over t-norms
- Failure of the G0-dichotomy for generalized Cantor spaces
- Notes on Algebraic Properties and Non-Standard Analysis of the Ring of Integers Modulo Infinitely Large Primes
- A Note on Lowness for Π01-Immunity
- Simultaneous extensions of states on quantum logics
- Finite presentations of metabelian groups: effective enumeration via Laurent relations
- Every AW*-Algebra is Normal
- Lifting for N-independent sets in II1 factors
- K-holomorphic functions with definable real part
- Frobenius Galois expansions of substructural logics:Algebraization, Kalman equivalence and positive cone semantics
- The Archimedean place is a blurred interval at infinity
- On a topological duality for Stonean Hilbert algebras
- Almost Disjointness Principles and Q-Space Cardinals
- Kontsevich-Zagier conjecture for Hensel-minimal fields with sections
- A Bounded Finite-One Degree Whose One-One Degrees Form Exactly a Dense Linear Order
- A concentration result for multilayer feedforward neural networks
- Spectral Sign Implication for Quantum Logic
- A non-trivially non-trivial automorphism at an inaccessible cardinal
- Higher-dimensional generalized quasiorders
- A Set-Theoretic Translation of Modal Logic via Forcing
- A note on coextensivity of bounded hoops
- Inequalities and equalities of means in Constructive Mathematics
- Preserving the Ultrapower Axiom by Forcing over Nonoverlapping Extender Models