Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Löb's theorem

Known as: Loeb's Theorem, Lob's theorem, Lob theorem 
In mathematical logic, Löb's theorem states that in any formal system F with Peano arithmetic (PA), for any formula P, if it is provable in F that… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
We present a simple algorithm, BEER, to search for a combination of the BEaming, Ellipsoidal and the Reflection/heating periodic… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Using estimates of dark halo masses from satellite kinematics, weak gravitational lensing and halo abundance matching, combined… Expand
  • table 1
  • figure 1
  • table 2
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2004
Highly Cited
2004
The first galaxies that formed at a redshift z ~ 20-30 emitted continuum photons with energies between the Lyα and Lyman limit… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2004
2004
  • A. Quaife
  • Journal of Automated Reasoning
  • 2004
  • Corpus ID: 26288473
The modal logic calculus K4, which represents important properties of the provability relation of Peano's Arithmetic, is… Expand
Is this relevant?
Highly Cited
2003
Highly Cited
2003
We simulate the ionization environment of z ~ 20 luminous objects formed within the framework of the current CDM (cold dark… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Structure formation in the intergalactic medium (IGM) produces large-scale, collisionless shock waves, in which electrons can be… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
The coalescence of massive black hole (BH) binaries due to galaxy mergers provides a primary source of low-frequency… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2001
Highly Cited
2001
As is well known, the requirement that gamma-ray bursts be optically thin to high-energy photons yields a lower limit on the… Expand
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
2000
Highly Cited
2000
We demonstrate that the radiation emitted by ultrarelativistic electrons in highly nonuniform, small-scale magnetic fields is… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
1997
1997
Dispersion compensation of a 110 km non-dispersion shifted fibre link over a 4 nm bandwidth is demonstrated using two continuous… Expand
  • figure 1
  • figure 2
Is this relevant?