output
20042026
most citedModeling mammary organogenesis from biological first principles: Cells and their physical constraints

55 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing math.LOShow all

3 papers · 1 filter

math.LO2020★ 4 cited

On wide Aronszajn trees in the presence of MA

Mirna Džamonja, Saharon Shelah

A wide Aronszajn tree is a tree of size and height with no uncountable branches. We prove that under there is no wide Aronszajn tree which is universal under weak e…

math.LO2012

Très courte enquête sur l'extension non-triviale de la logique de propositions à la logique du premier et deuxième ordre

Hector Zenil

The formal construction of the second-order logic or predicate calculus essentially adds quantifiers to propositional logic. Why second-order logic cannot be reduced to that of the…

math.LO2007★ 12 cited

Independence-friendly cylindric set algebras

Allen L. Mann

Independence-friendly logic is a conservative extension of first-order logic that has the same expressive power as existential second-order logic. In her Ph.D. thesis, Dechesne int…