|
gptkb:ZFC_(Zermelo–Fraenkel_set_theory_with_Choice)
|
true (as a theory, not as a model)
|
|
gptkb:the_ring_of_polynomials_K[x]_over_a_field_K
|
true
|
|
gptkb:Chang's_MV-algebra
|
true
|
|
gptkb:field_of_rational_numbers_Q
|
true
|
|
gptkb:Kleene's_O
|
true
|
|
gptkb:SL(n,ℤ)
|
true
|
|
gptkb:PSL_2(Q)
|
true
|
|
gptkb:\mathbb{Z}
|
true
|
|
gptkb:the_field_of_rational_numbers_Q
|
true
|
|
gptkb:The_ring_of_integers_Z
|
true
|
|
gptkb:Special_Linear_Group_of_degree_n_over_the_integers
|
true
|
|
gptkb:infinite_symmetric_group
|
true
|
|
gptkb:GL_2(Q)
|
true
|
|
gptkb:the_ring_of_polynomials_in_two_variables_K[x,y]
|
if K is countable
|
|
gptkb:standard_model_of_natural_numbers
|
true
|
|
gptkb:Zermelo–Fraenkel_set_theory_with_choice_(ZFC)
|
false
|
|
gptkb:Rado_graph
|
true
|
|
gptkb:Knot_concordance_group
|
true
|
|
gptkb:SL(n,_ℤ)
|
true
|
|
gptkb:SL_2(Z)
|
true
|