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...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awdur:	Yim, A
Awduron Eraill:	Koenigsmann, J
Fformat:	Traethawd Ymchwil
Iaith:	English
Cyhoeddwyd:	2012
Pynciau:	Number theory Mathematical logic and foundations Logic Mathematics

Eitemau Tebyg

Definable henselian valuations and absolute Galois groups
gan: Jahnke, F
Cyhoeddwyd: (2014)

Elements of deductive logic
gan: Eagle, A
Cyhoeddwyd: (2008)

Logical constants
gan: Dosen, K, et al.
Cyhoeddwyd: (1980)

Logical abstract interpretation
gan: D'Silva, V, et al.
Cyhoeddwyd: (2013)

Logic techniques of formal reasoning /
gan: 390934 Kalish, Donald, et al.
Cyhoeddwyd: (1980)

Presmooth geometries
gan: Elsner, B
Cyhoeddwyd: (2014)

The real field with an irrational power function and a dense multiplicative subgroup
gan: Hieronymi, P
Cyhoeddwyd: (2008)

Definability in Henselian fields
gan: Anscombe, WG
Cyhoeddwyd: (2012)

Power functions and exponentials in o-minimal expansions of fields
gan: Foster, T
Cyhoeddwyd: (2010)

Proof, logic and conjecture : the mathematician's toolbox /
gan: 267708 Wolf, Robert S
Cyhoeddwyd: (1998)

Scalable reasoning for description logics
gan: Shearer, R
Cyhoeddwyd: (2011)

A Galois connection between Turing jumps and limits
gan: Vasco Brattka
Cyhoeddwyd: (2018-08-01)

The model theory of certain infinite soluble groups
gan: Wharton, E
Cyhoeddwyd: (2006)

Practice problems in number systems, logic, and Boolean algebra /
gan: 359306 Bukstein, Edward
Cyhoeddwyd: (1973)

Practice problems in number systems,logic, and Boolean algebra /
gan: 359306 Bukstein, Edward
Cyhoeddwyd: (1977)

Mathematical logic with special reference to the natural numbers /
gan: 323173 Steen, Stourton William Peile
Cyhoeddwyd: (1972)

Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa /
gan: De Alcantara, Luiz Paulo
Cyhoeddwyd: (1985)

Zariski structures in noncommutative algebraic geometry and representation theory
gan: Solanki, V
Cyhoeddwyd: (2011)

Mathematics and conceptual analysis
gan: Eagle, A
Cyhoeddwyd: (2008)

Development of Mathematical Logic Pipeline Tools (Pilogmath) for Learning Mathematical on Logic Material
gan: Khairun Nisa, et al.
Cyhoeddwyd: (2023-12-01)

The logic of the nation: Nationalism, formal logic, and interwar Poland
gan: David E. Dunning
Cyhoeddwyd: (2018-12-01)

O-minimality, nonclassical modular functions and diophantine problems
gan: Spence, H
Cyhoeddwyd: (2018)

Logic, methodology and philosophy of science IV : proceedings /
gan: International Congress for Logic, Methodology and Philosophy of Science (4th : 1971 : Bucharest, Rumania), et al.
Cyhoeddwyd: (1973)

Logic for exact real arithmetic
gan: Helmut Schwichtenberg, et al.
Cyhoeddwyd: (2021-04-01)

Probability Logic for Harsanyi Type Spaces
gan: Chunlai Zhou
Cyhoeddwyd: (2014-06-01)

Coalgebraic Geometric Logic: Basic Theory
gan: Nick Bezhanishvili, et al.
Cyhoeddwyd: (2022-12-01)

The intuitionistic temporal logic of dynamical systems
gan: David Fernández-Duque
Cyhoeddwyd: (2018-07-01)

Foundations of logic and mathematics : applications to computer science and cryptography /
gan: 218147 Nievergelt, Yves
Cyhoeddwyd: (2002)

Logic for computer scientists /
gan: 316142 Schoning, Uwe
Cyhoeddwyd: (2008)

Logic design theory /
gan: Biswas, Nripendra Nath, 1928-
Cyhoeddwyd: (1993)

Quantum logic/
gan: 353961 Mittlestaedt, Peter
Cyhoeddwyd: (1978)

Logic in elementary mathematics /
gan: 375744 Exner, Robert M., et al.
Cyhoeddwyd: (1959)

Many-valued coalgebraic logic over semi-primal varieties
gan: Alexander Kurz, et al.
Cyhoeddwyd: (2024-07-01)

Sets, logic and categories /
gan: Cameron, Peter J. (Peter Jephson), 1947-
Cyhoeddwyd: (1998)

A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice
gan: Maria Emilia Maietti, et al.
Cyhoeddwyd: (2021-05-01)

An algebraic introduction to mathematical logic /
gan: 390016 Barnes, Donald W., et al.
Cyhoeddwyd: (1975)

Foundations of digital logic design /
gan: 405703 Langholz, Gideon
Cyhoeddwyd: (1998)

Set theory and logic /
gan: 440414 Stoll, Robert Roth
Cyhoeddwyd: (1963)

Introduction to elementary mathematical logic /
gan: 346837 Stolyar, Abram Aronovich
Cyhoeddwyd: (1970)

A profile of mathematical logic /
gan: 435241 Delong, Howard
Cyhoeddwyd: (1970)