The following pages link to Laurence Kirby (Q498617):
Displaying 19 items.
- Ordinal exponentiations of sets (Q498618) (← links)
- A hierarchy of hereditarily finite sets (Q948912) (← links)
- Finitary set theory (Q1049686) (← links)
- Ultrafilters and types on models of arithmetic (Q1058509) (← links)
- (Q1097273) (redirect page) (← links)
- Models of arithmetic and categories with finiteness conditions (Q1097274) (← links)
- Digraph parameters and finite set arithmetic (Q2947232) (← links)
- Weakly Definable Types (Q3028989) (← links)
- Substandard models of finite set theory (Q3066294) (← links)
- (Q3367213) (← links)
- Addition and multiplication of sets (Q3423150) (← links)
- (Q3884109) (← links)
- (Q3907562) (← links)
- Flipping properties in arithmetic (Q3949043) (← links)
- Indicators, recursive saturation and expandability (Q3949050) (← links)
- Accessible Independence Results for Peano Arithmetic (Q3966112) (← links)
- (Q4138726) (← links)
- Ordinal operations on graph representations of sets (Q4915216) (← links)
- Bounded finite set theory (Q6047677) (← links)