Suchergebnisse - "Computability and recursion theory"

Minimal Weak Truth Table Degrees and Computably Enumerable Turing Degrees von Downey, Rodney G., Ng, Keng Meng, Solomon, Reed

“… Two of the central concepts for the study of degree structures in computability theory are computably enumerable degrees and minimal degrees. For strong …”
Volltext

Recurrent features of amplitudes in planar $$ \mathcal{N} $$ = 4 super Yang-Mills theory von Cai, Tianji, Charton, François, Cranmer, Kyle, Dixon, Lance J., Merz, Garrett W., Wilhelm, Matthias

“… The planar three-gluon form factor for the chiral stress tensor operator in planar maximally supersymmetric Yang-Mills theory is an analog of the …”
Volltext

Foundations of mathematics: logic at Harvard : essays in honor of Hugh Woodin's 60th birthday, March 27-29, 2015, Harvard University, Cambridge, MA von Caicedo, Andres Eduardo

“… This volume contains the proceedings of the Logic at Harvard conference in honor of W. Hugh Woodin's 60th birthday, held March 27-29, 2015, at Harvard …”
Volltext

Foundations of Mathematics von Caicedo, Andrés Eduardo, Cummings, James, Koellner, Peter, Larson, Paul B

“… This volume contains the proceedings of the Logic at Harvard conference in honor of W. Hugh Woodin's 60th birthday, held March 27-29, 2015, at Harvard …”
Volltext

Representación finita de variedades compactas von PARRA, CARLOS MARIO, SUÁREZ RAMÍREZ, JOHANY

“… Un logro notable de la topología algorítmica es el resultado de A.A. Márkov sobre la insolubilidad del problema del homeomorfismo para variedades …”
Volltext

Foundations of mathematics : logic at Harvard, essays in honor of W. Hugh Woodin's 60th birthday, March 27-29, 2015, Harvard University, Cambridge, MA von Caicedo, A. E., Cummings, James, Koellner, Peter, Larson, Paul B. (Paul Bradley), Conference in honor of Hugh Woodin's 60th birthday

Volltext

Recent advances in real complexity and computation : UIMP-RSME Lluís A. Santaló Summer School, recent advances in real complexity and computation, July 16-20, 2012, Universidad Internacional Menéndez Pelayo, Santander, Spain von UIMP-RSME Santaló Summer School, Montana, Jose Luis, Pardo, L. M. (Luis M.)

“… This volume is composed of six contributions derived from the lectures given during the UIMP-RSME Lluis Santalo Summer School on ""Recent Advances in Real …”
Volltext

The role of true finiteness in the admissible recursively enumerable degrees von Greenberg, Noam

“… When attempting to generalize recursion theory to admissible ordinals, it may seem as if all classical priority constructions can be lifted to any admissible …”
Volltext

Recursive formulation of the relativistic law of superposition of multiple collinear velocities von Antippa, Adel F.

“… We study the recursive formulation of the law of superposition of multiple collinear velocities. We start with the non-linear equation, transform it into two …”
Volltext