scholarly journals Advantage of the second-order formalism in double space T-dualization of type II superstring

2019 ◽  
Vol 79 (10) ◽  
Author(s):  
B. Nikolić ◽  
B. Sazdović

Abstract In this article we present bosonic T-dualization in double space of the type II superstring theory in the pure spinor formulation. We use the action with constant background fields obtained from the general case under some physically and mathematically justified assumptions. Unlike Nikolić and Sazdović (EPJ C 77:197, 2017), where we used the first-order theory, in this article fermionic momenta are integrated out. Full T-dualization in double space is represented as a permutation of the initial $$x^\mu $$xμ and T-dual coordinates $$y_\mu $$yμ. Requiring that a T-dual transformation law of the T-dual double coordinate $${}^\star Z^M=(y_\mu ,x^\mu )$$⋆ZM=(yμ,xμ) to be of the same form as for initial one $$Z^M=(x^\mu ,y_\mu )$$ZM=(xμ,yμ), we obtain the form of the T-dual background fields in terms of the initial ones. The advantage of using the action with integrated fermionic momenta is that it gives all T-dual background fields in terms of the initial ones. In the case of the first-order theory Nikolić and Sazdović (2017) a T-dual R-R field strength was obtained out of the double space formalism under additional assumptions.

Computability ◽  
2019 ◽  
Vol 8 (3-4) ◽  
pp. 347-358
Author(s):  
Matthew Harrison-Trainor

2015 ◽  
Vol 57 (2) ◽  
pp. 157-185 ◽  
Author(s):  
Peter Franek ◽  
Stefan Ratschan ◽  
Piotr Zgliczynski

1990 ◽  
Vol 55 (2) ◽  
pp. 626-636
Author(s):  
John T. Baldwin

AbstractLet T be a complete countable first order theory and λ an uncountable cardinal. Theorem 1. If T is not superstable, T has 2λ resplendent models of power λ. Theorem 2. If T is strictly superstable, then T has at least min(2λ, ℶ2) resplendent models of power λ. Theorem 3. If T is not superstable or is small and strictly superstable, then every resplendent homogeneous model of T is saturated. Theorem 4 (with Knight). For each μ ∈ ω ∪ {ω, 2ω} there is a recursive theory in a finite language which has μ resplendent models of power κ for every infinite κ.


1974 ◽  
Vol 17 (4) ◽  
pp. 471-477 ◽  
Author(s):  
Paul D. Bacsich

Given a first-order theory T, welet be the category of models of T and homomorphisms between them. We shall show that a morphism A→B of is an epimorphism if and only if every element of B is definable from elements of A in a certain precise manner (see Theorem 1), and from this derive the best possible Cowell- power Theorem for .


Sign in / Sign up

Export Citation Format

Share Document