Primo Petri

Member for 9 years, 6 months
Last seen more than a month ago

Summary

Reputation

5,036

5k
3.6k
2.2k

2020
2021
2022
2023

Top tag

model-theory

Next privilege

10,000 Rep.

Access moderator tools

Badges

1

12

26

Newest

Mortarboard

Next badge

0/1

Excavator

Answers

View all 83 answers

Score Activity Newest

10

Is there a nonstandard model of Peano's arithmetic where any element has only finitely many prime divisors?

Feb 17, 2022

7

Sentence equivalent to $\bigwedge_{i=1}^ \infty \sigma_i$ without using infinite conjunctions

Mar 5, 2022

7

Examples of classes of structures which are "surprisingly" axiomatizable.

Jan 6

6

Better understanding dividing and forking

Apr 28, 2022

6

You don't need to take an algebraic closure twice in model theory

Sep 20, 2014

Questions

View all 33 questions

Score Activity Newest Views

77

Complete, Finitely Axiomatizable, Theory with 3 Countable Models

Aug 29, 2014

9

counterexample to the omitting types in uncountable language

Sep 18, 2017

7

Indiscernible subsequences

Sep 15, 2014

5

Weak elimination of imaginaries in the theory of the random graph

Jun 1, 2016

5

Elimination of the quantifier "there are infinitely many"

Jun 14, 2017

Tags

View all 61 tags

model-theory

236

Score

104

posts

logic

113

Score

40

posts

first-order-logic

41

Score

15

posts

abstract-algebra

13

Score

3

posts

peano-axioms

12

Score

2

posts

Reputation

+8

You don't need to take an algebraic closure twice in model theory

+10

Complete, Finitely Axiomatizable, Theory with 3 Countable Models

-2

You don't need to take an algebraic closure twice in model theory

+10

Undefinable subset of $(\mathbb{N}, <)$

Badges

View all badges

1

gold badge

Fanatic

Apr 13, 2022

12

silver badges

Inquisitive

Sep 26, 2021
Good Question

May 3, 2017
Enthusiast

Apr 26, 2015

26

bronze badges

model-theory

Jun 15, 2021
logic

Feb 21
Investor

Apr 28, 2015

Accounts

View all 14 accounts

5,036
1
12
26

434
5
18

397
1
10

169
2

154
8

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast

243

upvotes

26

downvotes

155

question votes

114

answer votes