Skip to main navigation
Skip to search
Skip to main content
University of Birmingham Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Activities
Datasets
Equipment
Prizes
Press/Media
Search by expertise, name or affiliation
Truth in generic cuts
Richard Kaye, TL Wong
Mathematics
Research output
:
Contribution to journal
›
Article
2
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Truth in generic cuts'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Neighborhood System
100%
Arithmetic
50%
Saturated Model
50%
Notre Dame
50%
Formal Logic
50%
Keyphrases
Generic Cuts
100%
Neighborhood System
33%
First Author
16%
Notre Dame
16%
Formal Logic
16%
Models of Arithmetic
16%
Recursively Saturated
16%
Peano Arithmetic
16%
Models of Peano Arithmetic
16%