Sciweavers

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