Person:498617

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
Flipping properties in arithmetic	1982-01-01	Paper
Accessible Independence Results for Peano 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Laurence Kirby