Reputation
738
Top tag
Next privilege 1,000 Rep.
Create new tags
Badges
5 13
Newest
 Yearling
Impact
~10k people reached

Sep
2
asked How does Borelness overlap with definability, computability, or constructiveness?
Aug
31
asked How many weak/strong limit cardinals exist under different assumptions?
Aug
22
asked Nonstandard extension of a function with a limit
Aug
20
asked How to explain why this injection does what we want (basic math)
Aug
19
asked Borel linear order cannot have uncountable increasing chain
May
28
asked Interpretation of nonlogical symbols in compactness arguments
May
18
answered What is correct order of foundational concepts of mathematics?
Apr
29
asked Formal second-order statements of Archimedean and completeness properties
Mar
28
answered Sheffer stroke the most important advance in logic?
Mar
27
answered What does Tarski mean by a “tautological operation” on a Boolean algebra?
Mar
25
answered Is the 'variable' in 'let $y=f(x)$' free, bound, or neither?
Mar
24
answered Superstructure with sets as atomic/base entities
Mar
23
answered Infinite Disjunctions and Conjunctions
Mar
20
answered Natural and formal languages
Mar
18
answered Propositional calculus and preferences.
Mar
18
answered How should I understand “$A$ unless $B$”?
Mar
18
answered Interpretation of a formula and truth
Mar
18
answered Is non-standard analysis worth learning?
Mar
17
answered Complex numbers and Nonstandard Analysis
Mar
16
asked Superstructure with sets as atomic/base entities