scientific article; zbMATH DE number 3316918
From MaRDI portal
Publication:5596777
zbMath0199.02601MaRDI QIDQ5596777
Publication date: 1962
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (24)
On categoricity spectra for locally finite graphs ⋮ Degrees of autostability relative to strong constructivizations of graphs ⋮ Proper and piecewise proper families of reals ⋮ On notions of computability-theoretic reduction between Π21 principles ⋮ Degrees of Unsolvability: A Tutorial ⋮ On the strength of Ramsey's theorem ⋮ Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) ⋮ Effective categoricity for distributive lattices and Heyting algebras ⋮ 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 ⋮ Solovay's theorem cannot be simplified ⋮ Connected components of graphs and reverse mathematics ⋮ A standard model of Peano arithmetic with no conservative elementary extension ⋮ The degree of decidable categoricity of a model with infinite solutions for complete formulas ⋮ Mass problems associated with effectively closed sets ⋮ Degrees of bi-embeddable categoricity ⋮ THE CHARACTERIZATION OF WEIHRAUCH REDUCIBILITY IN SYSTEMS CONTAINING ⋮ Computable categoricity for algebraic fields with splitting algorithms ⋮ Countable algebra and set existence axioms ⋮ The Baire category theorem in weak subsystems of second-order arithmetic ⋮ HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC ⋮ THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC
This page was built for publication: