On Galois correspondences in formal logic

On Galois correspondences in formal logic

<p>This thesis examines two approaches to Galois correspondences in formal logic. A standard result of classical first-order model theory is the observation that models of L-theories with a weak form of elimination of imaginaries hold a correspondence between their substructures and automorphi...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Yim, A
Rannpháirtithe:	Koenigsmann, J
Formáid:	Tráchtas
Teanga:	English
Foilsithe / Cruthaithe:	2012
Ábhair:	Number theory Mathematical logic and foundations Logic Mathematics

Míreanna comhchosúla

Definable henselian valuations and absolute Galois groups
de réir: Jahnke, F
Foilsithe / Cruthaithe: (2014)

Elements of deductive logic
de réir: Eagle, A
Foilsithe / Cruthaithe: (2008)

Logical constants
de réir: Dosen, K, et al.
Foilsithe / Cruthaithe: (1980)

Logical abstract interpretation
de réir: D'Silva, V, et al.
Foilsithe / Cruthaithe: (2013)

Logic techniques of formal reasoning /
de réir: 390934 Kalish, Donald, et al.
Foilsithe / Cruthaithe: (1980)

Presmooth geometries
de réir: Elsner, B
Foilsithe / Cruthaithe: (2014)

The real field with an irrational power function and a dense multiplicative subgroup
de réir: Hieronymi, P
Foilsithe / Cruthaithe: (2008)

Definability in Henselian fields
de réir: Anscombe, WG
Foilsithe / Cruthaithe: (2012)

Power functions and exponentials in o-minimal expansions of fields
de réir: Foster, T
Foilsithe / Cruthaithe: (2010)

Proof, logic and conjecture : the mathematician's toolbox /
de réir: 267708 Wolf, Robert S
Foilsithe / Cruthaithe: (1998)

Scalable reasoning for description logics
de réir: Shearer, R
Foilsithe / Cruthaithe: (2011)

A Galois connection between Turing jumps and limits
de réir: Vasco Brattka
Foilsithe / Cruthaithe: (2018-08-01)

The model theory of certain infinite soluble groups
de réir: Wharton, E
Foilsithe / Cruthaithe: (2006)

Practice problems in number systems, logic, and Boolean algebra /
de réir: 359306 Bukstein, Edward
Foilsithe / Cruthaithe: (1973)

Practice problems in number systems,logic, and Boolean algebra /
de réir: 359306 Bukstein, Edward
Foilsithe / Cruthaithe: (1977)

Mathematical logic with special reference to the natural numbers /
de réir: 323173 Steen, Stourton William Peile
Foilsithe / Cruthaithe: (1972)

Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa /
de réir: De Alcantara, Luiz Paulo
Foilsithe / Cruthaithe: (1985)

Zariski structures in noncommutative algebraic geometry and representation theory
de réir: Solanki, V
Foilsithe / Cruthaithe: (2011)

Mathematics and conceptual analysis
de réir: Eagle, A
Foilsithe / Cruthaithe: (2008)

Development of Mathematical Logic Pipeline Tools (Pilogmath) for Learning Mathematical on Logic Material
de réir: Khairun Nisa, et al.
Foilsithe / Cruthaithe: (2023-12-01)

The logic of the nation: Nationalism, formal logic, and interwar Poland
de réir: David E. Dunning
Foilsithe / Cruthaithe: (2018-12-01)

O-minimality, nonclassical modular functions and diophantine problems
de réir: Spence, H
Foilsithe / Cruthaithe: (2018)

Logic, methodology and philosophy of science IV : proceedings /
de réir: International Congress for Logic, Methodology and Philosophy of Science (4th : 1971 : Bucharest, Rumania), et al.
Foilsithe / Cruthaithe: (1973)

Logic for exact real arithmetic
de réir: Helmut Schwichtenberg, et al.
Foilsithe / Cruthaithe: (2021-04-01)

Probability Logic for Harsanyi Type Spaces
de réir: Chunlai Zhou
Foilsithe / Cruthaithe: (2014-06-01)

Coalgebraic Geometric Logic: Basic Theory
de réir: Nick Bezhanishvili, et al.
Foilsithe / Cruthaithe: (2022-12-01)

The intuitionistic temporal logic of dynamical systems
de réir: David Fernández-Duque
Foilsithe / Cruthaithe: (2018-07-01)

Foundations of logic and mathematics : applications to computer science and cryptography /
de réir: 218147 Nievergelt, Yves
Foilsithe / Cruthaithe: (2002)

Logic for computer scientists /
de réir: 316142 Schoning, Uwe
Foilsithe / Cruthaithe: (2008)

Logic design theory /
de réir: Biswas, Nripendra Nath, 1928-
Foilsithe / Cruthaithe: (1993)

Quantum logic/
de réir: 353961 Mittlestaedt, Peter
Foilsithe / Cruthaithe: (1978)

Logic in elementary mathematics /
de réir: 375744 Exner, Robert M., et al.
Foilsithe / Cruthaithe: (1959)

Many-valued coalgebraic logic over semi-primal varieties
de réir: Alexander Kurz, et al.
Foilsithe / Cruthaithe: (2024-07-01)

Sets, logic and categories /
de réir: Cameron, Peter J. (Peter Jephson), 1947-
Foilsithe / Cruthaithe: (1998)

A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice
de réir: Maria Emilia Maietti, et al.
Foilsithe / Cruthaithe: (2021-05-01)

An algebraic introduction to mathematical logic /
de réir: 390016 Barnes, Donald W., et al.
Foilsithe / Cruthaithe: (1975)

Foundations of digital logic design /
de réir: 405703 Langholz, Gideon
Foilsithe / Cruthaithe: (1998)

Set theory and logic /
de réir: 440414 Stoll, Robert Roth
Foilsithe / Cruthaithe: (1963)

Introduction to elementary mathematical logic /
de réir: 346837 Stolyar, Abram Aronovich
Foilsithe / Cruthaithe: (1970)

A profile of mathematical logic /
de réir: 435241 Delong, Howard
Foilsithe / Cruthaithe: (1970)