Primo Petri

Member for 9 years, 2 months
Last seen this week

Summary

Reputation

4,880

4.9k
3.5k
2.2k

2020
2021
2022
2023

Top tag

model-theory

Next privilege

5,000 Rep.

Approve tag wiki edits

Badges

1

12

26

Newest

Mortarboard

Next badge

0/1

Excavator

Answers

View all 80 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

76

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

226

Score

101

posts

logic

113

Score

40

posts

first-order-logic

37

Score

14

posts

abstract-algebra

13

Score

3

posts

peano-axioms

12

Score

2

posts

Reputation

+10

Bounding the size of set systems if the parity of intersection sizes are fixed.

+25

Proof of theorem 2.1 and conclusion 2.2 in Sh:31 (Categoricity of Uncountable theories)

+245

Can an independent subset of a theory be completed to axiomatize the theory while preserving independence?

+10

Omitting types inside a model

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

4,880
1
12
26

424
5
18

397
1
10

169
2

154
8

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast

233

upvotes

24

downvotes

148

question votes

109

answer votes