Models of Non-Well-Founded Sets via an Indexed Final Coalgebra Theorem
Benno van den Berg, Federico De Marchi · 2006
Abstract onlyNot checked
Theoretical Computer Science
Filters2 filters applied
330 papersQuestions on this topic
On \emptyset-definable elements in a field
Apoloniusz Tyszka · Collectanea Mathematica 58 (2007), no. 1, pp. 73-84 · 2006
Abstract onlyNot checked
O-minimal spectrum
Antongiulio Fornasiero · 2006
Abstract onlyNot checked
Model theoretic stability and categoricity for complete metric spaces
Saharon Shelah, Alex Usvyatsov · Israel J. Math. 182 (2011) 157--198 · 2006
Abstract onlyNot checked
Bernoulli automorphisms of finitely generated free MV-algebras
Giovanni Panti · 2006
Abstract onlyNot checked
Proofs Without Syntax
Dominic Hughes · Annals of Mathematics, 2006 · 2006
Abstract onlyNot checked
Turbulence, amalgamation and generic automorphisms of homogeneous structures
Alexander S. Kechris, Christian Rosendal · 2006
Abstract onlyNot checked
On finite approximations of topological algebraic systems
L. Yu. Glebsky, E. I. Gordon, C. W. Henson · 2006
Abstract onlyNot checked
Logic Without Syntax
Dominic Hughes · 2005
Abstract onlyNot checked
Computable structures of rank omega_1^{CK}
Julia Knight, Jessica Millar · 2005
Abstract onlyNot checked
Foundations of real analysis and computability theory in non-Aristotelian finitary logic
Radhakrishnan Srinivasan, H. P. Raghunandan · 2005
Abstract onlyNot checked
No-counterexample interpretation et spécification des théorèmes de l'arithmétique
Denis Bonnay · 2005
Abstract onlyNot checked
Extensions Theorems, Orbits, and Automorphisms of the Computably Enumerable Sets
Peter Cholak, Leo Harrington · 2005
Abstract onlyNot checked
A topological version of the Bergman property
Christian Rosendal · 2005
Abstract onlyNot checked
Some partition properties for measurable colourings of omega-one^2
James Hirschorn · 2005
Abstract onlyNot checked
A partition theorem for a large dense linear order
M. Dzamonja, J. Larson, W. Mitchell · 2005
Abstract onlyNot checked
Categoricity from one successor cardinal in Tame Abstract Elementary Classes
Rami Grossberg, Monica VanDieren · 2005
Abstract onlyNot checked
The Theory of Sets of Ordinals
Peter Koepke, Martin Koerwien · 2005
Abstract onlyNot checked
Ultrafilters and partial products of infinite cyclic groups
Andreas Blass, Saharon Shelah · Comm. Algebra 33 No. 6 (2005) 1997--2007 · 2005
Abstract onlyNot checked
Mathematical conceptualism
Nik Weaver · 2005
Abstract onlyNot checked