Results 111 to 120 of about 1,524,096 (164)
A complete axiomatization of infinitary first-order intuitionistic logic over Lκ+,κ
Annals of Pure and Applied LogicChristian Espíndola
semanticscholar +1 more source
The Ramsey property implies no mad families. [PDF]
Proc Natl Acad Sci U S A, 2019 Schrittesser D, Törnquist A.
europepmc +1 more source
Strong conservativity and completeness for fragments of infinitary action logic
Sibirskie Elektronnye Matematicheskie IzvestiyaS. Kuznetsov
semanticscholar +1 more source
Iterated elementary embeddings and the model theory of infinitary logic
Annals of Pure and Applied Logic, 2016 J. Baldwin, P. Larson
semanticscholar +1 more source
A simplified version of local predicativity [PDF]
, 1992 Buchholz, Wilfried +3 more
core +1 more source
Intrinsic and Measured Information in Separable Quantum Processes. [PDF]
Entropy (Basel)Gier D, Crutchfield JP.
europepmc +1 more source
Are the Gödel incompleteness theorems limitative results for the neurosciences? [PDF]
J Biol Phys, 2010 Buechner J.
europepmc +1 more source