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

Related topics

Related topics

6 relations
Admissible ruleDoxastic logicModal logicNormal modal logic
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
Photometric detection of non-transiting short-period low-mass companions through the beaming, ellipsoidal and reflection effects in Kepler and CoRoT light curves
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
The kinematic connection between galaxies and dark matter haloes
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
Detecting the Earliest Galaxies through Two New Sources of 21 Centimeter Fluctuations
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
Automated proofs of Löb's theorem and Gödel's two incompletensess theorems
  • 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
RADIATION HYDRODYNAMIC EVOLUTION OF PRIMORDIAL H II REGIONS
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
Gamma Rays from Intergalactic Shocks
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
Low-Frequency Gravitational Waves from Massive Black Hole Binaries: Predictions for LISA and Pulsar Timing Arrays
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
Lower Limits on Lorentz Factors in Gamma-Ray Bursts
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
Theory of “Jitter” Radiation from Small-Scale Random Magnetic Fields and Prompt Emission from Gamma-Ray Burst Shocks
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
Broadband dispersion-compensating chirped fibre Bragg gratings in a 10 Gbit/s NRZ 110km non-dispersion-shifted fibre link operating at 1.55µm
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?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE