Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,250,649 papers from all fields of science
Search
Sign In
Create Free Account
Löb's theorem
Known as:
Loeb's Theorem
, Lob's theorem
, Lob theorem
Expand
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
Create Alert
Alert
Related topics
Related topics
6 relations
Admissible rule
Doxastic logic
Modal logic
Normal 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
S. Faigler
,
T. Mazeh
2011
Corpus ID: 118672945
We present a simple algorithm, BEER, to search for a combination of the BEaming, Ellipsoidal and the Reflection/heating periodic…
Expand
Review
2010
Review
2010
Endocrine-Related Cancer ( 2010 ) 17 F 1 – F 17 MicroRNAs and prostate cancer
V. Coppola
,
R. Maria
,
D. Bonci
2010
Corpus ID: 96430527
Despite much progress in prostate cancer management, new diagnostic, prognostic and therapeutic tools are needed to predict…
Expand
Highly Cited
2004
Highly Cited
2004
Detecting the Earliest Galaxies through Two New Sources of 21 Centimeter Fluctuations
R. Barkana
,
A. Loeb
2004
Corpus ID: 7343629
The first galaxies that formed at a redshift z ~ 20-30 emitted continuum photons with energies between the Lyα and Lyman limit…
Expand
2004
2004
Automated proofs of Löb's theorem and Gödel's two incompletensess theorems
Art 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
Highly Cited
2003
Highly Cited
2003
RADIATION HYDRODYNAMIC EVOLUTION OF PRIMORDIAL H II REGIONS
D. Whalen
,
T. Abel
,
M. Norman
2003
Corpus ID: 1361100
We simulate the ionization environment of z ~ 20 luminous objects formed within the framework of the current CDM (cold dark…
Expand
Highly Cited
2003
Highly Cited
2003
Gamma Rays from Intergalactic Shocks
U. Keshet
,
E. Waxman
,
A. Loeb
,
V. Springel
,
L. Hernquist
2003
Corpus ID: 16252475
Structure formation in the intergalactic medium (IGM) produces large-scale, collisionless shock waves, in which electrons can be…
Expand
Highly Cited
2002
Highly Cited
2002
Low-Frequency Gravitational Waves from Massive Black Hole Binaries: Predictions for LISA and Pulsar Timing Arrays
J. Wyithe
,
A. Loeb
2002
Corpus ID: 7287796
The coalescence of massive black hole (BH) binaries due to galaxy mergers provides a primary source of low-frequency…
Expand
Highly Cited
2000
Highly Cited
2000
Lower Limits on Lorentz Factors in Gamma-Ray Bursts
Y. Lithwick
,
R. Sari
2000
Corpus ID: 228707
As is well known, the requirement that gamma-ray bursts be optically thin to high-energy photons yields a lower limit on the…
Expand
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
M. Cole
,
H. Geiger
,
+4 authors
V. Gusmeroli
1997
Corpus ID: 17254816
Dispersion compensation of a 110 km non-dispersion shifted fibre link over a 4 nm bandwidth is demonstrated using two continuous…
Expand
1986
1986
Logicians Who Reason About Themselves
R. Smullyan
TARK
1986
Corpus ID: 39619456
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