{"version":"1.0","type":"link","title":"ST type theory - Newikis","description":"The following system is Mendelson's (1997, 289–293) ST type theory. ST is equivalent with Russell's ramified theory plus the Axiom of reducibility. The domain of quantification is partitioned into an ascending hierarchy of types, with all individuals assigned a type. Quantified variables range over…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}