The symbol of type and the Wilson theorem
type: Item
instance of: scholarly article
title: The symbol of type and the Wilson theorem
zbMATH Open document ID: 1280.11004
DOI: 10.3103/S1066369X12090058
author: S. A. Tyurin
published in: Russian Mathematics
publication date: 2013-03-22T00:00:00Z
Mathematics Subject Classification ID: 11A07
Mathematics Subject Classification ID: 11A55
zbMATH DE Number: 6148296
zbMATH Keywords: finite fields
zbMATH Keywords: continued fractions
MaRDI profile type: Publication
cites work: Q4831228
Recommended article: Incomplete Symbols and the Theory of Logical Types
Recommended article: Type, infratype and the Elton-Pajor theorem
Recommended article: Typing theorems of omega algebra
Recommended article: Q4247301
Recommended article: Q3335804
Recommended article: The homotopy theory of type theories
Recommended article: Hindman's theorem and idempotent types
Recommended article: A formal theorem in Church's theory of types
Recommended article: Skorohod's theorem and convergence of types
description: scientific article; zbMATH DE number 6148296