Admissible ordinal - PDFSEARCH.IO - Document Search Engine

Admissible ordinal
Results: 4

#	Item
1	Journal of Artificial Intelligence Research[removed]151 Submitted 8/05; published 6/06 Admissible and Restrained Revision Richard Booth Add to Reading List Source URL: www.jair.org Language: English - Date: 2009-08-06 19:20:22 Logic Logic programming Constructible universe Ordinal number Binding Mathematical logic Science Linguistics Belief revision Knowledge representation
2	An overview of the ordinal calculator Paul Budnik Mountain Math Software [removed] c[removed]Mountain Math Software Copyright Add to Reading List Source URL: mtnmath.com Language: English - Date: 2012-08-03 19:43:24 Ordinal notation Ordinal arithmetic Limit ordinal Veblen function Admissible ordinal Constructible universe First uncountable ordinal Large countable ordinal Ordinal numbers Mathematical logic Mathematics
3	An overview of the ordinal calculator Paul Budnik Mountain Math Software [removed] c[removed]Mountain Math Software Copyright Add to Reading List Source URL: www.mtnmath.com Language: English - Date: 2012-08-03 19:43:24 Ordinal notation Ordinal arithmetic Limit ordinal Veblen function Admissible ordinal Constructible universe First uncountable ordinal Large countable ordinal Ordinal numbers Mathematical logic Mathematics
4	Decidability of DPDA equivalence Colin Stirling Division of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:56:31 Symbol Ordinal number Admissible rule Modal logic Constructible universe