821

Answers
votes newest views recent
3
Weakest Hypothesis Needed for Axiom of Replacement
3
Non-definable elements vs indiscernible elements
3
On intermediate transitive models for ZFC between M an M[G]
3
Recursively enumerable sets as range sets of functions in Grzegorczyk-hierarchy
3
Star-transfer of powerset
3
Two different products of filters
3
A question about formalized theories that may be both consistent and w-consistent
3
Validity in Kripke frames whose points are finite or infinite sequences
3
Approximating a function via definable functions II
3
Uniqueness of super godel numbers of $\varphi$ and $\neg \varphi$
3
saturated ideals
3
Which notions of forcing add a cofinal branch to an $\omega_1$-tree?
3
Is there a polynomial equation whose solution over the integers is independent of ZFC
3
example :concatenation of 2 undecidable language gives a decidable language
3
Density character of $\ell_\infty(\kappa, S)$
3
comprehension and ideal elements
3
How small can a language in NP\P be?
3
On the compactness of a certain chain topology
3
About Sigma_1 definability
3
Hyperreal finitely-additive measure on [0,1) assigning $b-a$ to $[a,b)$ or $(a,b]$ and infinitesimals to singletons
3
weakening naive comprehension to avoid the paradoxes
3
A question about relativized admissibility theory
3
Decidability survives new constants
2
Can there be a global linear ordering of the universe without a global well-ordering of the universe?
2
Second-order undecidability
2
Hyperfinite set containing the reals, with specified upper bound on internal cardinality?
2
Whether the result that an ultraproduct which satisfies ACCP is automatically a field generalizes to ultrafilters on larger indexing sets
2
“Axiom of global choice”
2
set existence question
2
The category of Boolean-valued models associated to a model of ZFC
prev 1 … 22 23 24 25 26 … 28 next