Commits

Branch selector

 develop

User selector

arpie-steele

Datepicker

All time

Commit History

Commits on Oct 30, 2023

• Add norass in parallel with existing nanass. (metamath#3601)

  Show description for 1f81415
  arpie-steele

  authored
  1f81415

Commits on Jul 11, 2021

• Rework generalized closure exposition

  Show description for 2e4d513
  arpie-steele

  committed
  2e4d513

• K4 -- fix html -- align with ntrneik4

  arpie-steele

  committed
  a292b45

• K4 - closure is idempotent - equivalencies

  arpie-steele

  committed
  9579742

Commits on Jul 9, 2021

• Improve K1 independence lemmas.

  Show description for ec95890
  arpie-steele

  committed
  ec95890

Commits on Jul 6, 2021

• Independence (of K1) day.

  Show description for e66d140
  arpie-steele

  committed
  e66d140

Commits on Jun 19, 2021

• Topological axioms K3 and K13

  Show description for c23785d
  arpie-steele

  committed
  c23785d

Commits on Jun 17, 2021

• Disprove one claim by Stadler

  Show description for 7a5e878
  arpie-steele

  committed
  7a5e878

Commits on Jun 12, 2021

• K0 + KB implies KA -- interior version and table updates

  arpie-steele

  committed
  d9ba7d2

• Axioms K2 and KB for four generalized topological functions.

  Show description for 8e32e12
  arpie-steele

  committed
  8e32e12

Commits on Jun 4, 2021

• Develop addition theorems.

  Show description for ae385f2
  arpie-steele

  committed
  ae385f2

Commits on Jun 1, 2021

• Generalized topology.

  Show description for 1004dbf
  arpie-steele

  committed
  1004dbf

Commits on May 16, 2021

• Merge remote-tracking branch 'upstream/develop' into kerodon

  arpie-steele

  committed
  6d307c6

• Additional theorems related to generalizations of topology.

  arpie-steele

  committed
  273e3d3

Commits on Apr 15, 2021

• Basic theorems about a generalization of neighborhood space as used

  Show description for df918f0
  arpie-steele

  committed
  df918f0

Commits on Apr 7, 2021

• Merge remote-tracking branch 'upstream/develop' into kerodon

  arpie-steele

  committed
  1653658

Commits on Apr 5, 2021

• Merge remote-tracking branch 'upstream/develop' into kerodon

  arpie-steele

  committed
  3f3d078

• Add axioms of a neighborhood space definition of topology.

  arpie-steele

  committed
  dfb345e

Commits on Apr 3, 2021

• Improve k0004 proofs.

  arpie-steele

  committed
  3b4c79e

Commits on Apr 2, 2021

• Initial exploration of topological simplex from Jacob Lurie's Kerodon

  arpie-steele

  committed
  2a3c057

Commits on Nov 9, 2020

• Add two paragraphs of exposition.

  arpie-steele

  committed
  5864709

• Merge remote-tracking branch 'upstream/develop' into fregepack

  arpie-steele

  committed
  37409ff

• Small fixes.

  Show description for 9c576b6
  arpie-steele

  committed
  9c576b6

Commits on Nov 7, 2020

• Spelling fixes

  arpie-steele

  committed
  b345485

• Fold long line.

  arpie-steele

  committed
  4c282d4

• Completed first draft of Frege notation guide.

  arpie-steele

  committed
  165eb02

Commits on Nov 5, 2020

• Work in progress.

  Show description for e0bf8dd
  arpie-steele

  committed
  e0bf8dd

Commits on Nov 3, 2020

• Added some width controls.

  Show description for 9010bcf
  arpie-steele

  committed
  9010bcf

• Initial checkin of mmfrege.html source files.

  Show description for 559c55f
  arpie-steele

  committed
  559c55f

Commits on Nov 2, 2020

• Minimization and Discouraged pass for August-October roll-up.

  arpie-steele

  committed
  4b249a6

• Merge remote-tracking branch 'upstream/develop' into rpenner-trcl

  arpie-steele

  committed
  28696ed

• Merge branch 'rpenner-frege' into rpenner-trcl

  arpie-steele

  committed
  7358e98

• Basic theorems about closures. Normal forms for closures. Equivalence of definitions of rtrcl.

  Show description for 7e2d786
  arpie-steele

  committed
  7e2d786

Commits on Aug 3, 2020

• Definitions of 3or and 3an from Frege1879.

  arpie-steele

  committed
  dfd9ccc

Commits on Jul 23, 2020

• Merge remote-tracking branch 'upstream/develop' into rpenner-frege

  arpie-steele

  committed
  f18c308

Pagination

PreviousNext