Skip to search formSkip to main contentSkip to account menu

General set theory

Known as: GST 
General set theory (GST) is George Boolos's (1998) name for a fragment of the axiomatic set theory Z. GST is sufficient for all mathematics not… 
Wikipedia (opens in a new tab)

Related topics

Related topics

6 relations
First-order logicPeano axiomsQuantifier (logic)Set theory

Broader (1)

Z notation

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Towards Mac Lane's Comparison Theorem for the (co)Kleisli Construction in Coq
This short paper summarizes an ongoing work on the formalization of Mac Lane’s comparison theorem for the (co)Kleisli… 
2018
2018
How strict is strictification?
Review
2018
Review
2018
A short survey on observability
The exploration of the notion of observability exhibits transparently the rich interplay between algebraic and geometric ideas in… 
2017
2017
Model categories in equivariant rational homotopy theory SPUR Final Paper , Summer 2017
Model categories are a useful formalization of homotopy theory, and the notion of Quillen equivalence between them expresses what… 
2014
2014
Split Quantifiers and Countercyclic Adjunction
2013
2013
Aspectos prosódicos do português brasileiro: hipossegmentação de sequências com clíticos em documentos do século XIX
O artigo trata de um tipo de segmentacao nao convencional de palavras escritas, a hipossegmentacao (ausencia de espaco em branco… 
Review
2007
Review
2007
Embedded Fronting Constructions in Icelandic
In the two papers presented here, I deal with front ing constructions in Icelandic, in particular Subj-Adv-Vfin order (V3) and… 
2003
2003
INTERACTIONS BETWEEN VERB MOVEMENT AND AGREEMENT IN KARITIANA (TUPI STOCK)
Este artigo tem como objetivo mostrar que o Karitiana, uma lingua da familia Arikem, tronco Tupi, falada em Rondonia, Brasil, e… 
1994
1994
A note on beneficiary 'NP-ni' adjunction and 'te yaru' auxiliary suport in Japanese : contrasted with beneficiary adjunction in English
1992
1992
An Institution of Object Behaviour
An institution for a simple logic of behaviour is built using a cofibration from a category of transition systems into the… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)