The following pages link to The theory of semisets (Q1227616):
Displayed 12 items.
- Mathias-Prikry and Laver type forcing; summable ideals, coideals, and \(+\)-selective filters (Q283119) (← links)
- Square and delta reflection (Q287476) (← links)
- Developments from Ernst Specker's work in set theory (Q452477) (← links)
- Fuzzy sets - the approximation of semisets (Q1057856) (← links)
- A simple dynamic logic (Q1087866) (← links)
- An attempt at Gödel-Bernays-like axiomatization of fuzzy sets (Q1140082) (← links)
- Equivalence of generics (Q2155500) (← links)
- Petr Hájek: A Scientific Biography (Q2948582) (← links)
- A theory of sets with the negation of the axiom of infinity (Q4304117) (← links)
- Generic extensions of models of ZFC (Q4602509) (← links)
- Balcar's theorem on supports (Q4646998) (← links)
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS (Q5117593) (← links)