Ross A. Finlayson wrote: > I checked out that core model, with the mice and premice and pistols > and so on, there are still the same problems as there are in other > regular set theories with no universe. > > That seems particularly so where the basic idea of model theory is that > there is a "universal" ordinal of sorts, the model.
That's just non-sense.
-- Aatu Koskensilta (email@example.com)
"Wovon man nicht sprechen kann, daruber muss man schweigen" - Ludwig Wittgenstein, Tractatus Logico-Philosophicus