Filters








5,292,679 Hits in 7.6 sec

On the Theory of Type 1,1-Operators [article]

Jon Johnsen
2016 arXiv   pre-print
Secondly a detailed exposition is given of the systematic theory of type 1,1-operators, based on the general definition of such operators proposed by the author in 2008.  ...  Rodino that type 1,1-operators are pseudo-local is proved in this framework. It is also analysed how such operators can change the support and the spectrum of the functions they act on.  ...  Although important for the general theory of type 1, 1-operators, this is, however an area adjacent to the present one.  ... 
arXiv:1610.04469v1 fatcat:x565fdbjxbcxzmnuhulfn5nzk4

On the homotopy theory of n-types [article]

Georg Biedermann
2006 arXiv   pre-print
The whole setup can consequently be viewed as a description of the homotopy theory of higher hyperstacks.  ...  Therefore this can also be viewed as the homotopy theory of (pre-)sheaves of (weak) higher groupoids.  ...  Hence, for finite n the theory amounts to a classification of (pre-)sheaves of n-types in terms of (pre-)sheaves of truncated groupoids enriched in simplicial sets.  ... 
arXiv:math/0604514v1 fatcat:othpjtjmx5f4lhiahj6j5ka7e4

On the classification of Floer-type theories [article]

Nadya Shirokova
2007 arXiv   pre-print
In this paper we outline a program for the classification of Floer-type theories, (or defining invariants of finite type for families).  ...  We extend this system to the singular locus by the cone of this morphism and introduce the definition of the local system of finite type.  ...  We introduce the definition of a theory of finite type n and show that Khovanov homology theory in a categorical sense decomposes into a "Taylor series" of theories of finite type.  ... 
arXiv:0704.1330v1 fatcat:mm6x7gzqjncqrnsnto2uvfjyta

On the homotopy theory of $n$-types

Georg Biedermann
2008 Homology, Homotopy and Applications  
This can be viewed as a description of the homotopy theory of higher stacks. As a special case we obtain a good homotopy theory of (weak) higher groupoids.  ...  We achieve a classification of n-types of simplicial presheaves in terms of (n − 1)-types of presheaves of simplicial groupoids.  ...  Hence, for finite n the theory amounts to a classification of (pre-)sheaves of n-types in terms of (pre-)sheaves of truncated groupoids enriched in simplicial sets.  ... 
doi:10.4310/hha.2008.v10.n1.a13 fatcat:hdjwzjcf7vh2zhhohschpqcbdy

On the theory of types in chemistry

T. S. Hunt
1861 American Journal of Science  
in the theory of the science."  ...  Wolcott Gibbs j in an essay on the polyacid bases, he remarks that in a prEllVious paper he had attributed the theory of water types to Williamson and Gerhardt, and adds "in this I find I have not done  ... 
doi:10.2475/ajs.s2-31.92.256 fatcat:asl4b4bccveh3a2b4xbgrhbshy

Some Remarks on the Theory of Types

Kane
1840 Proceedings of the Royal Irish Academy (1836-1869)  
Petrie gave an account of some ancient Irish inscrip tions of the sixth century, found in the island of Arran. Dr. Kane made some remarks oti the Theory of Types. DONATIONS.  ...  Report of the Directots of the Chamber of Commerce at Mlanchester on Import Duties. 11th March, 184 1. Report of the Select Committee of the House of Commons on the Import Duties.  ... 
fatcat:oopjmtrcmvf4fj6taqkt3kpv4m

On the Change of Type Theory of Disease

Henry Kennedy
1859 Edinburgh medical journal  
Speaking of the necessity of a varied treatment reminds me tliat Dr Bennett is opposed to the use of mercury, but mainly on theory.  ...  For every one who has seen fever on a large scale, knows well that it often puts on the inflammatory type, especially in summer ; and what is more?  ... 
pmid:29648246 pmcid:PMC5303515 fatcat:dlqdodby4favxhdoofzdorrqnq

On the nature of screening in Voorn-Overbeek type theories [article]

Sunita Kumari, Shikha Dwivedi, Rudolf Podgornik
2022 arXiv   pre-print
By using the recently formulated Legendre transform approach to the thermodynamics of charged systems, we explore the general form of the screening length in the Voorn-Overbeek type theories, that remains  ...  The screening length consistent with the non-electrostatic terms in the free energy Ansatz for the Flory-Huggins and Voorn-Overbeek type theories, derived from the local curvature properties of the Legendre  ...  RP would like to thank Tony Maggs for his illuminating comments on an earlier version of this manuscript.  ... 
arXiv:2012.13503v3 fatcat:6fux5batsffdfizih7vjsle3am

On the strength of proof-irrelevant type theories

