Thomas Forster - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 25 from 25

2017

Decidable Fragments of the Simple Theory of Types with Infinity and NFAnuj Dawar, Thomas Forster, Zachiri McKenzie. ndjfl, 58(3):433-451, 2017. [doi]

2013

2011

An Order-Theoretic Account of Some Set-Theoretic ParadoxesThomas Forster, Thierry Libert. ndjfl, 52(1):1-19, 2011. [doi]

2009

Normal subgroups of infinite symmetric groups, with an application to stratified set theoryNathan Bowler, Thomas Forster. JSYML, 74(1):17-26, 2009. [doi]

2008

2007

Erdos-Rado without choiceThomas Forster. JSYML, 72(3):897-900, 2007. [doi]

2006

Permutations and wellfoundedness: the true meaning of the bizarre arithmetic of Quine s NFThomas Forster. JSYML, 71(1):227-240, 2006. [doi]

2005

Comparing Design Alternatives from Field-Tested Systems to Support Product Line Architecture DesignJens Knodel, Thomas Forster, Jean-Francois Girard. CSMR 2005: 344-353 [doi]

An Efficient Migration to Model-driven Development (MDD)Jens Knodel, Michalis Anastasopolous, Thomas Forster, Dirk Muthig. ENTCS, 137(3):17-27, 2005. [doi]

2003

Better-quasi-orderings and coinductionThomas Forster. TCS, 309(1-3):111-123, 2003. [doi]

ZF + Every set is the same size as a wellfounded set Thomas Forster. JSYML, 68(1):1-4, 2003.

Finite-to-one mapsThomas Forster. JSYML, 68(4):1251-1253, 2003. [doi]

Reasoning About Theoretical EntitiesThomas Forster. Volume 3 of Advances in Logic, World Scientific, 2003. [doi]

1994

Weak Systems of Set Theory Related to HOLThomas Forster. tphol 1994: 193-204

Letter: Why Set Theory Without Foundation?Thomas Forster. logcom, 4(4):333-335, 1994.

1993

A Semantic Characterization of the Well-Typed Formulae of gamma-CalculusThomas Forster. TCS, 110(2):405-418, 1993.

1991

End-Extensions Preserving Power SetThomas Forster, Richard Kaye. JSYML, 56(1):323-328, 1991.

1990

Permutations and stratified formulae a preservation theoremThomas Forster. mlq, 36(5):385-388, 1990. [doi]

1989

A Consistent Higher-Order Theory Without a (Higher-Order) ModelThomas Forster. mlq, 35(5):385-386, 1989. [doi]

Sign in or sign up to see more results.

runs on WebDSL