Laurence Kirby

Available identifiers

zbMath Open kirby.laurenceDBLP48/3990WikidataQ376142 ScholiaQ376142MaRDI QIDQ498617

List of research outcomes

Publication	Date of Publication	Type
Bounded finite set theory	2023-09-12	Paper
Ordinal exponentiations of sets	2015-09-29	Paper
Digraph parameters and finite set arithmetic	2015-09-22	Paper
Ordinal operations on graph representations of sets	2013-04-09	Paper
Substandard models of finite set theory	2011-01-10	Paper
Finitary set theory	2010-01-13	Paper
A hierarchy of hereditarily finite sets	2008-10-16	Paper
Addition and multiplication of sets	2007-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q3367213	2006-01-23	Paper
Models of arithmetic and categories with finiteness conditions	1987-01-01	Paper
Weakly Definable Types	1986-01-01	Paper
Ultrafilters and types on models of arithmetic	1984-01-01	Paper
Accessible Independence Results for Peano Arithmetic	1982-01-01	Paper
Flipping properties in arithmetic	1982-01-01	Paper
Indicators, recursive saturation and expandability	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3907562	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3884109	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4138726	1977-01-01	Paper

Research outcomes over time

This page was built for person: Laurence Kirby