<--- Back to Details
First PageDocument Content
Theoretical physics / Physics / Mathematics / Mathematical physics / Quantum gravity / Duality / Noncommutative geometry / Mathematical formulation of quantum mechanics / Hermann Weyl / Model theory / Heisenberg group / Mathematical logic
Date: 2014-08-13 10:47:43
Theoretical physics
Physics
Mathematics
Mathematical physics
Quantum gravity
Duality
Noncommutative geometry
Mathematical formulation of quantum mechanics
Hermann Weyl
Model theory
Heisenberg group
Mathematical logic

Dualities in logic and geometry The Weyl-Heisenberg algebra Calculations

Add to Reading List

Source URL: people.maths.ox.ac.uk

Download Document from Source Website

File Size: 555,81 KB

Share Document on Facebook

Similar Documents

Linear temporal logic / Temporal logic / Symbol / Stochastic game / Mathematical optimization / Markov decision process / Markov chain / Probability

Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice∗ Marta Kwiatkowska University of Oxford

DocID: 1xVM0 - View Document

Geometry / Algebra / Abstract algebra / Algebraic geometry / Chenyang Xu / Minimal model program / Fano variety / Canonical singularity / Birational geometry / Projective variety / Resolution of singularities / Canonical bundle

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–826) INTERACTION BETWEEN SINGULARITY THEORY AND THE MINIMAL MODEL PROGRAM Chenyang Xu (许晨阳)

DocID: 1xVHX - View Document

Model theory / Mathematics / Mathematical logic / Metalogic / Non-standard analysis / Ultraproduct / Maryanthe Malliaris / Ultrafilter / Saturated model / O-minimal theory / Type / Finite set

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–98) MODEL THEORY AND ULTRAPRODUCTS Maryanthe Malliaris

DocID: 1xTmh - View Document

Logic / Mathematical logic / Theoretical computer science / Model theory / Logic in computer science / Logical truth / Philosophy of logic / Satisfiability / Convex function / Universal quantification / Boolean satisfiability problem

Model Based Theory Combination SMT 2007 Leonardo de Moura and Nikolaj Bjørner {leonardo, nbjorner}@microsoft.com. Microsoft Research

DocID: 1xTeO - View Document

factor prices in general equilibrium factor prices in general equilibrium 1 Introduction At first glance, the Walrasian general equilibrium model does not offer a theory of factor prices. Factors are goods

DocID: 1vrRG - View Document