Skip to main content
Mathematics
Rafael Bankosegger's user avatar
Rafael Bankosegger's user avatar
Rafael Bankosegger's user avatar
Rafael Bankosegger
  • Member for 5 years, 10 months
  • Last seen more than 2 years ago
Profile Activity
Stats
383
reputation
3k
reached
1
answer
16
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
8
bronze badges
Top tags
View all tags
2
Score
7
Posts
41
Posts %
2
Score
2
Posts
12
Posts %
0
Score
8
Posts
47
Posts %
0
Score
4
Posts
24
Posts %
0
Score
3
Posts
18
Posts %
0
Score
2
Posts
12
Posts %
Top posts
View all questions and answers
question
6
First-Order Definability of finite structures (negative result)
Feb 12, 2019
question
2
Two conflicting (?) versions of the Downward Löwenheim-Skolem Theorem
Jan 26, 2019
question
2
Existence of a (classical) FOL-Formula satisfiable by ONLY an uncountable model?
Jan 29, 2019
question
2
FOL and Gödel's Incompleteness Theorem 1
Mar 2, 2019
question
2
Finding a generating function for a formal power series containing $n$ and $a_n$
Nov 18, 2019
question
2
Logics and formal grammars
Mar 12, 2020
question
2
Does $ax \equiv b \pmod m$ have exactly one solution for groups in general?
Feb 19, 2021
answer
2
Logics and formal grammars
Mar 23, 2020
question
1
Question about Proof: Semi-decidable => Recursively Enumerable
Mar 25, 2019
question
1
Does the order of applying rules in Sequent Calculus matter?
Mar 27, 2019
Top network posts
View all network posts
9
FFMPEG - Convert png's to video files
6
How to typeset linguistic AVS
5
How to typeset a MinMax algorithm tree?
5
Upper bounds for a binomial coefficient