Sciweavers

23 search results - page 1 / 5
» aml 2010
Sort
View
AML
2010
55views more  AML 2010»
13 years 4 months ago
Quotients of Boolean algebras and regular subalgebras
Bohuslav Balcar, T. Pazák
AML
2010
87views more  AML 2010»
13 years 4 months ago
On almost precipitous ideals
Asaf Ferber, Moti Gitik
AML
2010
64views more  AML 2010»
13 years 4 months ago
An ordinal analysis for theories of self-referential truth
Graham Emil Leigh, Michael Rathjen
AML
2010
102views more  AML 2010»
13 years 4 months ago
The basic theory of infinite time register machines
Merlin Carl, Tim Fischbach, Peter Koepke, Russell ...