scientific article
From MaRDI portal
Publication:3012515
zbMath1269.03017MaRDI QIDQ3012515
Publication date: 6 July 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophical and critical aspects of logic and foundations (03A05) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Algorithmic randomness and dimension (03D32)
Related Items (3)
THE Σ1-DEFINABLE UNIVERSAL FINITE SEQUENCE ⋮ MARGINALIA ON A THEOREM OF WOODIN ⋮ HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC
This page was built for publication:
