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
Interpretations between ω-logic and second-order arithmetic
Richard Kaye
Mathematics
Research output
:
Contribution to journal
›
Article
›
peer-review
180
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Interpretations between ω-logic and second-order arithmetic'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Second Order Arithmetic
100%
Logic
55%
Interpretation
49%
If and only if
25%
Standards
23%
Model
23%
Model Theory
15%
Reverse
13%
Imply
8%
Arts & Humanities
Logic
40%
Model Theory
17%
Cut
11%