The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories

Authors:	Gerhard Jä ger,Dieter Probst

Affiliation:	^a Institut für Informatik und angewandte Mathematik, Universität Bern, Neubrückstrasse 10, CH-3012 Bern, Switzerland ^b Mathematisches Institut, Ludwig-Maximilians-Universität München, Theresienstrasse 39, D-80333 München, Germany

Abstract:

Keywords:	03D70 03D75 03F03 03F10
本文献已被 ScienceDirect 等数据库收录！