<--- Back to Details
First PageDocument Content
Functions and mappings / Model theory / Computability theory / Nonassociative algebra / Principia Mathematica / Primitive recursive function / Function / FO / Constructible universe / Mathematics / Mathematical logic / Logic
Date: 2006-01-30 15:28:37
Functions and mappings
Model theory
Computability theory
Nonassociative algebra
Principia Mathematica
Primitive recursive function
Function
FO
Constructible universe
Mathematics
Mathematical logic
Logic

Add to Reading List

Source URL: www.research.ibm.com

Download Document from Source Website

File Size: 327,27 KB

Share Document on Facebook

Similar Documents

Homotopy theory / Nonassociative algebra / Homotopy group / Quasigroup / Covering space / Constructible universe / Abstract algebra / Topology / Mathematics

A Cubical Approach to Synthetic Homotopy Theory Daniel R. Licata Guillaume Brunerie Wesleyan University

DocID: 1aVHU - View Document

Stream ciphers / Group theory / Latin squares / Quasigroup / Abstract algebra / Algebraic structure / Edon80 / ESTREAM / Keystream / Nonassociative algebra / Mathematics / Algebra

A Note on Algebraic Properties of Quasigroups in Edon80 Milan Vojvoda, Marek Sýs and Matú² Jókay , ,

DocID: 1aneM - View Document

Mathematics / Group theory / Quasigroup / Constructible universe / Vertex operator algebra / Abstract algebra / Algebra / Nonassociative algebra

My sources: • Norman Biggs, “Chip-firing and the critical group of a graph”, J. Alg. Combin), 25–45 • Discussions with Gregg Musiker The Chip-Firing Game • Start with a finite, simple, connected grap

DocID: 1a3Je - View Document

Vertex operator algebra / Complex analysis / Holomorphic function / Symbol / World glyph set / Mathematical analysis / Conformal field theory / Nonassociative algebra

EVALUATION OF SUPERSTRING AMPLITUDES IN GENUS 2 Duong H. Phong Columbia University Supermoduli Workshop Simons Center for Geometry and Physics

DocID: 19eeG - View Document

Physics / Four-square cipher / Classical cipher / Abstract algebra / Computer programming / Nonassociative algebra

PDF Document

DocID: 191pl - View Document