The Jónsson term is a concept from the field of ordinal analysis within mathematical logic and set theory. Specifically, it refers to a certain ordinal that is associated with a particular class of formal systems, particularly in relation to the consistency strength of theories.
Articles by others on the same topic
There are currently no matching articles.