Cargando…

Connections between Category Theory and Algebraic Geometry & Intuitionistic Logic

Detalles Bibliográficos
Autor principal:	Lawvere, F
Lenguaje:	eng
Publicado:	Springer 1972
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	https://dx.doi.org/10.1007/BFb0073961 http://cds.cern.ch/record/2029449

Ejemplares similares

Category Theory : Applications to Algebra, Logic and Topology
por: Kamps, Klaus, et al.
Publicado: (1982)

Workshop on Algebraic geometry and Physics : K-Theory, Derived Categories and Strings
Publicado: (2002)

A short introduction to intuitionistic logic
por: Mints, Grigori
Publicado: (2002)

Fourteen papers on logic, geometry, topology and algebra
por: Ceĭtin, G S, et al.
Publicado: (1972)

Leo Esakia on duality in modal and intuitionistic logics
por: Bezhanishvili, Guram
Publicado: (2014)

Connections between algebra, combinatorics, and geometry
por: Cooper, Susan, et al.
Publicado: (2014)

Model theory of modules, algebras and categories
por: Facchini, Alberto, et al.
Publicado: (1929)

Treatise on intuitionistic type theory
por: Granström, Johan Georg, et al.
Publicado: (2011)

Proof theory and intuitionistic systems
por: Scarpellini, Bruno
Publicado: (1971)

Foliation theory in algebraic geometry
por: Cascini, Paolo, et al.
Publicado: (2016)

Number theory and algebraic geometry
por: Reid, Miles, et al.
Publicado: (2004)

Hodge theory and complex algebraic geometry
por: Voisin, Claire, et al.
Publicado: (2003)

Categories in Continuum Physics : Lectures given at a Workshop at SUNY
por: Lawvere, F William, et al.
Publicado: (1986)

Non-commutative geometry and deformations of $A_{\infty}$-algebras and $A_{\infty}$-categories
por: Soibelman, Y S
Publicado: (2003)

Five papers on logic, algebra and number theory
por: Faddeev, D K
Publicado: (1956)

Methods of algebraic geometry in control theory
por: Falb, Peter
Publicado: (2018)

Algebraic Geometry in Coding Theory and Cryptography
por: Niederreiter, Harald, et al.
Publicado: (2009)

Introduction to coding theory and algebraic geometry
por: Van Lint, Jacobus Hendrium, et al.
Publicado: (1988)

Methods of algebraic geometry in control theory
por: Falb, Peter
Publicado: (1999)

Algebraic geometry and statistical learning theory
por: Watanabe, Sumio
Publicado: (2009)

Difference sets: connecting algebra, combinatorics, and geometry
por: Moore, Emily H, et al.
Publicado: (2013)

Thirteen papers on group theory, algebraic geometry and algebraic topology
por: Andrianov, A N, et al.
Publicado: (1968)

Sets, logic and categories
por: Cameron, Peter J
Publicado: (1998)

Selected papers on number theory, algebraic geometry, and differential geometry
por: Nomizu, Katsumi
Publicado: (1994)

Proceedings of the NATO Advanced Study Institute on Algebraic K-Theory : Connections with Geometry and Topology
por: Jardine, J, et al.
Publicado: (1989)

Logic and algebra
por: Zhang, Yi
Publicado: (2002)

Logic as algebra
por: Halmos, Paul, et al.
Publicado: (1998)

Intuitionistic fuzzy information aggregation: theory and applications
por: Xu, Zeshui, et al.
Publicado: (2012)

Algebraic Geometry and Number Theory Summer School
por: Mourtada, Hussein, et al.
Publicado: (2017)

Selected papers on number theory and algebraic geometry
por: Nomizu, Katsumi
Publicado: (1996)

Linear systems theory and introductory algebraic geometry
por: Hermann, Robert
Publicado: (1974)

International Workshop on Coding Theory and Algebraic Geometry
por: Stichtenoth, Henning, et al.
Publicado: (1992)

Brauer Groups in Ring Theory and Algebraic Geometry
por: Oystaeyen, Freddy, et al.
Publicado: (1982)

Conference on Algebraic Geometry for Coding Theory and Cryptography
por: Howe, Everett, et al.
Publicado: (2017)

Categories and Commutative Algebra
por: Salmon, P
Publicado: (2011)

Algebra and geometry
por: Beardon, Alan F
Publicado: (2005)

Universal algebra, algebraic logic, and databases
por: Plotkin, B
Publicado: (1994)

Cylindric-like algebras and algebraic logic
por: Andréka, Hajnal, et al.
Publicado: (2013)

Trivial extensions of abelian categories: homological algebra of trivial extensions of abelian categories with applications to ring theory
por: Fossum, Robert M, et al.
Publicado: (1975)

Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis
por: Fourman, Michael, et al.
Publicado: (1979)

Cannot write session to /tmp/vufind_sessions/sess_1mocp1tomml0lnlvasbubjhuqd