6
votes
1answer
122 views

Is it possible to prove the axiom of infinity from the real number axioms?

What I mean by the title is whether, given that there is a class $\Bbb R$ and operations $+,\cdot,<$ that satisfy the ordered field axioms and the least upper bound axiom, you can prove the ...
5
votes
1answer
108 views

A model of geometry with the negation of Pasch’s axiom?

How would a geometry with all the usual axioms of Euclidean geometry, except that instead of Pasch’s axiom, we take it negation, look like?
3
votes
2answers
110 views

Does the language of group theory need a constant?

I would like to verify the understanding of my claim. In Model Theory: An Introduction by David Marker Example 1.2.5 defines the language of the theory of groups as follows to be $\mathcal{L}=\{., ...
2
votes
1answer
64 views

Can I express (only) the syntactical formulation of a set theory within another.

Motivated by this question on the SE philosophy board "Is there a one true set theory", I want to ask for a clarification: I've seen e.g. ZF being expressed in Grothendieck set theory. If I say ...
1
vote
0answers
70 views

Is a “model” only a proper model if everything in it's definition is also explicitly constructed?

Say you have some collection of axioms and you find a set $X$ fulfilling them. And the definition of the set $X$ involves another concept, e.g. the real number, but only in a way which refers to the ...
2
votes
2answers
135 views

Forcing Question about a sequence of functions from $\aleph_{0}$ into $2 = \{0, 1\}$

I'm trying to go through Timothy Chow's A Beginner's Guide to Forcing (arxiv pdf). My particular question is about the first paragraph of Section $5$ (on p. $7$ of the above pdf). First, my vague ...
2
votes
2answers
139 views

Am I allowed to realize one object twice within one set-theory?

Say I consider a set theory with the Axioms of Extensionality and the Axiom of Pairing. As I understand it, stating the axiom allows me to make a definition like $$(a,b):=\{\{a\},\{a,b\}\}$$ and ...
1
vote
1answer
130 views

Can the ongoing need for a meta language be stopped by a loop?

As an afterthought to this question on sets in set theory, and more specifically to the observation that a (first-order) logic requires a meta-language to explain itself (i.e. there is already an ...
8
votes
3answers
490 views

Relationship between Category theory and Axiomatic set theory

I've recently started learning Category theory- and I have a pondering- wondering if anyone can help. Is it possible for two categories to satisfy two different set-axiom system. Namely- is it ...
5
votes
2answers
682 views

A first order sentence such that the finite Spectrum of that sentence is the prime numbers

The finite spectrum of a theory $T$ is the set of natural numbers such that there exists a model of that size. That is $Fs(T):= \{n \in \mathbb{N} | \exists \mathcal{M}\models T : |\mathcal{M}| =n\}$ ...