Zobrazeno 1 - 10
of 188
pro vyhledávání: '"Lambda theories"'
Minimal varying $\Lambda$ theories are defined by an action built from the Einstein-Cartan-Holst first order action for gravity with the cosmological constant $\Lambda$ as an independent scalar field, and supplemented by the Euler and Pontryagin dens
Externí odkaz:
http://arxiv.org/abs/2104.03753
Autor:
Alexander, Stephon, Cortês, Marina, Liddle, Andrew R., Magueijo, João, Sims, Robert, Smolin, Lee
Publikováno v:
Phys. Rev. D 100, 083507 (2019)
Inserting a varying Lambda in Einstein's field equations can be made consistent with the Bianchi identities by allowing for torsion, without the need to add scalar field degrees of freedom. In the minimal such theory, Lambda is totally free and undet
Externí odkaz:
http://arxiv.org/abs/1905.10382
Autor:
Sterling, Jonathan, Spitters, Bas
The connection between normalization by evaluation, logical predicates and semantic gluing constructions is a matter of folklore, worked out in varying degrees within the literature. In this note, we present an elementary version of the gluing techni
Externí odkaz:
http://arxiv.org/abs/1809.08646
Publikováno v:
EPTCS 113, 2013, pp. 61-76
A longstanding open problem in lambda calculus is whether there exist continuous models of the untyped lambda calculus whose theory is exactly the least lambda-theory lambda-beta or the least sensible lambda-theory H (generated by equating all the un
Externí odkaz:
http://arxiv.org/abs/1303.7329
Autor:
Dezani-Ciancaglini, M., Lusin, S.
We illustrate the use of intersection types as a semantic tool for showing properties of the lattice of lambda theories. Relying on the notion of easy intersection type theory we successfully build a filter model in which the interpretation of an arb
Externí odkaz:
http://arxiv.org/abs/cs/0211011
A longstanding open problem is whether there exists a non syntactical model of the untyped lambda-calculus whose theory is exactly the least lambda-theory (l-beta). In this paper we investigate the more general question of whether the equational/orde
Externí odkaz:
http://arxiv.org/abs/0806.2264
A longstanding open problem is whether there exists a non-syntactical model of untyped lambda-calculus whose theory is exactly the least equational lambda-theory (=Lb). In this paper we make use of the Visser topology for investigating the more gener
Externí odkaz:
http://arxiv.org/abs/math/0701684
Autor:
Intrigila, Benedetto, Statman, Richard
Publikováno v:
Logical Methods in Computer Science, Volume 2, Issue 4 (October 18, 2006) lmcs:2241
H is the theory extending β-conversion by identifying all closed unsolvables. Hω is the closure of this theory under the ω-rule (and β-conversion). A long-standing conjecture of H. Barendregt states that the provable equations of Hω
Externí odkaz:
http://arxiv.org/abs/cs/0609080
Publikováno v:
The Journal of Symbolic Logic, 1978 Mar 01. 43(1), 45-55.
Externí odkaz:
https://www.jstor.org/stable/2271947
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.