Publication:5596777
From MaRDI portal
zbMath0199.02601MaRDI QIDQ5596777
Publication date: 1962
Related Items
Degrees of bi-embeddable categoricity, THE CHARACTERIZATION OF WEIHRAUCH REDUCIBILITY IN SYSTEMS CONTAINING, HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC, Computable categoricity for algebraic fields with splitting algorithms, THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC, Solovay's theorem cannot be simplified, Propagation of partial randomness, Infinite dimensional proper subspaces of computable vector spaces, Representing Scott sets in algebraic settings, The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method, Mass problems associated with effectively closed sets, On categoricity spectra for locally finite graphs, A standard model of Peano arithmetic with no conservative elementary extension, Countable algebra and set existence axioms, Degrees of autostability relative to strong constructivizations of graphs, On the strength of Ramsey's theorem, The degree of decidable categoricity of a model with infinite solutions for complete formulas, Connected components of graphs and reverse mathematics, Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\), Effective categoricity for distributive lattices and Heyting algebras, The Baire category theorem in weak subsystems of second-order arithmetic, Proper and piecewise proper families of reals, On notions of computability-theoretic reduction between Π21 principles, Degrees of Unsolvability: A Tutorial
