Media type: E-Book Title: On Invariant Formulae of First-Order Logic with Numerical Predicates Contributor: Harwath, Frederik [Verfasser]; Schweikardt, Nicole [Gutachter]; Kreutzer, Stephan [Gutachter]; Segoufin, Luc [Gutachter] imprint: Berlin: Humboldt-Universität zu Berlin, 2018 Extent: Online-Ressource Language: English DOI: 10.18452/19609 Identifier: Keywords: Logic ; Order ; Mathematische Logik ; Modelltheorie ; Prädikatenlogik erster Stufe ; Theoretische Informatik ; Komplexitätstheorie ; Boolesche Schaltkreise ; Baumsprachen ; Lokalität ; Deskriptive Komplexitätstheorie ; Ordnungsinvarianz ; mathematical logic ; model theory ; first-order logic ; theoretical computer science ; complexity theory ; circuit complexity ; tree languages ; locality ; descriptive complexity ; order-invariance Origination: University thesis: Dissertation, Berlin, Humboldt-Universität zu Berlin, 2018 Footnote: Access State: Open Access