Benjamin Werner, Shankar Natarajan
2008 Logical Methods in Computer Science  
We argue that this feature is useful when type theory is used as the logical formalism underlying a theorem prover. We also show a close relation with the subset types of the theory of PVS.  ...  We present a type theory with some proof-irrelevance built into the conversion rule.  ...  Finally, on a more theoretical level, we will also see that by making the theory more extensional, proof-irrelevance brings type theory closer to set-theory regarding the consequences of the axiom of choice  ... 
doi:10.2168/lmcs-4(3:13)2008 fatcat:5hzx7dhn25efnnej4muo54oumy

On the compactification of type IIA string theory

Jnanadeva Maharana, Harvendra Singh
1997 Physics Letters B  
The ten-dimensional type IIA string effective action with cosmological constant term is dimensionally reduced on a d-dimensional torus to derive lower dimensional effective action.  ...  New class of black hole solutions are obtained in five and four dimensions in the presence of cosmological constant. For the six-dimensional theory, a four-brane solution is also presented.  ...  Acknowledgements: One of us (J.M.) would like to thank the members of the Centre Physique Theorique, for the warm hospitality where a part of this work was done.  ... 
doi:10.1016/s0370-2693(97)00823-x fatcat:ffylkiezerfxnlvmcsgqoqfsdm

On the regularization of Lifshitz-type field theories [article]

Alfio Bonanno, Miok Park, Lesław Rachwał, Dario Zappalà
2020 arXiv   pre-print
Using the proper time regularization method on the spatial coordinates only, we derive the regularized form of the one-loop effective potential in such theories.  ...  We consider Lifshitz-type scalar theories with explicit breaking of the Lorentz symmetry that, in addition, exhibit anisotropic scaling laws near the ultraviolet fixed point.  ...  1 and in the IR one eventually recovers a Lorentz invariant effective theory.  ... 
arXiv:2010.05966v1 fatcat:u63ukqkukrejjka3unqj47egfu

On theS-matrix of type-0 string theory

Oliver DeWolfe, Radu Roiban, Marcus Spradlin, Anastasia Volovich, Johannes Walcher
2003 Journal of High Energy Physics  
In this note we adapt work of Moore, Plesser, and Ramgoolam on the bosonic string to compute the exact S-matrices of 0A and 0B string theory in two dimensions.  ...  Unitarity of the 0B theory requires the inclusion of massless soliton sectors carrying RR scalar charge as asymptotic states.  ...  One of these, which they called 'theory II', had a Fermi sea filled on both sides. 3 The S-matrix of MPR's theory II is essentially that of the 0B vacuum except for two differences, one minor and one  ... 
doi:10.1088/1126-6708/2003/11/012 fatcat:2oe2qtjfwbcmpescn45xdpfpp4

On the regularization of Lifshitz-type field theories

Alfio Bonanno, Miok Park, Lesław Rachwał, Dario Zappalà
2020 European Physical Journal C: Particles and Fields  
Using the proper time regularization method on the spatial coordinates only, we derive the regularized form of the one-loop effective potential in such theories.  ...  AbstractWe consider Lifshitz-type scalar theories with explicit breaking of the Lorentz symmetry that, in addition, exhibit anisotropic scaling laws near the ultraviolet fixed point.  ...  Data Availability Statement This manuscript has no associated data or the data will not be deposited. [Authors' comment: This is a theoretical study and no experimental data has been listed.]  ... 
doi:10.1140/epjc/s10052-020-08666-5 fatcat:tixm7abtmjcnjpov2etixoze7y

On the syntax of Martin-Löf's type theories

A.S. Troelstra
1987 Theoretical Computer Science  
The paper gives a precise syntactical presentation of the arithmetical fragment (without universes and W-operator for the formation of well-founded trees) of Martin-Liif's type theories, both in an intensional  ...  Some elementary proof-theoretic properties are estabtished, such as the normalization of terms, the equivalence between several vekons, and the dropping of ty :-statement premises.  ...  be postulated i Martin-L6f's theory with a univ e of small types this is, on the other ha derivable (cf. [$, example on p m- (b) Let A = IIx E B.C.  ... 
doi:10.1016/0304-3975(87)90047-8 fatcat:bewhpvda7jepjgpukegvy3ozn4

On the Strength of Proof-Irrelevant Type Theories [chapter]

Benjamin Werner
2006 Lecture Notes in Computer Science  
We also show a close relation with the subset types of the theory of PVS.  ...  We present a type theory with some proof-irrelevance built into the conversion rule.  ...  Finally, on a more theoretical level, we will also see that by making the theory more extensional, proof-irrelevance brings type theory closer to set-theory regarding the consequences of the axiom of choice  ... 
doi:10.1007/11814771_49 fatcat:wi45amls7fbabpqxloqkwzlurq
« Previous Showing results 1 — 15 out of 5,292,679 results